LRDE Tiger Compiler
1.34a $Id: 7fef12e1f5fa43449d667a0eec1d837c40fc1202 $
|
Declaration of misc::endo_map. More...
Go to the source code of this file.
Classes | |
class | misc::endo_map< T > |
A renaming mapping defaulting to identity: Mapping a class with itself (endomorphism). Unless a value is already mapped onto another, map it to itself if nonstrict. This is a special case of std::map. More... |
Namespaces | |
namespace | misc |
Handling of generic, oriented or undirected, graph. |
Declaration of misc::endo_map.