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.
const T& get | ( | const T & | ) | [friend] |
The canonicalization operator.
This operator uses the unique_map
structure to retrieve the unique instance equal to the given value.
unique_map