Package nltk :: Package sem :: Module drt :: Class DrtParser

Class DrtParser

logic.LogicParser --+
                    |
                   DrtParser

A lambda calculus expression parser.

Instance Methods

[hide private]

__init__(self)

source code

get_all_symbols(self)
This method exists to be overridden

source code

isvariable(self, tok)

source code

handle(self, tok)
This method is intended to be overridden for logics that use different operators or expressions

source code

make_NegatedExpression(self, expression)

source code

handle_DRS(self)

source code

make_EqualityExpression(self, first, second)
This method serves as a hook for other logic parsers that have different equality expression classes

source code

get_BooleanExpression_factory(self)
This method serves as a hook for other logic parsers that have different boolean operators

source code

make_ApplicationExpression(self, function, argument)

source code

make_VariableExpression(self, name)

source code

make_LambdaExpression(self, variables, term)

source code

Inherited from logic.LogicParser: __repr__, assertToken, attempt_ApplicationExpression, attempt_BooleanExpression, attempt_EqualityExpression, get_QuantifiedExpression_factory, handle_lambda, handle_negation, handle_open, handle_quant, handle_variable, inRange, make_BooleanExpression, parse, parse_Expression, process, token

Method Details

[hide private]

init(self)
(Constructor)

source code

Overrides: logic.LogicParser.__init__

get_all_symbols(self)

source code

This method exists to be overridden

Overrides: logic.LogicParser.get_all_symbols

isvariable(self, tok)

source code

Overrides: logic.LogicParser.isvariable

handle(self, tok)

source code

This method is intended to be overridden for logics that use different operators or expressions

Overrides: logic.LogicParser.handle

make_NegatedExpression(self, expression)

source code

Overrides: logic.LogicParser.make_NegatedExpression

make_EqualityExpression(self, first, second)

source code

This method serves as a hook for other logic parsers that have different equality expression classes

Overrides: logic.LogicParser.make_EqualityExpression

get_BooleanExpression_factory(self)

source code

This method serves as a hook for other logic parsers that have different boolean operators

Overrides: logic.LogicParser.get_BooleanExpression_factory

Class DrtParser

__init__(self) (Constructor)

get_all_symbols(self)

isvariable(self, tok)

handle(self, tok)

make_NegatedExpression(self, expression)

make_EqualityExpression(self, first, second)

get_BooleanExpression_factory(self)

make_ApplicationExpression(self, function, argument)

make_VariableExpression(self, name)

make_LambdaExpression(self, variables, term)

init(self)
(Constructor)