logic
Class Substitution

java.lang.Object
  logic.Substitution

public class Substitution

extends java.lang.Object

Constructor Summary

Substitution()

Method Summary

Substitution	addBinding(Variable v, java.lang.Object val) extends this Substitution object with an association between the given Variable and value.
java.lang.Object	clone()
Substitution	concat(Substitution other)
boolean	containedIn(java.util.List subList)
boolean	containsAll(java.util.List varList)
boolean	containsKey(Variable v)
boolean	containsValue(SymbolicObject o)
boolean	equals(Substitution other)
boolean	equals(Substitution other, java.util.List ignoreVars)
java.lang.Object	getBinding(Variable var) get current binding of the given Variable.
static Substitution	getEmpty() obtains the Empty (representing no current bindings) object
int	hashCode()
boolean	isBound(Variable v) determines if the given Variable is currently bound.
boolean	isEmpty() determine if this Substitution object represents the Empty object
boolean	isSupersetOf(Substitution smaller)
java.util.Iterator	keyIterator()
static java.util.List	pruneSubstitutionsLike(java.util.List varList, java.util.List subs)
Substitution	putAll(Substitution s)
Substitution	removeBinding(Variable v)
Substitution	shallowCopy()
int	size()
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Substitution

public Substitution()

Method Detail

clone

public java.lang.Object clone()

concat

public Substitution concat(Substitution other)

shallowCopy

public Substitution shallowCopy()

hashCode

public int hashCode()

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.

size

public int size()

keyIterator

public java.util.Iterator keyIterator()

pruneSubstitutionsLike

public static java.util.List pruneSubstitutionsLike(java.util.List varList,
                                                    java.util.List subs)

isBound

public boolean isBound(Variable v)

determines if the given Variable is currently bound.

containsKey

public boolean containsKey(Variable v)

containsValue

public boolean containsValue(SymbolicObject o)

isEmpty

public boolean isEmpty()

determine if this Substitution object represents the Empty object

addBinding

public Substitution addBinding(Variable v,
                               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.

removeBinding

public Substitution removeBinding(Variable v)

putAll

public Substitution putAll(Substitution s)

toString

public java.lang.String toString()

equals

public boolean equals(Substitution other,
                      java.util.List ignoreVars)

equals

public boolean equals(Substitution other)

isSupersetOf

public boolean isSupersetOf(Substitution smaller)

containedIn

public boolean containedIn(java.util.List subList)

containsAll

public boolean containsAll(java.util.List varList)