| activateRandomAtom(Array< Array< int > * > &walksatClauses, Array< int > &walksatClauseWts, int &toflip) | LazyInfo | [inline] |
| chooseOtherToFlip(int atom, Array< Array< int > * > &walksatClauses, Array< int > &walksatClauseWts) | LazyInfo | [inline] |
| copyMLN() | LazyInfo | [inline] |
| decrementNumDBAtoms() | LazyInfo | [inline] |
| flipVar(int atom) | LazyInfo | [inline] |
| getBlock(int atom) | LazyInfo | [inline] |
| getEvidence(const int atom) | LazyInfo | [inline] |
| getInBlock() | LazyInfo | [inline] |
| getNumDBAtoms() | LazyInfo | [inline] |
| getOtherAtom() | LazyInfo | [inline] |
| getSampleSat() | LazyInfo | [inline] |
| getSupersetClauses(Array< IntClause * > &supersetClauses) | LazyInfo | [inline] |
| getUnSatCostPerPred(Predicate *pred, Array< Array< int > * > &walksatClauses, Array< int > &walksatClauseWts) | LazyInfo | [inline] |
| getUnSatCostWhenFlipped(int atom, Array< Array< int > * > &walksatClauses, Array< int > &walksatClauseWts) | LazyInfo | [inline] |
| getVar(int atom) | LazyInfo | [inline] |
| getVarCount() | LazyInfo | [inline] |
| getVarVal(int atom) | LazyInfo | [inline] |
| getWalksatClauses(Predicate *inputPred, Array< Array< int > * > &walksatClauses, Array< int > &walksatClauseWts, bool const &active) | LazyInfo | [inline] |
| getWalksatClauses(Array< Array< int > * > &allClauses, Array< int > &allClauseWeights) | LazyInfo | [inline] |
| getWalksatClausesWhenFlipped(int atom, Array< Array< int > * > &walksatClauses, Array< int > &walksatClauseWts) | LazyInfo | [inline] |
| HARD_WT | LazyInfo | [static] |
| inBlock(int atom) | LazyInfo | [inline] |
| inBlockWithEvidence(int atom) | LazyInfo | [inline] |
| incrementNumDBAtoms() | LazyInfo | [inline] |
| initBlocks() | LazyInfo | [inline] |
| isActive(int atom) | LazyInfo | [inline] |
| isDeactivated(int atom) | LazyInfo | [inline] |
| LazyInfo(MLN *mln, Domain *domain) | LazyInfo | [inline] |
| printIntClauses(Array< IntClause * > clauses) | LazyInfo | [inline] |
| propagateFixedAtoms(Array< Array< int > * > &clauses, Array< int > &clauseWeights, bool *fixedAtoms, int maxFixedAtoms) | LazyInfo | [inline] |
| removeSoftClauses() | LazyInfo | [inline] |
| removeVars(Array< int > indices) | LazyInfo | [inline] |
| reset() | LazyInfo | [inline] |
| selectClauses(const Array< IntClause * > &supersetClauses, Array< Array< int > * > &walksatClauses, Array< int > &walksatClauseWts) | LazyInfo | [inline] |
| setActive(int atom) | LazyInfo | [inline] |
| setAllActive() | LazyInfo | [inline] |
| setAllFalse() | LazyInfo | [inline] |
| setAllInactive() | LazyInfo | [inline] |
| setEvidence(const int atom, const bool val) | LazyInfo | [inline] |
| setHardClauseWeight() | LazyInfo | [inline] |
| setInactive(int atom) | LazyInfo | [inline] |
| setInBlock(const bool val) | LazyInfo | [inline] |
| setOtherAtom(const int val) | LazyInfo | [inline] |
| setOthersInBlockToFalse(const int &atomIdx, const int &blockIdx) | LazyInfo | [inline] |
| setPrevDB() | LazyInfo | [inline] |
| setSampleSat(bool s) | LazyInfo | [inline] |
| setVarVal(int atom, bool val) | LazyInfo | [inline] |
| setVarVals(int newVals[]) | LazyInfo | [inline] |
| updatePredArray() | LazyInfo | [inline] |
| WSCALE | LazyInfo | [static] |
| ~LazyInfo() | LazyInfo | [inline] |