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 |