com.ibm.bluej.consistency.old

Class GroundFindFormulaList

java.lang.Object

com.ibm.bluej.consistency.GroundFindFormula

com.ibm.bluej.consistency.old.GroundFindFormulaList

public class GroundFindFormulaList
extends GroundFindFormula

Method Summary

Methods

Modifier and Type	Method and Description
void	add(Formula f)
void	clear()
java.util.Iterator<Formula>	getFormulas()
boolean	groundNew(boolean positive, IndexEntry ti)
void	remove(Formula f)

Methods inherited from class java.lang.Object

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

Method Detail

clear

public void clear()

Specified by:

clear in class GroundFindFormula

groundNew

public boolean groundNew(boolean positive,
                IndexEntry ti)

Specified by:

groundNew in class GroundFindFormula

add

public void add(Formula f)

Specified by:

add in class GroundFindFormula

remove

public void remove(Formula f)

Specified by:

remove in class GroundFindFormula

getFormulas

public java.util.Iterator<Formula> getFormulas()

Specified by:

getFormulas in class GroundFindFormula