class documentation

class UndirectedSubstitution(UndirectedBinaryCombinator): (source)

View In Hierarchy

Substitution (permutation) combinator. Implements rules of the form Y/Z (XY)/Z -> X/Z (<Sx) And other variations.

Method __str__ Undocumented
Method can_combine Undocumented
Method combine Undocumented
def __str__(self): (source)

Undocumented

def can_combine(self, function, argument): (source)
def combine(self, function, argument): (source)