Package nltk :: Package sem :: Module linearlogic :: Class LinearLogicParser

type LinearLogicParser

       object --+    
                |    
logic.LogicParser --+
                    |
                   LinearLogicParser

A linear logic expression parser.

Instance Methods

[hide private]

__init__(self)

source code

get_all_symbols(self)
This method exists to be overridden

source code

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

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

attempt_ApplicationExpression(self, expression, context)
Attempt to make an application expression.

source code

make_VariableExpression(self, name)

source code

Inherited from logic.LogicParser: __repr__, assertNextToken, assertToken, 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, isvariable, make_ApplicationExpression, make_EqualityExpression, make_LambdaExpression, make_NegatedExpression, 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: (inherited documentation)

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: (inherited documentation)

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: (inherited documentation)

make_BooleanExpression(self, factory, first, second)

source code

Overrides: logic.LogicParser.make_BooleanExpression

attempt_ApplicationExpression(self, expression, context)

source code

Attempt to make an application expression. If the next tokens are an argument in parens, then the argument expression is a function being applied to the arguments. Otherwise, return the argument expression.

Overrides: logic.LogicParser.attempt_ApplicationExpression

make_VariableExpression(self, name)

source code

Overrides: logic.LogicParser.make_VariableExpression

type LinearLogicParser

__init__(self) (Constructor)

get_all_symbols(self)

handle(self, tok, context)

get_BooleanExpression_factory(self, tok)

make_BooleanExpression(self, factory, first, second)

attempt_ApplicationExpression(self, expression, context)

make_VariableExpression(self, name)

init(self)
(Constructor)