Package nltk_lite :: Package contrib :: Package mit :: Package six863 :: Package semantics :: Module category :: Class ParserSubstitute
[hide private]
[frames] | no frames]

Class ParserSubstitute

source code

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
 
make_LambdaExpression(self, first, second) source code
 
make_SomeExpression(self, first, second) source code
 
make_AllExpression(self, first, second) source code

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

Class Variables [hide private]

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

Method Details [hide private]

make_ApplicationExpression(self, first, second)

source code 
Overrides: logic.Parser.make_ApplicationExpression

make_LambdaExpression(self, first, second)

source code 
Overrides: logic.Parser.make_LambdaExpression

make_SomeExpression(self, first, second)

source code 
Overrides: logic.Parser.make_SomeExpression

make_AllExpression(self, first, second)

source code 
Overrides: logic.Parser.make_AllExpression