com.ibm.bluej.consistency.term

Class TermSet

java.lang.Object

com.ibm.bluej.consistency.term.ATerm

com.ibm.bluej.consistency.term.CompositeTerm

com.ibm.bluej.consistency.term.Function

com.ibm.bluej.consistency.term.TermCollection

com.ibm.bluej.consistency.term.FormulaTermCollection<com.ibm.bluej.util.common.MutableInteger>

com.ibm.bluej.consistency.term.TermSet

All Implemented Interfaces:

Creator, FormulaCreate, OriginatingTermCollection, Updatable, java.lang.Cloneable, java.lang.Comparable<ATerm>, java.lang.Iterable<ATerm>, java.util.Collection<ATerm>

public final class TermSet
extends FormulaTermCollection<com.ibm.bluej.util.common.MutableInteger>

Field Summary

Fields inherited from class com.ibm.bluej.consistency.term.Function

FOR_GCC, NO_LINK

Fields inherited from class com.ibm.bluej.consistency.term.CompositeTerm

EMPTY_TERM, parts

Fields inherited from interface com.ibm.bluej.consistency.term.OriginatingTermCollection

ADD, MOD, REM

Method Summary

Methods

Modifier and Type	Method and Description
void	addMember(ATerm t)
boolean	contains(java.lang.Object o)
void	dropConditional()
void	removeMember(ATerm t)
java.lang.String	toString()

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

add, addEndpointFunctions, compareTo, create, drop, getWeight, ground, isGarbage, iterator, size, update

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

add, addAll, clear, containsAll, getValue, isEmpty, remove, removeAll, retainAll, toArray, toArray, valueClone, valueEquals, valueHash

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

addUsedBy, getUsedBy, ground, isFunctionFree, isReady, parserSetsFocusIndicator, zzParserInitUsedBy

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

isGround

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

Methods inherited from interface java.util.Collection

equals, hashCode

Method Detail

dropConditional

public void dropConditional()

addMember

public void addMember(ATerm t)

removeMember

public void removeMember(ATerm t)

contains

public boolean contains(java.lang.Object o)

toString

public java.lang.String toString()

Overrides:

toString in class Function