techniques.FOL
Class Substitution
java.lang.Object
|
+--techniques.FOL.Substitution
- public class Substitution
- extends java.lang.Object
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
getEmpty
public static Substitution getEmpty()
- obtains the Empty (representing no current bindings) object
getBinding
public java.lang.Object getBinding(Variable var)
- get current binding of the given Variable.
isBound
public boolean isBound(Variable var)
- determines if the given Variable is currently bound.
isEmpty
public boolean isEmpty()
- determine if this Substitution object represents the Empty object
addBinding
public Substitution addBinding(Variable var,
java.lang.Object val)
- extends this Substitution object with an association between the given
Variable and value. Method changes the Substitution object. Will not
work well for the various theorem provers which may want to share a
Substitution instance (or part thereof) among many lines of reasoning.
compose
public void compose(Substitution s2)
apply
public void apply(Substitution s2)
bind
public void bind(Variable variable,
Term term)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object