Package nltk :: Package ccg :: Module combinator :: Class UndirectedSubstitution

type UndirectedSubstitution

                object --+    
                         |    
UndirectedBinaryCombinator --+
                             |
                            UndirectedSubstitution

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

Instance Methods

[hide private]

can_combine(self, function, argument)

source code

combine(self, function, argument)

source code

__str__(self)

source code

Method Details

[hide private]

Overrides: object.__str__: (inherited documentation)

type UndirectedSubstitution

can_combine(self, function, argument)

combine(self, function, argument)

__str__(self) (Informal representation operator)

str(self)
(Informal representation operator)