| activateAtom(const int &atomIdx, const bool &ignoreActivePreds, const bool &groundOnly) | HVariableState | [inline] |
| ADD_CLAUSE_DEAD | HVariableState | [static] |
| ADD_CLAUSE_INITIAL | HVariableState | [static] |
| ADD_CLAUSE_REGULAR | HVariableState | [static] |
| ADD_CLAUSE_SAT | HVariableState | [static] |
| addBreakCost(const int &atomIdx, const long double &cost) | HVariableState | [inline] |
| addBreakCostToAtomsInClause(const int &clauseIdx, const long double &cost) | HVariableState | [inline] |
| addFalseClause(const int &clauseIdx) | HVariableState | [inline] |
| addFalseHybridConstraint(const int &contClauseIdx) | HVariableState | [inline] |
| addMakeCost(const int &atomIdx, const long double &cost) | HVariableState | [inline] |
| addMakeCostToAtomsInClause(const int &clauseIdx, const long double &cost) | HVariableState | [inline] |
| addNewClauses(bool initial) | HVariableState | [inline] |
| addNewClauses(int addType, Array< GroundClause * > &clauses) | HVariableState | [inline] |
| atom_ | HVariableState | |
| atomEvi_ | HVariableState | |
| atomsLast_ | HVariableState | |
| bInitFromEvi_ | HVariableState | |
| bMaxOnly_ | HVariableState | |
| breakCost_ | HVariableState | |
| buildContOccurrence() | HVariableState | [inline] |
| CheckIfLBFGSCacheSatisfied(int contClauseIdx) | HVariableState | [inline] |
| clause_ | HVariableState | |
| clauseCost_ | HVariableState | |
| clauseGoodInPrevious(const int &clauseIdx) | HVariableState | [inline] |
| computeMaxValue(PolyNomial &pl, int contClauseIdx, int i) | HVariableState | [inline] |
| contAtomNum_ | HVariableState | |
| contAtomRange_ | HVariableState | |
| contAtoms_ | HVariableState | |
| contAtomsBackup_ | HVariableState | |
| contAtomsEvi_ | HVariableState | |
| contAtomsLast_ | HVariableState | |
| contAtomsLow_ | HVariableState | |
| contOptimum_ | HVariableState | |
| contOptimumAssignment_ | HVariableState | |
| contsolvers_ | HVariableState | |
| costHybridFalseConstraint_ | HVariableState | |
| costOfTotalFalseConstraints_ | HVariableState | |
| deadClause_ | HVariableState | |
| decrementNumTrueLits(const int &clauseIdx) | HVariableState | [inline] |
| eliminateSoftClauses() | HVariableState | [inline] |
| falseClause_ | HVariableState | |
| falseClauseLow_ | HVariableState | |
| fixAtom(const int &atomIdx, const bool &value) | HVariableState | [inline] |
| fixedAtom_ | HVariableState | |
| flipAtom(const int &toFlip, const int &blockIdx) | HVariableState | [inline] |
| flipAtomValue(const int &atomIdx, const int &blockIdx) | HVariableState | [inline] |
| getActiveClauses(Predicate *inputPred, Array< GroundClause * > &activeClauses, bool const &active, bool const &ignoreActivePreds) | HVariableState | [inline] |
| getActiveClauses(Array< GroundClause * > &allClauses, bool const &ignoreActivePreds) | HVariableState | [inline] |
| getAtomInClause(const int &atomIdxInClause, const int &clauseIdx) | HVariableState | [inline] |
| getAtomsInClause(const int &clauseIdx) | HVariableState | [inline] |
| getBlockArray(const int &blockIdx) | HVariableState | [inline] |
| getBlockEvidence(const int &blockIdx) | HVariableState | [inline] |
| getBlockIndex(const int &atomIdx) | HVariableState | [inline] |
| getBreakCost(const int &atomIdx) | HVariableState | [inline] |
| getClauseCost(const int &clauseIdx) | HVariableState | [inline] |
| getClauseSize(const int &clauseIdx) | HVariableState | [inline] |
| getContClauseGndings(Array< double > *const &numGndings) | HVariableState | [inline] |
| getContClauseGndingsWithUnknown(double numGndings[], int contClauseCnt, const Array< bool > *const &unknownPred) | HVariableState | [inline] |
| getContContOccurenceArray(const int &idx) | HVariableState | [inline] |
| getContDisOccurenceArray(const int &idx) | HVariableState | [inline] |
| getContVarValueByRandomMove(const int &atomIdx) | HVariableState | [inline] |
| getCostOfAllClauses(double &discost, double &hybridcost) | HVariableState | [inline] |
| getCostOfFalseClauses() | HVariableState | [inline] |
| getCostOfTotalFalseConstraints() | HVariableState | [inline] |
| getDisImproveInHybridByFlippingHMWS(const int &atomIdx) | HVariableState | [inline] |
| getDisImproveInHybridByFlippingMCSAT(const int &atomIdx) | HVariableState | [inline] |
| getDomain() | HVariableState | [inline] |
| getGndClause(const int &index) | HVariableState | [inline] |
| getGndPred(const int &index) | HVariableState | [inline] |
| getGndPredHashArrayPtr() const | HVariableState | [inline] |
| getGndPredIndex(GroundPredicate *const &gndPred) | HVariableState | [inline] |
| getHardWt() | HVariableState | [inline] |
| GetHybridClausePolynomial(int contClauseIdx) | HVariableState | [inline] |
| getImprovementByFlippingDisHMCS(const int &atomIdx) | HVariableState | [inline] |
| getImprovementByFlippingDisHMWS(const int &atomIdx) | HVariableState | [inline] |
| GetImprovementByMovingContVar(const int &atomIdx, double &vContAtomFlipped) | HVariableState | [inline] |
| GetImprovementBySolvingHybridConstraintToContVar(const int &contClauseIdx, const int &inIdx, double &cont_var_val) | HVariableState | [inline] |
| getImprovementInWeightSumByFlipping(const int &atomIdx) | HVariableState | [inline] |
| getImprovementRandomMoveCont(const int &atomIdx, const double &atomValue) | HVariableState | [inline] |
| getIndexOfAtomInRandomFalseClause() | HVariableState | [inline] |
| getIndexOfRandomAtom() | HVariableState | [inline] |
| getKnePreds() const | HVariableState | [inline] |
| getKnePredValues() const | HVariableState | [inline] |
| getLazy() | HVariableState | [inline] |
| getLowBad() | HVariableState | [inline] |
| getLowBadAll() | HVariableState | [inline] |
| getLowBadCont() | HVariableState | [inline] |
| getLowCost() | HVariableState | [inline] |
| getLowCostAll() | HVariableState | [inline] |
| getLowCostCont() | HVariableState | [inline] |
| getMakeCost(const int &atomIdx) | HVariableState | [inline] |
| getMaxClauseWeight() | HVariableState | [inline] |
| getMaxClauseWeightTotal() | HVariableState | [inline] |
| getMLN() | HVariableState | [inline] |
| getNegOccurenceArray(const int &atomIdx) | HVariableState | [inline] |
| getNumActiveAtoms() | HVariableState | [inline] |
| getNumAtoms() | HVariableState | [inline] |
| getNumBlocks() | HVariableState | [inline] |
| getNumClauseGndings(Array< double > *const &numGndings, bool tv) | HVariableState | [inline] |
| getNumClauseGndingsWithUnknown(double numGndings[], int clauseCnt, bool tv, const Array< bool > *const &unknownPred) | HVariableState | [inline] |
| getNumClauses() | HVariableState | [inline] |
| getNumContAtoms() | HVariableState | [inline] |
| getNumContFormulas() | HVariableState | [inline] |
| getNumDeadClauses() | HVariableState | [inline] |
| getNumFalseClauses() | HVariableState | [inline] |
| getNumTrueLits(const int &clauseIdx) | HVariableState | [inline] |
| getOccurenceArray(const int &idx) | HVariableState | [inline] |
| getPosOccurenceArray(const int &atomIdx) | HVariableState | [inline] |
| getRandomAtomInClause(const int &clauseIdx) | HVariableState | [inline] |
| getRandomFalseClauseIndex() | HVariableState | [inline] |
| getRandomFalseClauseIndexHMCS() | HVariableState | [inline] |
| getRandomFalseClauseIndexHMWS() | HVariableState | [inline] |
| getRandomToFixClauseIdx() | HVariableState | [inline] |
| getRandomTrueLitInClause(const int &clauseIdx) | HVariableState | [inline] |
| getTrueFixedAtomInBlock(const int blockIdx) | HVariableState | [inline] |
| getTrueLiteralOtherThan(const int &clauseIdx, const int &atomIdx1, const int &atomIdx2) | HVariableState | [inline] |
| getUnePreds() const | HVariableState | [inline] |
| getUseThreshold() | HVariableState | [inline] |
| getValueOfAtom(const int &atomIdx) | HVariableState | [inline] |
| getValueOfLowAtom(const int &atomIdx) | HVariableState | [inline] |
| getWatch1(const int &clauseIdx) | HVariableState | [inline] |
| getWatch2(const int &clauseIdx) | HVariableState | [inline] |
| gndClauses_ | HVariableState | |
| gndPredCont_ | HVariableState | |
| gndPredDis_ | HVariableState | |
| gndPredHashArray_ | HVariableState | |
| gndPredReverseCont_ | HVariableState | |
| gndPreds_ | HVariableState | |
| hmwsContOptimal_ | HVariableState | |
| hmwsDisOptimal_ | HVariableState | |
| HVariableState(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) | HVariableState | [inline] |
| HybridClauseContPartValue(int contClauseIdx) | HVariableState | [inline] |
| hybridClauseCost_ | HVariableState | |
| HybridClauseDisPartValue(int contClauseIdx) | HVariableState | [inline] |
| hybridClauseDisValue_ | HVariableState | |
| hybridClauseNum_ | HVariableState | |
| HybridClauseValue(int contClauseIdx, bool &dis, double &cont) | HVariableState | [inline] |
| HybridClauseValue(int contClauseIdx) | HVariableState | [inline] |
| hybridClauseValue_ | HVariableState | |
| HybridClauseValueNonWt(int contClauseIdx) | HVariableState | [inline] |
| hybridConjunctionDisjunction_ | HVariableState | |
| hybridConstraints_ | HVariableState | |
| hybridContClause_ | HVariableState | |
| hybridContOccurrence_ | HVariableState | |
| hybridDisClause_ | HVariableState | |
| hybridDisOccurrence_ | HVariableState | |
| hybridFalseClause_ | HVariableState | |
| hybridFalseClauseLow_ | HVariableState | |
| hybridFalseConstraintNum_ | HVariableState | |
| hybridFormulaGndClauseIdx_ | HVariableState | |
| hybridFormulaNum_ | HVariableState | |
| hybridGndClauseToFormulaMap_ | HVariableState | |
| hybridPls_ | HVariableState | |
| hybridWhereFalse_ | HVariableState | |
| hybridWts_ | HVariableState | |
| incrementNumTrueLits(const int &clauseIdx) | HVariableState | [inline] |
| init() | HVariableState | [inline] |
| initBlocksRandom() | HVariableState | [inline] |
| initContinuousVariableRandom() | HVariableState | [inline] |
| initLazyBlocks() | HVariableState | [inline] |
| initLowState() | HVariableState | [inline] |
| initMakeBreakCostWatch() | HVariableState | [inline] |
| initMakeBreakCostWatch(const int &startClause) | HVariableState | [inline] |
| initMakeBreakCostWatchCont() | HVariableState | [inline] |
| initRandom() | HVariableState | [inline] |
| initRange() | HVariableState | [inline] |
| isActive(const int &atomIdx) | HVariableState | [inline] |
| isActive(const Predicate *pred) | HVariableState | [inline] |
| isBlockEvidence(const int &blockIdx) | HVariableState | [inline] |
| isConstraintSolvableByCont(const int &contClauseIdx) | HVariableState | [inline] |
| isDeadClause(const int &clauseIdx) | HVariableState | [inline] |
| isSatisfied(int iContClauseIdx) | HVariableState | [inline] |
| isSatisfied(const HybridConstraint &cst, double currentValue) | HVariableState | [inline] |
| isSatisfied(const HybridConstraint &cst) | HVariableState | [inline] |
| isSatisfied_ | HVariableState | |
| isTrueLiteral(const int &literal) | HVariableState | [inline] |
| killClauses(const int &startClause) | HVariableState | [inline] |
| knePreds_ | HVariableState | |
| knePredValues_ | HVariableState | |
| lbfgsCache_ | HVariableState | |
| LoadContEviValues(const char *szContEvi) | HVariableState | [inline] |
| LoadContGroundedMLN(const char *szContFile) | HVariableState | [inline] |
| LoadContPartAtoms(const string &str, Array< int > &arDis) | HVariableState | [inline] |
| LoadDisEviValues(const char *szDisEvi) | HVariableState | [inline] |
| LoadDisEviValuesFromRst(const char *szDisEvi) | HVariableState | [inline] |
| LoadDisPartAtoms(const string &str, Array< int > &arDis, map< string, int > &gndPredCont, const int &clauseIdx) | HVariableState | [inline] |
| lowAtom_ | HVariableState | |
| lowBadAll_ | HVariableState | |
| lowBadHybrid_ | HVariableState | |
| lowCost_ | HVariableState | |
| lowCostAll_ | HVariableState | |
| lowCostHybrid_ | HVariableState | |
| makeCost_ | HVariableState | |
| makeUnitCosts() | HVariableState | [inline] |
| MODE_HARD | HVariableState | [static] |
| MODE_MWS | HVariableState | [static] |
| MODE_SAMPLESAT | HVariableState | [static] |
| newClauses_ | HVariableState | |
| newPreds_ | HVariableState | |
| numTrueLits_ | HVariableState | |
| occurence_ | HVariableState | |
| OptimizeHybridClauseToContVar(int clause_idx, int cont_var_inIdx) | HVariableState | [inline] |
| optimizeIndividualNumTerm() | HVariableState | [inline] |
| printContAtom(int conAtomIdx, ostream &os) | HVariableState | [inline] |
| printContAtoms(ostream &os) | HVariableState | [inline] |
| printContOccurrence(ostream &os) | HVariableState | [inline] |
| PrintContPartMLN(ostream &os) | HVariableState | [inline] |
| printDisAtom(int atomIdx, ostream &os) | HVariableState | [inline] |
| PrintDisAtoms(ostream &os) | HVariableState | [inline] |
| printDisClause(int i, ostream &os) | HVariableState | [inline] |
| printFalseClauses(ostream &os) | HVariableState | [inline] |
| printGndPred(const int &predIndex, ostream &out) | HVariableState | [inline] |
| printHybridConstraint(int i, ostream &os) | HVariableState | [inline] |
| printLowState(ostream &out) | HVariableState | [inline] |
| printLowStateAll(ostream &os) | HVariableState | [inline] |
| printLowStateCont(ostream &os) | HVariableState | [inline] |
| proceedOneStepAndCache(int contClauseIdx, PolyNomial &pl) | HVariableState | [inline] |
| proposalStdev_ | HVariableState | |
| randomSampleRange(const DoubleRange &r) | HVariableState | [inline] |
| recordAtomMakeDisClauseFalse(int clauseIdx, Array< int > *record) | HVariableState | [inline] |
| recordAtomMakeDisClauseTrue(int clauseIdx, Array< int > *record) | HVariableState | [inline] |
| ReduceClauseAndOptimize(const Array< int > &contVarIdx, Array< double > &assign) | HVariableState | [inline] |
| ReduceClauseAndOptimize(const int &contVarIdx, double *assign) | HVariableState | [inline] |
| removeFalseClause(const int &clauseIdx) | HVariableState | [inline] |
| removeFalseHybridConstraint(const int &contClauseIdx) | HVariableState | [inline] |
| resetDeadClauses() | HVariableState | [inline] |
| resetDeadClausesAndInitMake() | HVariableState | [inline] |
| resetFixedAtoms() | HVariableState | [inline] |
| saveCurrentAsLastAssignment() | HVariableState | [inline] |
| saveLastAsCurrentAssignment() | HVariableState | [inline] |
| saveLowState() | HVariableState | [inline] |
| saveLowStateAll() | HVariableState | [inline] |
| saveLowStateCont() | HVariableState | [inline] |
| saveLowStateToDB() | HVariableState | [inline] |
| saveLowStateToGndPreds() | HVariableState | [inline] |
| saveLowToCurrentAll() | HVariableState | [inline] |
| saveLowToCurrentCont() | HVariableState | [inline] |
| saveLowToCurrentDis() | HVariableState | [inline] |
| setContVarValueFromEvi() | HVariableState | [inline] |
| setDisVarValueFromEvi() | HVariableState | [inline] |
| setGndClausesWtsToSumOfParentWts() | HVariableState | [inline] |
| setInferenceMode(int mode) | HVariableState | [inline] |
| setInitFromEvi(bool bInitFromEvi) | HVariableState | [inline] |
| setLazy(const bool &l) | HVariableState | [inline] |
| setOthersInBlockToFalse(const int &atomIdx, const int &blockIdx) | HVariableState | [inline] |
| setProposalStdev(const char *szStdev) | HVariableState | [inline] |
| setUseThreshold(const bool &t) | HVariableState | [inline] |
| setValueOfAtom(const int &atomIdx, const bool &value, const bool &activate, const int &blockIdx) | HVariableState | [inline] |
| setWatch1(const int &clauseIdx, const int &atomIdx) | HVariableState | [inline] |
| setWatch2(const int &clauseIdx, const int &atomIdx) | HVariableState | [inline] |
| simplifyClauseFromFixedAtoms(const int &clauseIdx) | HVariableState | [inline] |
| SolveConstraintAndRandomSample(const int &contClauseIdx, const int &inIdx) | HVariableState | [inline] |
| SolveContByLBFGS(int contClauseIdx, int maxIter) | HVariableState | [inline] |
| SolveHybridConstraintToContVarSample(int contClauseIdx, int inIdx, int maxIter=100) | HVariableState | [inline] |
| strHybridDis_ | HVariableState | |
| subtractBreakCost(const int &atomIdx, const long double &cost) | HVariableState | [inline] |
| subtractBreakCostFromAtomsInClause(const int &clauseIdx, const long double &cost) | HVariableState | [inline] |
| subtractMakeCost(const int &atomIdx, const long double &cost) | HVariableState | [inline] |
| subtractMakeCostFromAtomsInClause(const int &clauseIdx, const long double &cost) | HVariableState | [inline] |
| threshold_ | HVariableState | |
| totalAtomNum_ | HVariableState | |
| totalFalseConstraintNum_ | HVariableState | |
| unePreds_ | HVariableState | |
| updateCost() | HVariableState | [inline] |
| UpdateHybridClause(const int &contClauseIdx) | HVariableState | [inline] |
| UpdateHybridClauseInfoByContAtom(const int &atomIdx, const double &atomValue) | HVariableState | [inline] |
| UpdateHybridClauseInfoByDisAtom(const int &atomIdx, const bool &atomValue) | HVariableState | [inline] |
| UpdateHybridClauseWeightSumByContAtom(const int &atomIdx, const double &atomValue) | HVariableState | [inline] |
| UpdateHybridClauseWeightSumByDisAtom(const int &atomIdx, bool atomValue) | HVariableState | [inline] |
| UpdateHybridConstraintTh() | HVariableState | [inline] |
| updateMakeBreakCostAfterFlip(const int &toFlip) | HVariableState | [inline] |
| updateNumTrueLits() | HVariableState | [inline] |
| updateSatisfiedClauses(const int &toFix) | HVariableState | [inline] |
| useThreshold_ | HVariableState | |
| watch1_ | HVariableState | |
| watch2_ | HVariableState | |
| weightSumCont_ | HVariableState | |
| weightSumDis_ | HVariableState | |
| whereFalse_ | HVariableState | |
| WriteGndPredIdxMap(const char *gnd_pred_map_file) | HVariableState | [inline] |
| ~HVariableState() | HVariableState | [inline] |
