class documentation
class UndirectedFunctionApplication(UndirectedBinaryCombinator): (source)
Class representing function application. Implements rules of the form: X/Y Y -> X (>) And the corresponding backwards application rule
Method | __str__ |
Undocumented |
Method | can |
Undocumented |
Method | combine |
Undocumented |