com.ibm.bluej.consistency.term

Class CompositeTerm

java.lang.Object

com.ibm.bluej.consistency.term.ATerm

com.ibm.bluej.consistency.term.CompositeTerm

All Implemented Interfaces:

java.lang.Comparable<ATerm>

Direct Known Subclasses:

Function, ScanTerm

public abstract class CompositeTerm
extends ATerm

Field Summary

Fields

Modifier and Type	Field and Description
static ATerm[]	EMPTY_TERM
ATerm[]	parts

Constructor Summary

Constructors

Constructor and Description
CompositeTerm()

Method Summary

Methods

Modifier and Type	Method and Description
int	compareTo(ATerm other)
boolean	isFunctionFree()
boolean	isGround(Binds binds)

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

crossClassCompare, gatherTopFunctions, getBoolean, getCollection, getDouble, getInt, getSparseVector, getString, getTerm, getVector, ground, mdjbFirst, mdjbNext, testRecursive, valueClone, valueEquals, valueHash

Methods inherited from class java.lang.Object

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

Field Detail

parts

public ATerm[] parts

EMPTY_TERM

public static final ATerm[] EMPTY_TERM

Constructor Detail

CompositeTerm

public CompositeTerm()

Method Detail

isFunctionFree

public boolean isFunctionFree()

Overrides:

isFunctionFree in class ATerm

isGround

public boolean isGround(Binds binds)

Specified by:

isGround in class ATerm

compareTo

public int compareTo(ATerm other)