SAT Member List

This is the complete list of members for SAT, including all inherited members.

allClauseTrueCnts_	Inference	[protected]
changed_	SAT	[protected]
clauseTrueCnts_	Inference	[protected]
clauseTrueCntsCont_	Inference	[protected]
clauseTrueSqCnts_	Inference	[protected]
getChangedPreds(vector< string > &changedPreds, vector< float > &probs, vector< float > &oldProbs, const float &probDelta)	SAT	[inline, virtual]
getClauseTrueCnts()	Inference	[inline]
getClauseTrueSqCnts()	Inference	[inline]
getHessian()	Inference	[inline]
getHessianVectorProduct(const Array< double > &v)	Inference	[inline]
getHessianVectorProduct2(Array< double > &v)	Inference	[inline]
getHState()	Inference	[inline]
getNumSamples() const	Inference	[inline]
getNumSolutions()	SAT	[inline]
getProbability(GroundPredicate *const &gndPred)	SAT	[inline, virtual]
getProbabilityH(GroundPredicate *const &gndPred)	SAT	[inline, virtual]
getSeed()	Inference	[inline]
getState()	Inference	[inline]
getTargetCost()	SAT	[inline]
hstate_	Inference	[protected]
infer()=0	Inference	[pure virtual]
Inference(VariableState *state, long int seed, const bool &trackClauseTrueCnts, Array< Array< Predicate * > * > *queryFormulas=NULL)	Inference	[inline]
Inference(HVariableState *state, long int seed, const bool &trackClauseTrueCnts)	Inference	[inline]
init()=0	Inference	[pure virtual]
maxSteps_	SAT	[protected]
maxTries_	SAT	[protected]
numFlips_	SAT	[protected]
numSamples_	Inference	[protected]
numSolutions_	SAT	[protected]
oldAllClauseTrueCnts_	Inference	[protected]
oldClauseTrueCnts_	Inference	[protected]
printNetwork(ostream &out)	SAT	[inline, virtual]
printProbabilities(ostream &out)	SAT	[inline, virtual]
printQFProbs(ostream &out, Domain *domain)	Inference	[inline]
printTruePreds(ostream &out)	SAT	[inline, virtual]
printTruePredsH(ostream &out)	SAT	[inline, virtual]
qfProbs_	Inference	[protected]
queryFormulas_	Inference	[protected]
resetCnts()	Inference	[inline]
restoreCnts()	Inference	[inline]
SAT(VariableState *state, long int seed, const bool &trackClauseTrueCnts)	SAT	[inline]
SAT(HVariableState *state, long int seed, const bool &trackClauseTrueCnts)	SAT	[inline]
saveAllCounts(bool saveCounts=true)	Inference	[inline]
saveAllCounts_	Inference	[protected]
saveCnts()	Inference	[inline]
scaleSamples(double factor)	Inference	[inline, virtual]
seed_	Inference	[protected]
setHState(HVariableState *s)	Inference	[inline]
setNumSolutions(const int &numSolutions)	SAT	[inline]
setSeed(long int s)	Inference	[inline]
setState(VariableState *s)	Inference	[inline]
setTargetCost(const long double &targetCost)	SAT	[inline]
state_	Inference	[protected]
tallyCntsFromState()	Inference	[inline]
targetCost_	SAT	[protected]
trackClauseTrueCnts_	Inference	[protected]
~Inference()	Inference	[inline, virtual]
~SAT()	SAT	[inline, virtual]

---