class documentation

class UndirectedFunctionApplication(UndirectedBinaryCombinator): (source)

View In Hierarchy

Class representing function application. Implements rules of the form: X/Y Y -> X (>) And the corresponding backwards application rule

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)