nltk.sem.linearlogic.LinearLogicParser

class documentation

class LinearLogicParser(LogicParser): (source)

Constructor: LinearLogicParser()

View In Hierarchy

A linear logic expression parser.

Method __init__ to their types.
Method attempt_ApplicationExpression 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.
Method get_all_symbols This method exists to be overridden
Method get_BooleanExpression_factory This method serves as a hook for other logic parsers that have different boolean operators
Method handle This method is intended to be overridden for logics that use different operators or expressions
Method make_BooleanExpression Undocumented
Method make_VariableExpression Undocumented
Instance Variable operator_precedence Undocumented

Inherited from LogicParser:

Method __repr__ Undocumented
Method assertNextToken Undocumented
Method assertToken Undocumented
Method attempt_adjuncts Undocumented
Method attempt_BooleanExpression Attempt to make a boolean expression. If the next token is a boolean operator, then a BooleanExpression will be returned. Otherwise, the parameter will be returned.
Method attempt_EqualityExpression Attempt to make an equality expression. If the next token is an equality operator, then an EqualityExpression will be returned. Otherwise, the parameter will be returned.
Method get_next_token_variable Undocumented
Method get_QuantifiedExpression_factory This method serves as a hook for other logic parsers that have different quantifiers
Method handle_lambda Undocumented
Method handle_negation Undocumented
Method handle_open Undocumented
Method handle_quant Undocumented
Method handle_variable Undocumented
Method has_priority Undocumented
Method inRange Return TRUE if the given location is within the buffer
Method isvariable Undocumented
Method make_ApplicationExpression Undocumented
Method make_EqualityExpression This method serves as a hook for other logic parsers that have different equality expression classes
Method make_LambdaExpression Undocumented
Method make_NegatedExpression Undocumented
Method make_QuanifiedExpression Undocumented
Method parse Parse the expression.
Method process Split the data into tokens
Method process_next_expression Parse the next complete expression from the stream and return it.
Method process_quoted_token Undocumented
Method token Get the next waiting token. If a location is given, then return the token at currentIndex+location without advancing currentIndex; setting it gives lookahead/lookback capability.
Instance Variable quote_chars Undocumented
Instance Variable right_associated_operations Undocumented
Instance Variable type_check A list of tuples of quote characters. The 4-tuple is comprised of the start character, the end character, the escape character, and a boolean indicating whether the quotes should be included in the result...
Instance Variable _buffer Undocumented
Instance Variable _currentIndex Undocumented
def __init__(self): (source)
overrides nltk.sem.logic.LogicParser.__init__

to their types.

Parameters
type_checkbool should type checking be performed?
def attempt_ApplicationExpression(self, expression, context): (source)
overrides nltk.sem.logic.LogicParser.attempt_ApplicationExpression

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.

def get_all_symbols(self): (source)
overrides nltk.sem.logic.LogicParser.get_all_symbols

This method exists to be overridden

def get_BooleanExpression_factory(self, tok): (source)
overrides nltk.sem.logic.LogicParser.get_BooleanExpression_factory

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

def handle(self, tok, context): (source)
overrides nltk.sem.logic.LogicParser.handle

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

def make_BooleanExpression(self, factory, first, second): (source)
overrides nltk.sem.logic.LogicParser.make_BooleanExpression

Undocumented

def make_VariableExpression(self, name): (source)
overrides nltk.sem.logic.LogicParser.make_VariableExpression

Undocumented

operator_precedence = (source)
overrides nltk.sem.logic.LogicParser.operator_precedence

Undocumented