com.ibm.bluej.consistency.term

Class ATerm

java.lang.Object

com.ibm.bluej.consistency.term.ATerm

All Implemented Interfaces:

java.lang.Comparable<ATerm>

Direct Known Subclasses:

CollectionDefinition, CompositeTerm, ValueTerm, VarTerm

public abstract class ATerm
extends java.lang.Object
implements java.lang.Comparable<ATerm>

Constructor Summary

Constructors

Constructor and Description
ATerm()

Method Summary

Methods

Modifier and Type	Method and Description
static int	crossClassCompare(ATerm first, ATerm second)
static void	gatherTopFunctions(ATerm t, java.util.Collection<Function> funs)
static boolean	getBoolean(ATerm t)
static java.util.Collection<ATerm>	getCollection(ATerm t)
static double	getDouble(ATerm t)
static int	getInt(ATerm t)
static java.util.Map<java.lang.Object,com.ibm.bluej.util.common.MutableDouble>	getSparseVector(ATerm t)
static java.lang.String	getString(ATerm t)
static ATerm	getTerm(ATerm t)
static double[]	getVector(ATerm t)
abstract ATerm	ground(Binds binds, Updatable neededBy)
boolean	isFunctionFree()
abstract boolean	isGround(Binds binds)
static int	mdjbFirst()
static int	mdjbNext(int h, int pi)
static boolean	testRecursive(ATerm t, com.ibm.bluej.util.common.FunST<ATerm,java.lang.Boolean> test)
abstract ATerm	valueClone()
abstract boolean	valueEquals(ATerm t)
abstract int	valueHash()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Comparable

compareTo

Constructor Detail

ATerm

public ATerm()

Method Detail

ground

public abstract ATerm ground(Binds binds,
           Updatable neededBy)

isGround

public abstract boolean isGround(Binds binds)

valueEquals

public abstract boolean valueEquals(ATerm t)

valueHash

public abstract int valueHash()

valueClone

public abstract ATerm valueClone()

isFunctionFree

public boolean isFunctionFree()

getInt

public static int getInt(ATerm t)

getDouble

public static double getDouble(ATerm t)

getVector

public static double[] getVector(ATerm t)

getSparseVector

public static java.util.Map<java.lang.Object,com.ibm.bluej.util.common.MutableDouble> getSparseVector(ATerm t)

getString

public static java.lang.String getString(ATerm t)

getBoolean

public static boolean getBoolean(ATerm t)

getCollection

public static java.util.Collection<ATerm> getCollection(ATerm t)

getTerm

public static ATerm getTerm(ATerm t)

mdjbFirst

public static int mdjbFirst()

mdjbNext

public static int mdjbNext(int h,
           int pi)

testRecursive

public static boolean testRecursive(ATerm t,
                    com.ibm.bluej.util.common.FunST<ATerm,java.lang.Boolean> test)

gatherTopFunctions

public static void gatherTopFunctions(ATerm t,
                      java.util.Collection<Function> funs)

crossClassCompare

public static int crossClassCompare(ATerm first,
                    ATerm second)