com.ibm.bluej.consistency.old

Class FormulaFindGroundList

java.lang.Object

com.ibm.bluej.consistency.old.FormulaFindGround

com.ibm.bluej.consistency.old.FormulaFindGroundList

public class FormulaFindGroundList
extends FormulaFindGround

Constructor Summary

Constructors

Constructor and Description
FormulaFindGroundList()

Method Summary

Methods

Modifier and Type	Method and Description
void	add(IndexEntry ti)
IndexEntry	contains(ScanTerm t)
int	estimateMatching(ScanTerm t, Binds binds)
void	find(ScanTerm t, Binds binds, java.util.List<IndexEntry> matching)
java.util.Iterator<IndexEntry>	getGroundTerms()
void	remove(ScanTerm t, boolean defined)

Methods inherited from class com.ibm.bluej.consistency.old.FormulaFindGround

instance, makeSet

Methods inherited from class java.lang.Object

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

Constructor Detail

FormulaFindGroundList

public FormulaFindGroundList()

Method Detail

add

public void add(IndexEntry ti)

Specified by:

add in class FormulaFindGround

contains

public IndexEntry contains(ScanTerm t)

Specified by:

contains in class FormulaFindGround

remove

public void remove(ScanTerm t,
          boolean defined)

Specified by:

remove in class FormulaFindGround

find

public void find(ScanTerm t,
        Binds binds,
        java.util.List<IndexEntry> matching)

Specified by:

find in class FormulaFindGround

estimateMatching

public int estimateMatching(ScanTerm t,
                   Binds binds)

Specified by:

estimateMatching in class FormulaFindGround

getGroundTerms

public java.util.Iterator<IndexEntry> getGroundTerms()

Specified by:

getGroundTerms in class FormulaFindGround