class documentation

class BindingDict(object): (source)

Constructor: BindingDict(binding_list)

View In Hierarchy

Undocumented

Method __add__ No summary
Method __contains__ Undocumented
Method __getitem__ Return the expression to which 'variable' is bound
Method __init__ No summary
Method __len__ 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
def __add__(self, other): (source)
Parameters
otherBindingDict The dict with which to combine self
Returns
BindingDict A new dict containing all the elements of both parameters
Raises
BindingExceptionIf the parameter dictionaries are not consistent with each other
def __contains__(self, item): (source)

Undocumented

def __getitem__(self, variable): (source)

Return the expression to which 'variable' is bound

def __init__(self, binding_list=None): (source)
Parameters
binding_listlist of (AbstractVariableExpression, AtomicExpression) to initialize the dictionary
def __len__(self): (source)

Undocumented

def __repr__(self): (source)

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
variableVariable The variable to bind
bindingExpression The atomic to which 'variable' should be bound
Raises
BindingExceptionIf the variable cannot be bound in this dictionary
def __str__(self): (source)

Undocumented

Undocumented