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 |