class documentation
class UndirectedSubstitution(UndirectedBinaryCombinator): (source)
Substitution (permutation) combinator. Implements rules of the form Y/Z (XY)/Z -> X/Z (<Sx) And other variations.
Method | __str__ |
Undocumented |
Method | can |
Undocumented |
Method | combine |
Undocumented |