class documentation
class VariableExpression(AtomicExpression): (source)
Constructor: VariableExpression(name, dependencies)
Undocumented
| Method | unify |
'self' must not be bound to anything other than 'other'. |
Inherited from AtomicExpression:
| Method | __eq__ |
Undocumented |
| Method | __hash__ |
Undocumented |
| Method | __init__ |
No summary |
| Method | __ne__ |
Undocumented |
| Method | __str__ |
Undocumented |
| Method | compile |
From Iddo Lev's PhD Dissertation p108-109 |
| Method | compile |
From Iddo Lev's PhD Dissertation p108-109 |
| Method | initialize |
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 |
Undocumented |
'self' must not be bound to anything other than 'other'.
| Parameters | |
| other | Expression |
| bindings | BindingDict A dictionary of all current bindings |
| Returns | |
| BindingDict A new combined dictionary of of 'bindings' and the new binding | |
| Raises | |
UnificationException | If 'self' and 'other' cannot be unified in the context of 'bindings' |