Uses of Class
com.ibm.bluej.consistency.IndexEntry

Packages that use IndexEntry

Package	Description
com.ibm.bluej.consistency
com.ibm.bluej.consistency.formula
com.ibm.bluej.consistency.inference
com.ibm.bluej.consistency.old
com.ibm.bluej.consistency.rl

Uses of IndexEntry in com.ibm.bluej.consistency

Subclasses of IndexEntry in com.ibm.bluej.consistency

Modifier and Type	Class and Description
class	DefIndexEntry
class	DummyIndexEntry
class	EvidIndexEntry

Methods in com.ibm.bluej.consistency that return IndexEntry

Modifier and Type	Method and Description
IndexEntry	CheckNegatedGround.contains(ATerm t)
IndexEntry	FormulaFindGroundAdaptive.contains(ScanTerm t)
IndexEntry	FormulaFindGroundRand.contains(ScanTerm t)

Methods in com.ibm.bluej.consistency that return types with arguments of type IndexEntry

Modifier and Type	Method and Description
IRandomAccessible<IndexEntry>	FormulaFindGroundAdaptive.find(ScanTerm t, Binds binds)
IRandomAccessible<IndexEntry>	FormulaFindGroundRand.find(ScanTerm t, Binds binds)
java.util.Iterator<IndexEntry>	CheckNegatedGround.getGroundTerms()
java.util.Iterator<IndexEntry>	FormulaFindGroundAdaptive.getGroundTerms()
java.util.Iterator<IndexEntry>	FormulaFindGroundRand.getGroundTerms()

Methods in com.ibm.bluej.consistency with parameters of type IndexEntry

Modifier and Type	Method and Description
void	CheckNegatedGround.add(IndexEntry ti)
void	FormulaFindGroundAdaptive.add(IndexEntry ti)
void	FormulaFindGroundRand.add(IndexEntry ti)
boolean	GroundFindFormulaMap.groundNew(boolean positive, IndexEntry ti)
abstract boolean	GroundFindFormula.groundNew(boolean positive, IndexEntry ti)

Uses of IndexEntry in com.ibm.bluej.consistency.formula

Methods in com.ibm.bluej.consistency.formula with parameters of type IndexEntry

Modifier and Type	Method and Description
boolean	Formula.groundOut(Binds binds, IndexEntry[] found, java.util.List<java.lang.Integer> conditions)

Uses of IndexEntry in com.ibm.bluej.consistency.inference

Method parameters in com.ibm.bluej.consistency.inference with type arguments of type IndexEntry

Modifier and Type	Method and Description
static SavedWorld	SavedWorld.instance(IDeltaWeight worldWeight, java.util.Iterator<IndexEntry> truth, com.ibm.bluej.util.common.FunST<ScanTerm,java.lang.Boolean> shouldSave)
IWorldWeight	NBestWorldSaver.save(IDeltaWeight worldWeight, java.util.Iterator<IndexEntry> truth)
IWorldWeight	SingleWorldSaver.save(IDeltaWeight worldWeight, java.util.Iterator<IndexEntry> truth)
IWorldWeight	MAPWorldSaver.save(IDeltaWeight worldWeight, java.util.Iterator<IndexEntry> truth)

Uses of IndexEntry in com.ibm.bluej.consistency.old

Methods in com.ibm.bluej.consistency.old that return IndexEntry

Modifier and Type	Method and Description
IndexEntry	FormulaFindGroundFirstK.contains(ScanTerm t)
IndexEntry	FormulaFindGroundList.contains(ScanTerm t)
IndexEntry	FormulaFindGroundComboTest.contains(ScanTerm t)
abstract IndexEntry	FormulaFindGround.contains(ScanTerm t)
IndexEntry	FormulaFindGroundMap.contains(ScanTerm t)

Methods in com.ibm.bluej.consistency.old that return types with arguments of type IndexEntry

Modifier and Type	Method and Description
java.util.Iterator<IndexEntry>	FormulaFindGroundFirstK.getGroundTerms()
java.util.Iterator<IndexEntry>	FormulaFindGroundList.getGroundTerms()
java.util.Iterator<IndexEntry>	FormulaFindGroundComboTest.getGroundTerms()
abstract java.util.Iterator<IndexEntry>	FormulaFindGround.getGroundTerms()
java.util.Iterator<IndexEntry>	FormulaFindGroundMap.getGroundTerms()

Methods in com.ibm.bluej.consistency.old with parameters of type IndexEntry

Modifier and Type	Method and Description
void	FormulaFindGroundFirstK.add(IndexEntry ti)
void	FormulaFindGroundList.add(IndexEntry ti)
void	FormulaFindGroundComboTest.add(IndexEntry ti)
abstract void	FormulaFindGround.add(IndexEntry ti)
void	FormulaFindGroundMap.add(IndexEntry ti)
boolean	GroundFindFormulaList.groundNew(boolean positive, IndexEntry ti)

Method parameters in com.ibm.bluej.consistency.old with type arguments of type IndexEntry

Modifier and Type	Method and Description
void	FormulaFindGroundFirstK.find(ScanTerm t, Binds binds, java.util.List<IndexEntry> matching)
void	FormulaFindGroundList.find(ScanTerm t, Binds binds, java.util.List<IndexEntry> matching)
void	FormulaFindGroundComboTest.find(ScanTerm t, Binds binds, java.util.List<IndexEntry> matching)
abstract void	FormulaFindGround.find(ScanTerm t, Binds binds, java.util.List<IndexEntry> matching)
void	FormulaFindGroundMap.find(ScanTerm t, Binds binds, java.util.List<IndexEntry> matching)
static java.util.HashSet<java.lang.String>	FormulaFindGround.makeSet(java.util.Iterator<IndexEntry> groundIter)

Uses of IndexEntry in com.ibm.bluej.consistency.rl

Methods in com.ibm.bluej.consistency.rl with parameters of type IndexEntry

Modifier and Type	Method and Description
int	GroundingPlan.getNext(IndexEntry[] found)
void	GroundingPlan.permanentReject(IndexEntry[] found, int recommended)