com.ibm.bluej.consistency

Class SGSearch

java.lang.Object

com.ibm.bluej.consistency.SGSearch

public class SGSearch
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SGSearch.AlreadyTrueException
static class	SGSearch.ExcessiveGroundOut

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	FAST_WEIGHTS
static java.util.Random	rand

Constructor Summary

Constructors

Constructor and Description
SGSearch()

Method Summary

Methods

Modifier and Type	Method and Description
static java.util.ArrayList<ScanTerm>	allMatch(ATerm... probe)
static void	beginDelta()
static void	commit()
static boolean	endDelta()
static boolean	epsilonSoft(double epsilon)
static void	evidence(ATerm... terms)
static void	evidence(ScanTerm t)
static CRFDescription	getCRFDescription()
static CRFState	getCRFState()
static FocusIndicatorState	getFocusIndicators()
static double	getImmediateWeight(ScanTerm t) Deprecated.
static LearningState	getLearningState()
static double	getWeight()
static boolean	isTrue(ScanTerm t)
static void	loadDescription(CRFDescription crf)
static void	loadDescription(java.lang.String fileContents)
static void	loadParamters(java.lang.String parameterContents)
static void	mapInference(MaximumAPost map, int proposalCount, double epsilon)
static void	mapInference(MaximumAPost map, int proposalCount, double epsilon, int reportEvery)
static void	marginalInference(int burnIn, int proposalCount, IMarginal marginal)
static boolean	metroHastings()
static boolean	metroHastings(double forwardToBackRatio)
static boolean	metroHastingsMinAccept(double forwardToBackRatio, double minAcceptProb)
static void	newProblem()
static void	nowFalse(java.lang.Iterable<ScanTerm> ct)
static double	nowFalse(ScanTerm t)
static void	nowTrue(java.lang.Iterable<ScanTerm> ct)
static double	nowTrue(ScanTerm t) Sets the ScanTerm to be true
static void	printTruth()
static ScanTerm	randomMatch(ATerm... probe)
static void	rollback()
static void	setMAP(MaximumAPost map)
static void	setMarginal(IMarginal marginal)
static void	setMaxGroundOutTime(long millis)
static void	setParametersToAverage()
static void	setTransaction(boolean enable)
static void	showDefineTable()
static java.lang.String	stringParameters()
static TrainingAnalysis	train(int burnIn, int proposalCount, double minAccept, com.ibm.bluej.util.common.FunST<ScanTerm,java.lang.Boolean> trackImprovementIn)
static java.lang.String	weightString()

Methods inherited from class java.lang.Object

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

Field Detail

rand

public static java.util.Random rand

FAST_WEIGHTS

public static boolean FAST_WEIGHTS

Constructor Detail

SGSearch

public SGSearch()

Method Detail

getCRFState

public static CRFState getCRFState()

getLearningState

public static LearningState getLearningState()

showDefineTable

public static void showDefineTable()

getFocusIndicators

public static FocusIndicatorState getFocusIndicators()

getCRFDescription

public static CRFDescription getCRFDescription()

loadDescription

public static void loadDescription(CRFDescription crf)

loadDescription

public static void loadDescription(java.lang.String fileContents)

loadParamters

public static void loadParamters(java.lang.String parameterContents)

stringParameters

public static java.lang.String stringParameters()

newProblem

public static void newProblem()

getWeight

public static double getWeight()

weightString

public static java.lang.String weightString()

beginDelta

public static void beginDelta()

endDelta

public static boolean endDelta()

setParametersToAverage

public static void setParametersToAverage()

setMarginal

public static void setMarginal(IMarginal marginal)

setMAP

public static void setMAP(MaximumAPost map)

train

public static TrainingAnalysis train(int burnIn,
                     int proposalCount,
                     double minAccept,
                     com.ibm.bluej.util.common.FunST<ScanTerm,java.lang.Boolean> trackImprovementIn)

marginalInference

public static void marginalInference(int burnIn,
                     int proposalCount,
                     IMarginal marginal)

mapInference

public static void mapInference(MaximumAPost map,
                int proposalCount,
                double epsilon)

mapInference

public static void mapInference(MaximumAPost map,
                int proposalCount,
                double epsilon,
                int reportEvery)

nowTrue

public static double nowTrue(ScanTerm t)

Sets the ScanTerm to be true

Parameters:

t - the ScanTerm that will become true, it should be false currently

nowTrue

public static void nowTrue(java.lang.Iterable<ScanTerm> ct)

isTrue

public static boolean isTrue(ScanTerm t)

evidence

public static void evidence(ATerm... terms)

evidence

public static void evidence(ScanTerm t)

nowFalse

public static double nowFalse(ScanTerm t)

nowFalse

public static void nowFalse(java.lang.Iterable<ScanTerm> ct)

randomMatch

public static ScanTerm randomMatch(ATerm... probe)

allMatch

public static java.util.ArrayList<ScanTerm> allMatch(ATerm... probe)

getImmediateWeight

public static double getImmediateWeight(ScanTerm t)

Deprecated.

Parameters:

t -

Returns:

setTransaction

public static void setTransaction(boolean enable)

commit

public static void commit()

rollback

public static void rollback()

metroHastings

public static boolean metroHastings()

metroHastings

public static boolean metroHastings(double forwardToBackRatio)

metroHastingsMinAccept

public static boolean metroHastingsMinAccept(double forwardToBackRatio,
                             double minAcceptProb)

epsilonSoft

public static boolean epsilonSoft(double epsilon)

setMaxGroundOutTime

public static void setMaxGroundOutTime(long millis)

printTruth

public static void printTruth()