com.ibm.bluej.consistency.term

Class CollectionDefinition

java.lang.Object

com.ibm.bluej.consistency.term.ATerm

com.ibm.bluej.consistency.term.CollectionDefinition

All Implemented Interfaces:

java.lang.Comparable<ATerm>

Direct Known Subclasses:

BagDefinition, SetDefinition

public abstract class CollectionDefinition
extends ATerm

Constructor Summary

Constructors

Constructor and Description
CollectionDefinition()

Method Summary

Methods

Modifier and Type	Method and Description
int	compareTo(ATerm other)
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, ground, mdjbFirst, mdjbNext, testRecursive

Methods inherited from class java.lang.Object

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

Constructor Detail

CollectionDefinition

public CollectionDefinition()

Method Detail

isGround

public boolean isGround(Binds binds)

Specified by:

isGround in class ATerm

isFunctionFree

public boolean isFunctionFree()

Overrides:

isFunctionFree in class ATerm

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

compareTo

public int compareTo(ATerm other)

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