| activateAtom(const int &atomIdx, const bool &ignoreActivePreds) | VariableState | [inline] |
| addBreakCost(const int &atomIdx, const long double &cost) | VariableState | [inline] |
| addBreakCostToAtomsInClause(const int &clauseIdx, const long double &cost) | VariableState | [inline] |
| addFalseClause(const int &clauseIdx) | VariableState | [inline] |
| addMakeCost(const int &atomIdx, const long double &cost) | VariableState | [inline] |
| addMakeCostToAtomsInClause(const int &clauseIdx, const long double &cost) | VariableState | [inline] |
| addNewClauses(bool initial) | VariableState | [inline] |
| addOneAtomToEachBlock() | VariableState | [inline] |
| clauseGoodInPrevious(const int &clauseIdx) | VariableState | [inline] |
| decrementNumTrueLits(const int &clauseIdx) | VariableState | [inline] |
| eliminateSoftClauses() | VariableState | [inline] |
| fillLazyBlocks() | VariableState | [inline] |
| fixAtom(const int &atomIdx, const bool &value) | VariableState | [inline] |
| flipAtom(const int &toFlip) | VariableState | [inline] |
| flipAtomValue(const int &atomIdx) | VariableState | [inline] |
| getActiveClauses(Predicate *inputPred, Array< GroundClause * > &activeClauses, bool const &active, bool const &ignoreActivePreds) | VariableState | [inline] |
| getActiveClauses(Array< GroundClause * > &allClauses, bool const &ignoreActivePreds) | VariableState | [inline] |
| getAtomInClause(const int &atomIdxInClause, const int &clauseIdx) | VariableState | [inline] |
| getAtomsInClause(const int &clauseIdx) | VariableState | [inline] |
| getBlockArray(const int &blockIdx) | VariableState | [inline] |
| getBlockEvidence(const int &blockIdx) | VariableState | [inline] |
| getBlockIndex(const int &atomIdx) | VariableState | [inline] |
| getBlockSize(const int &blockIdx) | VariableState | [inline] |
| getBreakCost(const int &atomIdx) | VariableState | [inline] |
| getClauseCost(const int &clauseIdx) | VariableState | [inline] |
| getClauseSize(const int &clauseIdx) | VariableState | [inline] |
| getCostOfFalseClauses() | VariableState | [inline] |
| getDomain() | VariableState | [inline] |
| getGndClause(const int &index) | VariableState | [inline] |
| getGndPred(const int &index) | VariableState | [inline] |
| getGndPredHashArrayPtr() const | VariableState | [inline] |
| getGndPredIndex(GroundPredicate *const &gndPred) | VariableState | [inline] |
| getHardWt() | VariableState | [inline] |
| getImprovementByFlipping(const int &atomIdx) | VariableState | [inline] |
| getIndexOfAtomInRandomFalseClause() | VariableState | [inline] |
| getIndexOfRandomAtom() | VariableState | [inline] |
| getKnePreds() const | VariableState | [inline] |
| getKnePredValues() const | VariableState | [inline] |
| getLazy() | VariableState | [inline] |
| getLowBad() | VariableState | [inline] |
| getLowCost() | VariableState | [inline] |
| getMakeCost(const int &atomIdx) | VariableState | [inline] |
| getMaxClauseWeight() | VariableState | [inline] |
| getMLN() | VariableState | [inline] |
| getNegOccurenceArray(const int &atomIdx) | VariableState | [inline] |
| getNumActiveAtoms() | VariableState | [inline] |
| getNumAtoms() | VariableState | [inline] |
| getNumBlocks() | VariableState | [inline] |
| getNumClauseGndings(Array< double > *const &numGndings, bool tv) | VariableState | [inline] |
| getNumClauseGndings(double numGndings[], int clauseCnt, bool tv) | VariableState | [inline] |
| getNumClauseGndingsWithUnknown(double numGndings[], int clauseCnt, bool tv, const Array< bool > *const &unknownPred) | VariableState | [inline] |
| getNumClauses() | VariableState | [inline] |
| getNumDeadClauses() | VariableState | [inline] |
| getNumFalseClauses() | VariableState | [inline] |
| getNumTrueLits(const int &clauseIdx) | VariableState | [inline] |
| getOccurenceArray(const int &idx) | VariableState | [inline] |
| getPosOccurenceArray(const int &atomIdx) | VariableState | [inline] |
| getRandomAtomInClause(const int &clauseIdx) | VariableState | [inline] |
| getRandomFalseClauseIndex() | VariableState | [inline] |
| getRandomTrueLitInClause(const int &clauseIdx) | VariableState | [inline] |
| getTrueFixedAtomInBlock(const int blockIdx) | VariableState | [inline] |
| getTrueLiteralOtherThan(const int &clauseIdx, const int &atomIdx1, const int &atomIdx2) | VariableState | [inline] |
| getUnePreds() const | VariableState | [inline] |
| getUseThreshold() | VariableState | [inline] |
| getValueOfAtom(const int &atomIdx) | VariableState | [inline] |
| getValueOfLowAtom(const int &atomIdx) | VariableState | [inline] |
| getWatch1(const int &clauseIdx) | VariableState | [inline] |
| getWatch2(const int &clauseIdx) | VariableState | [inline] |
| incrementNumTrueLits(const int &clauseIdx) | VariableState | [inline] |
| init() | VariableState | [inline] |
| initBlocksRandom() | VariableState | [inline] |
| initLazyBlocks() | VariableState | [inline] |
| initMakeBreakCostWatch(const int &startClause) | VariableState | [inline] |
| initRandom() | VariableState | [inline] |
| isActive(const int &atomIdx) | VariableState | [inline] |
| isActive(const Predicate *pred) | VariableState | [inline] |
| isBlockEvidence(const int &blockIdx) | VariableState | [inline] |
| isDeadClause(const int &clauseIdx) | VariableState | [inline] |
| isTrueLiteral(const int &literal) | VariableState | [inline] |
| killClauses(const int &startClause) | VariableState | [inline] |
| makeUnitCosts() | VariableState | [inline] |
| printGndPred(const int &predIndex, ostream &out) | VariableState | [inline] |
| printLowState(ostream &out) | VariableState | [inline] |
| removeFalseClause(const int &clauseIdx) | VariableState | [inline] |
| resetDeadClauses() | VariableState | [inline] |
| resetFixedAtoms() | VariableState | [inline] |
| saveLowState() | VariableState | [inline] |
| saveLowStateToDB() | VariableState | [inline] |
| saveLowStateToGndPreds() | VariableState | [inline] |
| setGndClausesWtsToSumOfParentWts() | VariableState | [inline] |
| setLazy(const bool &l) | VariableState | [inline] |
| setOthersInBlockToFalse(const int &atomIdx, const int &blockIdx) | VariableState | [inline] |
| setUseThreshold(const bool &t) | VariableState | [inline] |
| setValueOfAtom(const int &atomIdx, const bool &value) | VariableState | [inline] |
| setWatch1(const int &clauseIdx, const int &atomIdx) | VariableState | [inline] |
| setWatch2(const int &clauseIdx, const int &atomIdx) | VariableState | [inline] |
| simplifyClauseFromFixedAtoms(const int &clauseIdx) | VariableState | [inline] |
| subtractBreakCost(const int &atomIdx, const long double &cost) | VariableState | [inline] |
| subtractBreakCostFromAtomsInClause(const int &clauseIdx, const long double &cost) | VariableState | [inline] |
| subtractMakeCost(const int &atomIdx, const long double &cost) | VariableState | [inline] |
| subtractMakeCostFromAtomsInClause(const int &clauseIdx, const long double &cost) | VariableState | [inline] |
| VariableState(GroundPredicateHashArray *const &unknownQueries, GroundPredicateHashArray *const &knownQueries, Array< TruthValue > *const &knownQueryValues, const Array< int > *const &allPredGndingsAreQueries, const bool &markHardGndClauses, const bool &trackParentClauseWts, const MLN *const &mln, const Domain *const &domain, const bool &lazy) | VariableState | [inline] |
| ~VariableState() | VariableState | [inline] |
