Public Types | |
typedef std::map< ti_slot, uniquelist_base * > | map_t |
The map type used. | |
Static Public Member Functions | |
map_t & | instance () |
Access to the unique instance of this structure. | |
Protected Member Functions | |
UniqueMap () | |
Constructor for the class. | |
~UniqueMap () | |
Destructor for the class. |
This structure is a helper for the get
operator, that retains associations between static types (represented by the std::type_info
structure) and a hash map of dynamic values.
This structure is used for dynamic type instances canonicalization, i.e. storage and retrieval of unique instances of structural elements in Vaucanson.
vcsn::Structure
|
Constructor for the class. It is protected so that no secondary instances may be created. |
|
Destructor for the class. This destructor actually destroys all stored canonical instances. Any further reference to the canonical values is invalid. |