com.ibm.bluej.consistency

Class FormulaFindGroundAdaptive

java.lang.Object

com.ibm.bluej.consistency.FormulaFindGroundAdaptive

All Implemented Interfaces:

FormulaFindGroundRand

public class FormulaFindGroundAdaptive
extends java.lang.Object
implements FormulaFindGroundRand

Constructor Summary

Constructors

Constructor and Description
FormulaFindGroundAdaptive()

Method Summary

Methods

Modifier and Type	Method and Description
void	add(IndexEntry ti)
void	clear()
java.lang.String	configToString()
IndexEntry	contains(ScanTerm t)
int	estimateMatching(ScanTerm t, Binds binds)
IRandomAccessible<IndexEntry>	find(ScanTerm t, Binds binds)
java.util.Iterator<IndexEntry>	getGroundTerms()
void	loadConfig(java.lang.String[] lines)
ScanTerm	randomMatch(ATerm[] specifiers)
void	remove(ScanTerm t, boolean defined)
int	size()

Methods inherited from class java.lang.Object

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

Constructor Detail

FormulaFindGroundAdaptive

public FormulaFindGroundAdaptive()

Method Detail

clear

public void clear()

Specified by:

clear in interface FormulaFindGroundRand

remove

public void remove(ScanTerm t,
          boolean defined)

Specified by:

remove in interface FormulaFindGroundRand

add

public void add(IndexEntry ti)

Specified by:

add in interface FormulaFindGroundRand

randomMatch

public ScanTerm randomMatch(ATerm[] specifiers)

Specified by:

randomMatch in interface FormulaFindGroundRand

find

public IRandomAccessible<IndexEntry> find(ScanTerm t,
                                 Binds binds)

Specified by:

find in interface FormulaFindGroundRand

estimateMatching

public int estimateMatching(ScanTerm t,
                   Binds binds)

Specified by:

estimateMatching in interface FormulaFindGroundRand

getGroundTerms

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

Specified by:

getGroundTerms in interface FormulaFindGroundRand

contains

public IndexEntry contains(ScanTerm t)

Specified by:

contains in interface FormulaFindGroundRand

loadConfig

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

Specified by:

loadConfig in interface FormulaFindGroundRand

configToString

public java.lang.String configToString()

Specified by:

configToString in interface FormulaFindGroundRand

size

public int size()

Specified by:

size in interface FormulaFindGroundRand