com.ibm.bluej.consistency.term

Class FormulaTermCollection<V>

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<V>

All Implemented Interfaces:

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

Direct Known Subclasses:

Bag, TermSet

public abstract class FormulaTermCollection<V>
extends TermCollection
implements Creator, OriginatingTermCollection

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

Constructor Summary

Constructors

Constructor and Description
FormulaTermCollection()

Method Summary

Methods

Modifier and Type	Method and Description
void	add(Formula origin)
void	addEndpointFunctions(com.ibm.bluej.util.common.IdentitySet<Updatable> ends, boolean print)
int	compareTo(ATerm other)
FormulaCreate	create(Binds binds, CRFState crfState)
void	drop()
double	getWeight()
ATerm	ground(Binds binds, Function neededBy)
boolean	isGarbage()
java.util.Iterator<ATerm>	iterator()
int	size()
void	update(Function source, java.lang.Object... msg)

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, toString, 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 com.ibm.bluej.consistency.term.OriginatingTermCollection

addMember, removeMember

Methods inherited from interface com.ibm.bluej.consistency.formula.FormulaCreate

dropConditional

Methods inherited from interface java.util.Collection

contains, equals, hashCode

Constructor Detail

FormulaTermCollection

public FormulaTermCollection()

Method Detail

getWeight

public double getWeight()

Specified by:

getWeight in interface FormulaCreate

compareTo

public int compareTo(ATerm other)

Specified by:

compareTo in interface java.lang.Comparable<ATerm>

Overrides:

compareTo in class CompositeTerm

create

public FormulaCreate create(Binds binds,
                   CRFState crfState)

Specified by:

create in interface Creator

update

public void update(Function source,
          java.lang.Object... msg)

Specified by:

update in interface Updatable

Specified by:

update in class Function

add

public void add(Formula origin)

Specified by:

add in interface FormulaCreate

drop

public void drop()

Specified by:

drop in interface FormulaCreate

isGarbage

public boolean isGarbage()

Specified by:

isGarbage in interface FormulaCreate

ground

public ATerm ground(Binds binds,
           Function neededBy)

iterator

public java.util.Iterator<ATerm> iterator()

Specified by:

iterator in interface java.lang.Iterable<ATerm>

Specified by:

iterator in interface java.util.Collection<ATerm>

size

public int size()

Specified by:

size in interface java.util.Collection<ATerm>

addEndpointFunctions

public void addEndpointFunctions(com.ibm.bluej.util.common.IdentitySet<Updatable> ends,
                        boolean print)

Specified by:

addEndpointFunctions in interface OriginatingTermCollection