com.ibm.bluej.consistency.term

Class SetDefinition

java.lang.Object

com.ibm.bluej.consistency.term.ATerm

com.ibm.bluej.consistency.term.CollectionDefinition

com.ibm.bluej.consistency.term.SetDefinition

All Implemented Interfaces:

java.lang.Comparable<ATerm>

public class SetDefinition
extends CollectionDefinition

Constructor Summary

Constructors

Constructor and Description
SetDefinition(ATerm created, ATerm[] condition, boolean[] positive, CRFState crfState)

Method Summary

Methods

Modifier and Type	Method and Description
ATerm	ground(Binds binds, Updatable neededBy)

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

compareTo, isFunctionFree, isGround, toString, valueClone, valueEquals, 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

SetDefinition

public SetDefinition(ATerm created,
             ATerm[] condition,
             boolean[] positive,
             CRFState crfState)

Method Detail

ground

public ATerm ground(Binds binds,
           Updatable neededBy)

Specified by:

ground in class ATerm