class documentation
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 |
Parameters | |
other | BindingDict The dict with which to combine self |
Returns | |
BindingDict A new dict containing all the elements of both parameters | |
Raises | |
BindingException | If the parameter dictionaries are not consistent with each other |
Parameters | |
binding | list of (AbstractVariableExpression, AtomicExpression) to initialize the dictionary |
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 | Variable The variable to bind |
binding | Expression The atomic to which 'variable' should be bound |
Raises | |
BindingException | If the variable cannot be bound in this dictionary |