| clauseTrueCnts_ | Inference | [protected] |
| getClauseTrueCnts() | Inference | [inline] |
| getPredsWithNonZeroProb(vector< string > &nonZeroPreds, vector< float > &probs) | UnitPropagation | [inline, virtual] |
| getProbability(GroundPredicate *const &gndPred) | UnitPropagation | [inline, virtual] |
| getSeed() | Inference | [inline] |
| getState() | Inference | [inline] |
| infer() | UnitPropagation | [inline, virtual] |
| Inference(VariableState *state, long int seed, const bool &trackClauseTrueCnts) | Inference | [inline] |
| init() | UnitPropagation | [inline, virtual] |
| printProbabilities(ostream &out) | UnitPropagation | [inline, virtual] |
| printTruePreds(ostream &out) | UnitPropagation | [inline, virtual] |
| seed_ | Inference | [protected] |
| setSeed(long int s) | Inference | [inline] |
| setState(VariableState *s) | Inference | [inline] |
| state_ | Inference | [protected] |
| trackClauseTrueCnts_ | Inference | [protected] |
| UnitPropagation(VariableState *state, long int seed, const bool &trackClauseTrueCnts) | UnitPropagation | [inline] |
| ~Inference() | Inference | [inline, virtual] |
| ~UnitPropagation() | UnitPropagation | [inline] |