| |
- __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)
| |