com.ibm.bluej.consistency.term

Class VarTerm

java.lang.Object

com.ibm.bluej.consistency.term.ATerm

com.ibm.bluej.consistency.term.VarTerm

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<ATerm>

public class VarTerm
extends ATerm
implements java.io.Serializable

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
VarTerm(java.lang.String varName, int varNum)

Method Summary

Methods

Modifier and Type	Method and Description
void	bind(ATerm ground, Binds binds)
int	compareTo(ATerm other)
ATerm	ground(Binds binds, Updatable neededBy)
boolean	isFunctionFree()
boolean	isGround(Binds binds)
java.lang.String	toString()
ATerm	valueClone()
boolean	valueEquals(ATerm t)
int	valueHash()

Methods inherited from class com.ibm.bluej.consistency.term.ATerm

crossClassCompare, gatherTopFunctions, getBoolean, getCollection, getDouble, getInt, getSparseVector, getString, getTerm, getVector, mdjbFirst, mdjbNext, testRecursive

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

VarTerm

public VarTerm(java.lang.String varName,
       int varNum)

Method Detail

isGround

public boolean isGround(Binds binds)

Specified by:

isGround in class ATerm

ground

public ATerm ground(Binds binds,
           Updatable neededBy)

Specified by:

ground in class ATerm

isFunctionFree

public boolean isFunctionFree()

Overrides:

isFunctionFree in class ATerm

bind

public void bind(ATerm ground,
        Binds binds)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

compareTo

public int compareTo(ATerm other)

Specified by:

compareTo in interface java.lang.Comparable<ATerm>

valueHash

public int valueHash()

Specified by:

valueHash in class ATerm

valueEquals

public boolean valueEquals(ATerm t)

Specified by:

valueEquals in class ATerm

valueClone

public ATerm valueClone()

Specified by:

valueClone in class ATerm