Package nltk_lite :: Package parse :: Module category :: Class ParserSubstitute
[hide private]
[frames] | no frames]

Class ParserSubstitute

source code

semantics.logic.Parser --+
                         |
                        ParserSubstitute

A lambda calculus expression parser, extended to create application expressions which support the SubstituteBindingsI interface.

Instance Methods [hide private]
 
make_ApplicationExpression(self, first, second) source code

Inherited from semantics.logic.Parser: __init__, feed, isVariable, next, parse, process, token

Class Variables [hide private]

Inherited from semantics.logic.Parser: ALL, BOOL, CLOSE, DOT, EQ, LAMBDA, OPEN, OPS, SOME

Method Details [hide private]

make_ApplicationExpression(self, first, second)

source code 
Overrides: semantics.logic.Parser.make_ApplicationExpression