com.ibm.bluej.consistency.old

Class FormulaFindGroundComboTest

java.lang.Object

com.ibm.bluej.consistency.old.FormulaFindGround

com.ibm.bluej.consistency.old.FormulaFindGroundComboTest

public class FormulaFindGroundComboTest
extends FormulaFindGround

Constructor Summary

Constructors

Constructor and Description
FormulaFindGroundComboTest(FormulaFindGround impl1, FormulaFindGround impl2)

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

FormulaFindGroundComboTest

public FormulaFindGroundComboTest(FormulaFindGround impl1,
                          FormulaFindGround impl2)

Method Detail

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

add

public void add(IndexEntry ti)

Specified by:

add 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