com.ibm.bluej.consistency.term

Class Bag

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<java.lang.Boolean>

com.ibm.bluej.consistency.term.Bag

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 Bag
extends FormulaTermCollection<java.lang.Boolean>

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	modifyMember(ATerm t, Function source, java.lang.Object[] sourceMsg)
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

toString

public java.lang.String toString()

Overrides:

toString in class Function

addMember

public void addMember(ATerm t)

removeMember

public void removeMember(ATerm t)

modifyMember

public void modifyMember(ATerm t,
                Function source,
                java.lang.Object[] sourceMsg)

dropConditional

public void dropConditional()

contains

public boolean contains(java.lang.Object o)