| calculateImprovement(const int &atomIdx, Array< int > &canNotFlip, Array< int > &candidateBlockedVars, Array< int > &othersToFlip) | MaxWalkSat | [inline, protected] |
| changed_ | SAT | [protected] |
| clauseTrueCnts_ | Inference | [protected] |
| flipAtom(int toFlip) | MaxWalkSat | [inline, protected] |
| getClauseTrueCnts() | Inference | [inline] |
| getHeuristic() | MaxWalkSat | [inline] |
| getMaxSteps() | MaxWalkSat | [inline] |
| getNumSolutions() | SAT | [inline] |
| getPredsWithNonZeroProb(vector< string > &nonZeroPreds, vector< float > &probs) | SAT | [inline, virtual] |
| getProbability(GroundPredicate *const &gndPred) | SAT | [inline, virtual] |
| getSeed() | Inference | [inline] |
| getState() | Inference | [inline] |
| getTargetCost() | SAT | [inline] |
| infer() | MaxWalkSat | [inline, virtual] |
| Inference(VariableState *state, long int seed, const bool &trackClauseTrueCnts) | Inference | [inline] |
| init() | MaxWalkSat | [inline, virtual] |
| maxSteps_ | SAT | [protected] |
| maxTries_ | SAT | [protected] |
| MaxWalkSat(VariableState *state, int seed, const bool &trackClauseTrueCnts, MaxWalksatParams *params) | MaxWalkSat | [inline] |
| numFlips_ | SAT | [protected] |
| numSolutions_ | SAT | [protected] |
| pickBest() | MaxWalkSat | [inline, protected] |
| pickRandom() | MaxWalkSat | [inline, protected] |
| pickSS() | MaxWalkSat | [inline, protected] |
| pickTabu() | MaxWalkSat | [inline, protected] |
| printProbabilities(ostream &out) | SAT | [inline, virtual] |
| printTruePreds(ostream &out) | SAT | [inline, virtual] |
| reconstructLowState() | MaxWalkSat | [inline, protected] |
| SAT(VariableState *state, long int seed, const bool &trackClauseTrueCnts) | SAT | [inline] |
| seed_ | Inference | [protected] |
| setHeuristic(const int &heuristic) | MaxWalkSat | [inline] |
| setMaxSteps(const int &maxSteps) | MaxWalkSat | [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] |
| targetCost_ | SAT | [protected] |
| trackClauseTrueCnts_ | Inference | [protected] |
| ~Inference() | Inference | [inline, virtual] |
| ~MaxWalkSat() | MaxWalkSat | [inline] |
| ~SAT() | SAT | [inline, virtual] |