clauseTrueCnts_ | Inference | [protected] |
getClauseTrueCnts() | Inference | [inline] |
getProbability(GroundPredicate *const &gndPred)=0 | Inference | [pure virtual] |
getSeed() | Inference | [inline] |
getState() | Inference | [inline] |
infer()=0 | Inference | [pure virtual] |
Inference(VariableState *state, long int seed, const bool &trackClauseTrueCnts) | Inference | [inline] |
init()=0 | Inference | [pure virtual] |
printProbabilities(ostream &out)=0 | Inference | [pure virtual] |
printTruePreds(ostream &out)=0 | Inference | [pure virtual] |
seed_ | Inference | [protected] |
setSeed(long int s) | Inference | [inline] |
setState(VariableState *s) | Inference | [inline] |
state_ | Inference | [protected] |
trackClauseTrueCnts_ | Inference | [protected] |
~Inference() | Inference | [inline, virtual] |