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

type DrtParser

       object --+    
                |    
logic.LogicParser --+
                    |
                   DrtParser

Known Subclasses:

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, context)
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, tok, context)

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, tok)
This method serves as a hook for other logic parsers that have different boolean operators

source code

make_BooleanExpression(self, factory, first, second)

source code

make_ApplicationExpression(self, function, argument)

source code

make_VariableExpression(self, name)

source code

make_LambdaExpression(self, variables, term)

source code

handle_conds(self, context)

source code

handle_refs(self)

source code

Inherited from logic.LogicParser: __repr__, assertNextToken, assertToken, attempt_ApplicationExpression, attempt_BooleanExpression, attempt_EqualityExpression, attempt_adjuncts, ensure_abstractable, get_QuantifiedExpression_factory, get_next_token_variable, handle_lambda, handle_negation, handle_open, handle_quant, handle_variable, has_priority, inRange, make_QuanifiedExpression, parse, parse_Expression, process, process_quoted_token, token

Instance Variables

[hide private]

Inherited from logic.LogicParser: type_check

Method Details

[hide private]

init(self)
(Constructor)

source code

Parameters:

type_check - boolean should type checking be performed? to their types.

Overrides: logic.LogicParser.__init__

(inherited documentation)

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, context)

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, tok)

source code

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

Overrides: logic.LogicParser.get_BooleanExpression_factory

type DrtParser

__init__(self) (Constructor)

get_all_symbols(self)

isvariable(self, tok)

handle(self, tok, context)

make_NegatedExpression(self, expression)

make_EqualityExpression(self, first, second)

get_BooleanExpression_factory(self, tok)

make_BooleanExpression(self, factory, first, second)

make_ApplicationExpression(self, function, argument)

make_VariableExpression(self, name)

make_LambdaExpression(self, variables, term)

init(self)
(Constructor)