public interface Bindable extends Valuable
| Modifier and Type | Method and Description |
|---|---|
boolean |
bind(Valuable value)
Binds this bindable to the given valuable.
|
boolean |
bind(Valuable value,
GoalProver prover)
Binds this bindable to the given valuable in the context of the
given goal prover.
|
boolean |
isBound()
Returns true iff this bindable is bound.
|
boolean |
isUnbound()
Returns true iff this bindable is unbound.
|
void |
unbind()
Unbinds this bindable.
|
boolean isBound()
boolean isUnbound()
boolean bind(Valuable value)
boolean bind(Valuable value, GoalProver prover)
void unbind()