|  |  | 
__builtin__.object
EquivalenceRelation
chaintrans
 
 
| class EquivalenceRelation(__builtin__.object)
 |  |  | this class represents an equivalent relation, which is implemented by repeated evaluatation of a map
 c[n]=m means that n is equivalent to m
 
 |  |  | Methods defined here: 
 __getitem__(self, key)
 __init__(self)
 __setitem__(self, val, key)
 all_rewritings(self, var)
 canonical(self, var)
 isCanonical(self, var)
 rewrite(self, a, b)
 Data and other attributes defined here:
 
 __dict__ = <dictproxy object>dictionary for instance variables (if defined)
 __weakref__ = <attribute '__weakref__' of 'EquivalenceRelation' objects>list of weak references to the object (if defined)
 |  
 
| class chaintrans(__builtin__.object)
 |  |  |  | Methods defined here: 
 __getitem__(self, key)
 __init__(self, chain, full)
 __str__(self)
 insert(self, key)
 Data and other attributes defined here:
 
 __dict__ = <dictproxy object>dictionary for instance variables (if defined)
 __weakref__ = <attribute '__weakref__' of 'chaintrans' objects>list of weak references to the object (if defined)
 |  |