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