nltk.sem.linearlogic.BindingDict

class documentation

class BindingDict(object): (source)

Undocumented

Method	`__add__`	No summary
Method	`__contains__`	Undocumented
Method	`__eq__`	Undocumented
Method	`__getitem__`	Return the expression to which 'variable' is bound
Method	`__init__`	No summary
Method	`__ne__`	Undocumented
Method	`__repr__`	Undocumented
Method	`__setitem__`	A binding is consistent with the dict if its variable is not already bound, OR if its variable is already bound to its argument.
Method	`__str__`	Undocumented
Instance Variable	`d`	Undocumented

Parameters
other	`BindingDict` The dict with which to combine self
Returns
`BindingDict` A new dict containing all the elements of both parameters
Raises
`VariableBindingException`	If the parameter dictionaries are not consistent with each other

def __contains__(self, item): (source) ¶

Undocumented

Undocumented

def __getitem__(self, variable): (source) ¶

Return the expression to which 'variable' is bound

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

Parameters
bindings	list [(`VariableExpression`, `AtomicExpression`)] to initialize the dictionary dict {`VariableExpression`: `AtomicExpression`} to initialize the dictionary

Undocumented

Undocumented

def __setitem__(self, variable, binding): (source) ¶

A binding is consistent with the dict if its variable is not already bound, OR if its variable is already bound to its argument.

Parameters
variable	`VariableExpression` The variable bind
binding	`Expression` The expression to which 'variable' should be bound
Raises
`VariableBindingException`	If the variable cannot be bound in this dictionary

Undocumented

Undocumented