| allClauseTrueCnts_ | Inference | [protected] |
| burnMaxSteps_ | MCMC | [protected] |
| burnMinSteps_ | MCMC | [protected] |
| clauseTrueCnts_ | Inference | [protected] |
| clauseTrueCntsCont_ | Inference | [protected] |
| clauseTrueSqCnts_ | Inference | [protected] |
| computeHybridClauseValue(int clauseIdx, int c) | MCMC | [inline] |
| genTruthValueForProb(const double &p) | MCMC | [inline, protected] |
| getChangedPreds(vector< string > &changedPreds, vector< float > &probs, vector< float > &oldProbs, const float &probDelta) | MCMC | [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] |
| getProbability(GroundPredicate *const &gndPred) | MCMC | [inline, virtual] |
| getProbabilityH(GroundPredicate *const &gndPred) | MCMC | [inline, virtual] |
| getProbabilityOfPred(const int &predIdx, const int &chainIdx, const double &invTemp) | MCMC | [inline, protected] |
| getProbabilityOfPredH(const int &predIdx, const int &chainIdx, const double &invTemp) | MCMC | [inline] |
| getProbTrue(const int &predIdx) const | MCMC | [inline, protected] |
| getSeed() | Inference | [inline] |
| getState() | Inference | [inline] |
| gibbsSampleFromBlock(const int &chainIdx, const int &blockIndex, const double &invTemp) | MCMC | [inline, protected] |
| gndPredFlippedUpdates(const int &gndPredIdx, const int &chainIdx, GroundPredicateHashArray &affectedGndPreds, Array< int > &affectedGndPredIndices) | MCMC | [inline, protected] |
| hstate_ | Inference | [protected] |
| HybridClauseContPartValue(int contClauseIdx, int c) | MCMC | [inline] |
| hybridClauseContPartValueMCMC_ | MCMC | |
| HybridClauseDisPartValue(int contClauseIdx, int c) | MCMC | [inline] |
| hybridClauseDisPartValueMCMC_ | MCMC | |
| infer() | MCSAT | [inline, 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() | MCSAT | [inline, 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, Array< Array< Predicate * > * > *queryFormulas=NULL) | MCMC | [inline] |
| MCMC(HVariableState *state, long int seed, const bool &trackClauseTrueCnts, MCMCParams *params) | MCMC | [inline] |
| MCSAT(VariableState *state, long int seed, const bool &trackClauseTrueCnts, MCSatParams *mcsatParams, Array< Array< Predicate * > * > *queryFormulas=NULL) | MCSAT | [inline] |
| minSteps_ | MCMC | [protected] |
| numChains_ | MCMC | [protected] |
| numSamples_ | Inference | [protected] |
| numTrue_ | MCMC | [protected] |
| numTrueLits_ | MCMC | [protected] |
| oldAllClauseTrueCnts_ | Inference | [protected] |
| oldClauseTrueCnts_ | Inference | [protected] |
| performGibbsStep(const int &chainIdx, const bool &burningIn, GroundPredicateHashArray &affectedGndPreds, Array< int > &affectedGndPredIndices) | MCMC | [inline, protected] |
| printNetwork(ostream &out) | MCMC | [inline, virtual] |
| printProbabilities(ostream &out) | MCMC | [inline, virtual] |
| printQFProbs(ostream &out, Domain *domain) | Inference | [inline] |
| printTruePreds(ostream &out) | MCMC | [inline, virtual] |
| printTruePredsH(ostream &out) | MCMC | [inline, virtual] |
| qfProbs_ | Inference | [protected] |
| queryFormulas_ | Inference | [protected] |
| randomInitGndPredsTruthValues(const int &numChains) | MCMC | [inline, protected] |
| resetCnts() | Inference | [inline] |
| restoreCnts() | Inference | [inline] |
| saveAllCounts(bool saveCounts=true) | Inference | [inline] |
| saveAllCounts_ | Inference | [protected] |
| saveCnts() | Inference | [inline] |
| saveLowStateToChain(const int &chainIdx) | MCMC | [inline, protected] |
| scaleSamples(double factor) | MCMC | [inline, protected, virtual] |
| seed_ | Inference | [protected] |
| setHState(HVariableState *s) | Inference | [inline] |
| 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] |
| tallyCntsFromState() | Inference | [inline] |
| trackClauseTrueCnts_ | Inference | [protected] |
| truthValues_ | MCMC | [protected] |
| truthValuesCont_ | MCMC | |
| updateDisPredValue(int predIdx, int chainIdx, bool updateValue) | MCMC | [inline] |
| updateProposalContValue(int contPredIdx, int chainIdx) | MCMC | [inline] |
| updateWtsForGndPreds(GroundPredicateHashArray &gndPreds, Array< int > &gndPredIndices, const int &chainIdx) | MCMC | [inline, protected] |
| updateWtsForGndPredsH(GroundPredicateHashArray &gndPreds, Array< int > &gndPredIndices, const int &chainIdx) | MCMC | [inline, protected] |
| wtsWhenFalse_ | MCMC | [protected] |
| wtsWhenTrue_ | MCMC | [protected] |
| ~Inference() | Inference | [inline, virtual] |
| ~MCMC() | MCMC | [inline] |
| ~MCSAT() | MCSAT | [inline] |
