Package nltk :: Package sem :: Module linearlogic :: Class ApplicationExpression

type ApplicationExpression

object --+    
         |    
Expression --+
             |
            ApplicationExpression

Instance Methods

[hide private]

__init__(self, function, argument, argument_indices=None)

source code

simplify(self, bindings=None)
Since function is an implication, return its consequent.

source code

__eq__(self, other)

source code

__str__(self)

source code

__hash__(self)

source code

Inherited from Expression: __call__, __repr__, applyto

Method Details

[hide private]

init(self, function, argument, argument_indices=None)
(Constructor)

source code

Parameters:

function - Expression for the function
argument - Expression for the argument
argument_indices - set for the indices of the glue formula from which the argument came

Raises:

LinearLogicApplicationException - If 'function' cannot be applied to 'argument' given 'argument_indices'.

Overrides: object.__init__

simplify(self, bindings=None)

source code

Since function is an implication, return its consequent. There should be no need to check that the application is valid since the checking is done by the constructor.

Parameters:

bindings - BindingDict A dictionary of bindings used to simplify

Returns:

Expression

str(self)
(Informal representation operator)

source code

Overrides: object.__str__: (inherited documentation)

hash(self)
(Hashing function)

source code

Overrides: object.__hash__: (inherited documentation)

type ApplicationExpression

__init__(self, function, argument, argument_indices=None) (Constructor)

simplify(self, bindings=None)

__str__(self) (Informal representation operator)

__hash__(self) (Hashing function)

init(self, function, argument, argument_indices=None)
(Constructor)

str(self)
(Informal representation operator)

hash(self)
(Hashing function)