Uses of Class
com.ibm.bluej.consistency.term.ScanTerm

Packages that use ScanTerm

Package	Description
com.ibm.bluej.consistency
com.ibm.bluej.consistency.halfbaked
com.ibm.bluej.consistency.inference
com.ibm.bluej.consistency.learning
com.ibm.bluej.consistency.old
com.ibm.bluej.consistency.proposal
com.ibm.bluej.consistency.term
com.ibm.bluej.consistency.validate

Uses of ScanTerm in com.ibm.bluej.consistency

Fields in com.ibm.bluej.consistency declared as ScanTerm

Modifier and Type	Field and Description
ScanTerm	DefineCreate.defined
ScanTerm	IndexEntry.term
ScanTerm	DefineCreator.toDefine

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

Modifier and Type	Method and Description
ScanTerm	WorldChange.getTerm(int ndx)
ScanTerm	WorldChange.popTerm()
static ScanTerm	SGSearch.randomMatch(ATerm... probe)
ScanTerm	FormulaFindGroundAdaptive.randomMatch(ATerm[] specifiers)
ScanTerm	FormulaFindGroundRand.randomMatch(ATerm[] specifiers)

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

Modifier and Type	Method and Description
java.util.ArrayList<ScanTerm>	CRFState.allMatch(ATerm... probe)
static java.util.ArrayList<ScanTerm>	SGSearch.allMatch(ATerm... probe)

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

Modifier and Type	Method and Description
void	WorldChange.addChange(ScanTerm t, java.lang.Boolean oldValue)
IndexEntry	FormulaFindGroundAdaptive.contains(ScanTerm t)
IndexEntry	FormulaFindGroundRand.contains(ScanTerm t)
int	FormulaFindGroundAdaptive.estimateMatching(ScanTerm t, Binds binds)
int	FormulaFindGroundRand.estimateMatching(ScanTerm t, Binds binds)
void	CRFState.evidence(ScanTerm t)
static void	SGSearch.evidence(ScanTerm t)
IRandomAccessible<IndexEntry>	FormulaFindGroundAdaptive.find(ScanTerm t, Binds binds)
IRandomAccessible<IndexEntry>	FormulaFindGroundRand.find(ScanTerm t, Binds binds)
IRandomAccessible<Formula>	GroundFindFormulaMap.findMatching(boolean positive, ScanTerm term)
static double	SGSearch.getImmediateWeight(ScanTerm t) Deprecated.
boolean	MaximumAPost.isInterested(ScanTerm t)
boolean	CRFState.isTrue(ScanTerm t)
static boolean	SGSearch.isTrue(ScanTerm t)
double	CRFState.nowFalse(ScanTerm t)
static double	SGSearch.nowFalse(ScanTerm t)
void	MaximumAPost.nowFalse(ScanTerm t) Called during the search (only if transactions are enabled) enables the MAPTracker to know what type of world this is currently Ex: a correct one, or a variant one
double	CRFState.nowTrue(ScanTerm t)
static double	SGSearch.nowTrue(ScanTerm t) Sets the ScanTerm to be true
void	MaximumAPost.nowTrue(ScanTerm t) Called during the search (only if transactions are enabled) enables the MAPTracker to know what type of world this is currently Ex: a correct one, or a variant one
void	FormulaFindGroundAdaptive.remove(ScanTerm t, boolean defined)
void	FormulaFindGroundRand.remove(ScanTerm t, boolean defined)

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

Modifier and Type	Method and Description
static void	SGSearch.nowFalse(java.lang.Iterable<ScanTerm> ct)
static void	SGSearch.nowTrue(java.lang.Iterable<ScanTerm> ct)
TrainingAnalysis	ISimpleConsistency.train(int burnIn, int proposalCount, double minAccept, com.ibm.bluej.util.common.FunST<ScanTerm,java.lang.Boolean> trackImprovementIn)
TrainingAnalysis	CoreConsistency.train(int burnIn, int proposalCount, double minAccept, com.ibm.bluej.util.common.FunST<ScanTerm,java.lang.Boolean> trackImprovementIn)
TrainingAnalysis	CRFState.train(int burnIn, int proposalCount, double minAccept, com.ibm.bluej.util.common.FunST<ScanTerm,java.lang.Boolean> trackImprovementIn)
static TrainingAnalysis	SGSearch.train(int burnIn, int proposalCount, double minAccept, com.ibm.bluej.util.common.FunST<ScanTerm,java.lang.Boolean> trackImprovementIn)

Constructors in com.ibm.bluej.consistency with parameters of type ScanTerm

Constructor and Description
DefIndexEntry(ScanTerm term)
DefineCreator(ScanTerm toDefine)
DummyIndexEntry(ScanTerm term)
EvidIndexEntry(ScanTerm term)
IndexEntry(ScanTerm term)
MakeConstCreator(ScanTerm toConst)

Uses of ScanTerm in com.ibm.bluej.consistency.halfbaked

Fields in com.ibm.bluej.consistency.halfbaked with type parameters of type ScanTerm

Modifier and Type	Field and Description
java.util.ArrayList<ScanTerm>	MultiObjSolution.terms

Constructor parameters in com.ibm.bluej.consistency.halfbaked with type arguments of type ScanTerm

Constructor and Description
MultiObjSolution(ParamWeight[] objectiveWeights, java.util.ArrayList<ScanTerm> terms, WorldWeightParam worldWeight)

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

Fields in com.ibm.bluej.consistency.inference with type parameters of type ScanTerm

Modifier and Type	Field and Description
com.ibm.bluej.util.common.FunST<ScanTerm,java.lang.Boolean>	SingleMAP.shouldSave
java.util.ArrayList<ScanTerm>	SavedWorld.world

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

Modifier and Type	Method and Description
java.util.Collection<ScanTerm>	SingleMAP.getBest()
java.util.ArrayList<com.ibm.bluej.util.common.Pair<ScanTerm,java.lang.Double>>	MultiMarginal.getProbs()

Methods in com.ibm.bluej.consistency.inference with parameters of type ScanTerm

Modifier and Type	Method and Description
boolean	VariationMAP.isInterested(ScanTerm t)
boolean	IMarginal.isInterested(ScanTerm t)
boolean	SingleMarginal.isInterested(ScanTerm t)
boolean	MultiMarginal.isInterested(ScanTerm t)
boolean	CompletionMAP.isInterested(ScanTerm t)
void	VariationMAP.nowFalse(ScanTerm t)
void	IMarginal.nowFalse(ScanTerm t)
void	SingleMarginal.nowFalse(ScanTerm t)
void	MultiMarginal.nowFalse(ScanTerm t)
void	CompletionMAP.nowFalse(ScanTerm t)
void	VariationMAP.nowTrue(ScanTerm t)
void	IMarginal.nowTrue(ScanTerm t)
void	SingleMarginal.nowTrue(ScanTerm t)
void	MultiMarginal.nowTrue(ScanTerm t)
void	CompletionMAP.nowTrue(ScanTerm t)

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

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)

Constructors in com.ibm.bluej.consistency.inference with parameters of type ScanTerm

Constructor and Description
CompletionMAP(CRFState crfState, ScanTerm goodWorldMarker, int numGood, int numBad)
SingleMarginal(ScanTerm query)
VariationMAP(CRFState crfState, ScanTerm completion, int kBestCompletions, ScanTerm variationPattern)
VariationMAP(CRFState crfState, ScanTerm completion, int kBestCompletions, ScanTerm variationPattern, com.ibm.bluej.util.common.FunST<ScanTerm,java.lang.Boolean> shouldSave)

Constructor parameters in com.ibm.bluej.consistency.inference with type arguments of type ScanTerm

Constructor and Description
MultiMarginal(com.ibm.bluej.util.common.FunST<ScanTerm,java.lang.Boolean> interested)
NBestWorldSaver(int nbest, com.ibm.bluej.util.common.FunST<ScanTerm,java.lang.Boolean> shouldSave)
SingleWorldSaver(com.ibm.bluej.util.common.FunST<ScanTerm,java.lang.Boolean> shouldSave)
VariationMAP(CRFState crfState, ScanTerm completion, int kBestCompletions, ScanTerm variationPattern, com.ibm.bluej.util.common.FunST<ScanTerm,java.lang.Boolean> shouldSave)

Uses of ScanTerm in com.ibm.bluej.consistency.learning

Fields in com.ibm.bluej.consistency.learning with type parameters of type ScanTerm

Modifier and Type	Field and Description
java.util.Collection<ScanTerm>	TrainingAnalysis.DeltaAnalysis.world

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

Modifier and Type	Method and Description
java.util.Collection<com.ibm.bluej.util.common.Pair<ScanTerm,java.lang.Double>>	TrainingAnalysis.getPostTrainMarginals()
java.util.Collection<com.ibm.bluej.util.common.Pair<ScanTerm,java.lang.Double>>	TrainingAnalysis.getPreTrainMarginals()

Constructor parameters in com.ibm.bluej.consistency.learning with type arguments of type ScanTerm

Constructor and Description
TrainingAnalysis.DeltaAnalysis(java.util.Collection<ScanTerm> world, WorldChange change, double objectiveScore, double prevObjectiveScore, java.lang.String delta)
TrainingAnalysis(CRFState crfState, com.ibm.bluej.util.common.FunST<ScanTerm,java.lang.Boolean> trackImprovementIn, int burnIn, int proposalCount)

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

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

Modifier and Type	Method and Description
ScanTerm	FormulaFindGroundFirstK.randomMatch(ATerm[] probe)

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

Modifier and Type	Method and Description
void	IProposalHelper.alertFalse(ScanTerm t)
void	IProposalHelper.alertMotivated(ScanTerm t)
void	IProposalHelper.alertTrue(ScanTerm t)
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)
int	FormulaFindGroundFirstK.estimateMatching(ScanTerm t, Binds binds)
int	FormulaFindGroundList.estimateMatching(ScanTerm t, Binds binds)
int	FormulaFindGroundComboTest.estimateMatching(ScanTerm t, Binds binds)
abstract int	FormulaFindGround.estimateMatching(ScanTerm t, Binds binds)
int	FormulaFindGroundMap.estimateMatching(ScanTerm t, Binds binds)
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)
void	FormulaFindGroundFirstK.remove(ScanTerm t, boolean defined)
void	FormulaFindGroundList.remove(ScanTerm t, boolean defined)
void	FormulaFindGroundComboTest.remove(ScanTerm t, boolean defined)
abstract void	FormulaFindGround.remove(ScanTerm t, boolean defined)
void	FormulaFindGroundMap.remove(ScanTerm t, boolean defined)

Uses of ScanTerm in com.ibm.bluej.consistency.proposal

Constructors in com.ibm.bluej.consistency.proposal with parameters of type ScanTerm

Constructor and Description
Proposal(ScanTerm[] toPropose, boolean[] createPositive, ProposalCondition[] conditions, boolean[] condPositive, int conditionType, CRFState crfState)

Uses of ScanTerm in com.ibm.bluej.consistency.term

Methods in com.ibm.bluej.consistency.term that return ScanTerm

Modifier and Type	Method and Description
static ScanTerm	ScanTerm.basicFromString(java.lang.String str)

Uses of ScanTerm in com.ibm.bluej.consistency.validate

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

Modifier and Type	Method and Description
java.util.List<com.ibm.bluej.util.common.Pair<java.lang.Boolean,ScanTerm>>	SearchTest.randomOperations()