nltk.sem.linearlogic.ConstantExpression

class documentation

class ConstantExpression(AtomicExpression): (source)

Constructor: ConstantExpression(name, dependencies)

Undocumented

Method unify If 'other' is a constant, then it must be equal to 'self'. If 'other' is a variable, then it must not be bound to anything other than 'self'.

Inherited from AtomicExpression:

Method	`__eq__`	Undocumented
Method	`__hash__`	Undocumented
Method	`__init__`	No summary
Method	`__ne__`	Undocumented
Method	`__str__`	Undocumented
Method	`compile_neg`	From Iddo Lev's PhD Dissertation p108-109
Method	`compile_pos`	From Iddo Lev's PhD Dissertation p108-109
Method	`initialize_labels`	Undocumented
Method	`simplify`	If 'self' is bound by 'bindings', return the atomic to which it is bound. Otherwise, return self.
Instance Variable	`dependencies`	Undocumented
Instance Variable	`name`	Undocumented

Inherited from Expression (via AtomicExpression):

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

def unify(self, other, bindings): (source) ¶

If 'other' is a constant, then it must be equal to 'self'. If 'other' is a variable, then it must not be bound to anything other than 'self'.

Parameters
other	`Expression`
bindings	`BindingDict` A dictionary of all current bindings
Returns
`BindingDict` A new combined dictionary of of 'bindings' and any new binding
Raises
`UnificationException`	If 'self' and 'other' cannot be unified in the context of 'bindings'