burnMaxSteps_ | MCMC | [protected] |
burnMinSteps_ | MCMC | [protected] |
clauseTrueCnts_ | Inference | [protected] |
genTruthValueForProb(const double &p) | MCMC | [inline, protected] |
getClauseTrueCnts() | Inference | [inline] |
getProbability(GroundPredicate *const &gndPred) | MCMC | [inline, virtual] |
getProbabilityOfPred(const int &predIdx, const int &chainIdx, const double &invTemp) | MCMC | [inline, protected] |
getProbTrue(const int &predIdx) const | MCMC | [inline, protected] |
getSeed() | Inference | [inline] |
getState() | Inference | [inline] |
gibbsSampleFromBlock(const int &chainIdx, const Array< int > &block, const double &invTemp) | MCMC | [inline, protected] |
gndPredFlippedUpdates(const int &gndPredIdx, const int &chainIdx, GroundPredicateHashArray &affectedGndPreds, Array< int > &affectedGndPredIndices) | MCMC | [inline, protected] |
infer()=0 | Inference | [pure virtual] |
Inference(VariableState *state, long int seed, const bool &trackClauseTrueCnts) | Inference | [inline] |
init()=0 | Inference | [pure virtual] |
initNumTrue() | MCMC | [inline, protected] |
initNumTrueLits(const int &numChains) | MCMC | [inline, protected] |
initTruthValuesAndWts(const int &numChains) | MCMC | [inline, protected] |
maxSeconds_ | MCMC | [protected] |
maxSteps_ | MCMC | [protected] |
MCMC(VariableState *state, long int seed, const bool &trackClauseTrueCnts, MCMCParams *params) | MCMC | [inline] |
minSteps_ | MCMC | [protected] |
numChains_ | MCMC | [protected] |
numTrue_ | MCMC | [protected] |
numTrueLits_ | MCMC | [protected] |
performGibbsStep(const int &chainIdx, const bool &burningIn, GroundPredicateHashArray &affectedGndPreds, Array< int > &affectedGndPredIndices) | MCMC | [inline, protected] |
printProbabilities(ostream &out) | MCMC | [inline, virtual] |
printTruePreds(ostream &out) | MCMC | [inline, virtual] |
randomInitGndPredsTruthValues(const int &numChains) | MCMC | [inline, protected] |
saveLowStateToChain(const int &chainIdx) | MCMC | [inline, protected] |
seed_ | Inference | [protected] |
setMCMCParameters(MCMCParams *params) | MCMC | [inline, protected] |
setOthersInBlockToFalse(const int &chainIdx, const int &atomIdx, const int &blockIdx) | MCMC | [inline, protected] |
setProbTrue(const int &predIdx, const double &p) | MCMC | [inline, protected] |
setSeed(long int s) | Inference | [inline] |
setState(VariableState *s) | Inference | [inline] |
state_ | Inference | [protected] |
trackClauseTrueCnts_ | Inference | [protected] |
truthValues_ | MCMC | [protected] |
updateWtsForGndPreds(GroundPredicateHashArray &gndPreds, Array< int > &gndPredIndices, const int &chainIdx) | MCMC | [inline, protected] |
wtsWhenFalse_ | MCMC | [protected] |
wtsWhenTrue_ | MCMC | [protected] |
~Inference() | Inference | [inline, virtual] |
~MCMC() | MCMC | [inline] |