com.ibm.bluej.consistency.old

Class FormulaFindGroundFirstK

java.lang.Object

com.ibm.bluej.consistency.old.FormulaFindGround

com.ibm.bluej.consistency.old.FormulaFindGroundFirstK

public class FormulaFindGroundFirstK
extends FormulaFindGround

Constructor Summary

Constructors

Constructor and Description
FormulaFindGroundFirstK()

Method Summary

Methods

Modifier and Type	Method and Description
void	add(IndexEntry ti)
java.lang.String	configToString()
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	loadConfig(java.lang.String[] lines)
ScanTerm	randomMatch(ATerm[] probe)
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

FormulaFindGroundFirstK

public FormulaFindGroundFirstK()

Method Detail

randomMatch

public ScanTerm randomMatch(ATerm[] probe)

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

loadConfig

public void loadConfig(java.lang.String[] lines)

configToString

public java.lang.String configToString()