| allClauseTrueCnts_ | Inference | [protected] |
| calculateImprovementDisHMCS(const int &atomIdx) | HMaxWalkSat | [inline, protected] |
| calculateImprovementDisHMWS(int atomIdx) | HMaxWalkSat | [inline, protected] |
| changed_ | SAT | [protected] |
| checkAr(const Array< int > &ar) | HMaxWalkSat | [inline, protected] |
| clauseTrueCnts_ | Inference | [protected] |
| clauseTrueCntsCont_ | Inference | [protected] |
| clauseTrueSqCnts_ | Inference | [protected] |
| collapseDepthConstraint(double th) | HMaxWalkSat | [inline] |
| flipAtom(int toFlip) | HMaxWalkSat | [inline, protected] |
| getChangedPreds(vector< string > &changedPreds, vector< float > &probs, vector< float > &oldProbs, const float &probDelta) | SAT | [inline, virtual] |
| getClauseTrueCnts() | HMaxWalkSat | [inline, virtual] |
| getClauseTrueCntsCont() | HMaxWalkSat | [inline, virtual] |
| getClauseTrueSqCnts() | Inference | [inline] |
| getHessian() | Inference | [inline] |
| getHessianVectorProduct(const Array< double > &v) | Inference | [inline] |
| getHessianVectorProduct2(Array< double > &v) | Inference | [inline] |
| getHeuristic() | HMaxWalkSat | [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() | HMaxWalkSat | [inline] |
| HMaxWalkSat(HVariableState *state, int seed, const bool &trackClauseTrueCnts, MaxWalksatParams *params) | HMaxWalkSat | [inline] |
| hstate_ | Inference | [protected] |
| infer() | HMaxWalkSat | [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() | HMaxWalkSat | [inline, virtual] |
| maxSteps_ | SAT | [protected] |
| maxTries_ | SAT | [protected] |
| numFlips_ | SAT | [protected] |
| numSamples_ | Inference | [protected] |
| numSolutions_ | SAT | [protected] |
| oldAllClauseTrueCnts_ | Inference | [protected] |
| oldClauseTrueCnts_ | Inference | [protected] |
| pickBest() | HMaxWalkSat | [inline, protected] |
| pickHMCS() | HMaxWalkSat | [inline, protected] |
| pickHMWS() | HMaxWalkSat | [inline, protected] |
| pickRandom() | HMaxWalkSat | [inline, protected] |
| pickSA() | HMaxWalkSat | [inline, protected] |
| pickSS() | HMaxWalkSat | [inline, 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] |
| reconstructLowState() | HMaxWalkSat | [inline, 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] |
| setHeuristic(const int &heuristic) | HMaxWalkSat | [inline] |
| setHState(HVariableState *s) | Inference | [inline] |
| SetMaxSeconds(double maxSeconds) | HMaxWalkSat | [inline] |
| SetNoisePra(int numerator, int denominator) | HMaxWalkSat | [inline] |
| setNumSolutions(const int &numSolutions) | SAT | [inline] |
| SetSAInterval(int saInterval) | HMaxWalkSat | [inline] |
| setSATempDownRatio(double saTempDownRatio) | HMaxWalkSat | [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] |
| ~HMaxWalkSat() | HMaxWalkSat | [inline] |
| ~Inference() | Inference | [inline, virtual] |
| ~SAT() | SAT | [inline, virtual] |
