com.ibm.bluej.consistency.old

Class FormulaFindGround

java.lang.Object

com.ibm.bluej.consistency.old.FormulaFindGround

Direct Known Subclasses:

FormulaFindGroundComboTest, FormulaFindGroundFirstK, FormulaFindGroundList, FormulaFindGroundMap

public abstract class FormulaFindGround
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
FormulaFindGround()

Method Summary

Methods

Modifier and Type	Method and Description
abstract void	add(IndexEntry ti)
abstract IndexEntry	contains(ScanTerm t)
abstract int	estimateMatching(ScanTerm t, Binds binds)
abstract void	find(ScanTerm t, Binds binds, java.util.List<IndexEntry> matching)
abstract java.util.Iterator<IndexEntry>	getGroundTerms()
static FormulaFindGround	instance()
static java.util.HashSet<java.lang.String>	makeSet(java.util.Iterator<IndexEntry> groundIter)
abstract void	remove(ScanTerm t, boolean defined)

Methods inherited from class java.lang.Object

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

Constructor Detail

FormulaFindGround

public FormulaFindGround()

Method Detail

instance

public static FormulaFindGround instance()

contains

public abstract IndexEntry contains(ScanTerm t)

remove

public abstract void remove(ScanTerm t,
          boolean defined)

add

public abstract void add(IndexEntry ti)

find

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

estimateMatching

public abstract int estimateMatching(ScanTerm t,
                   Binds binds)

getGroundTerms

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

makeSet

public static java.util.HashSet<java.lang.String> makeSet(java.util.Iterator<IndexEntry> groundIter)