
Public Member Functions | |
| unifiable () | |
| unifiable (const unifiable &) | |
Friends | |
| template<typename T> | |
| const T & | get (const T &) |
| The canonicalization operator. | |
Definition at line 109 of file unique.hh.
|
|
The canonicalization operator.
This operator uses the
|
1.4.6