nltk.sem.linearlogic.ApplicationExpression

class documentation

class ApplicationExpression(Expression): (source)

Constructor: ApplicationExpression(function, argument, argument_indices)

Undocumented

Method	`__eq__`	Undocumented
Method	`__hash__`	Undocumented
Method	`__init__`	No summary
Method	`__ne__`	Undocumented
Method	`__str__`	Undocumented
Method	`simplify`	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.
Instance Variable	`argument`	Undocumented
Instance Variable	`bindings`	Undocumented
Instance Variable	`function`	Undocumented

Inherited from Expression:

Class Method	`fromstring`	Undocumented
Method	`__call__`	Undocumented
Method	`__repr__`	Undocumented
Method	`applyto`	Undocumented
Class Variable	`_linear_logic_parser`	Undocumented

def __eq__(self, other): (source) ¶

Undocumented

def __hash__(self): (source) ¶

Undocumented

def __init__(self, function, argument, argument_indices=None): (source) ¶

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'.

def __ne__(self, other): (source) ¶

Undocumented

def __str__(self): (source) ¶

Undocumented

def simplify(self, bindings=None): (source) ¶

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`

argument = (source) ¶

Undocumented

bindings = (source) ¶

Undocumented

function = (source) ¶

Undocumented