com.ibm.bluej.consistency

Class GroundFindFormulaMap

java.lang.Object

com.ibm.bluej.consistency.GroundFindFormula

com.ibm.bluej.consistency.GroundFindFormulaMap

public class GroundFindFormulaMap
extends GroundFindFormula

Constructor Summary

Constructors

Constructor and Description
GroundFindFormulaMap(ATerm[] quicksave)

Method Summary

Methods

Modifier and Type	Method and Description
void	add(Formula f)
void	clear()
IRandomAccessible<Formula>	findMatching(boolean positive, ScanTerm term)
java.util.Iterator<Formula>	getFormulas()
boolean	groundNew(boolean positive, IndexEntry ti)
void	remove(Formula f)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

GroundFindFormulaMap

public GroundFindFormulaMap(ATerm[] quicksave)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

findMatching

public IRandomAccessible<Formula> findMatching(boolean positive,
                                      ScanTerm term)

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

clear

public void clear()

Specified by:

clear in class GroundFindFormula

getFormulas

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

Specified by:

getFormulas in class GroundFindFormula