com.ibm.bluej.consistency

Class GroundFindFormula

java.lang.Object

com.ibm.bluej.consistency.GroundFindFormula

Direct Known Subclasses:

GroundFindFormulaList, GroundFindFormulaMap

public abstract class GroundFindFormula
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
GroundFindFormula()

Method Summary

Methods

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

Methods inherited from class java.lang.Object

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

Constructor Detail

GroundFindFormula

public GroundFindFormula()

Method Detail

groundNew

public abstract boolean groundNew(boolean positive,
                IndexEntry ti)

add

public abstract void add(Formula f)

remove

public abstract void remove(Formula f)

getFormulas

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

clear

public abstract void clear()