techniques.FOL
Class Substitution

java.lang.Object
  |
  +--techniques.FOL.Substitution

public class Substitution
extends java.lang.Object


Method Summary
 Substitution addBinding(Variable var, java.lang.Object val)
          extends this Substitution object with an association between the given Variable and value.
 void apply(Substitution s2)
           
 void bind(Variable variable, Term term)
           
 void compose(Substitution s2)
           
 java.lang.Object getBinding(Variable var)
          get current binding of the given Variable.
static Substitution getEmpty()
          obtains the Empty (representing no current bindings) object
 boolean isBound(Variable var)
          determines if the given Variable is currently bound.
 boolean isEmpty()
          determine if this Substitution object represents the Empty object
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

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