Inheritance diagram for UnitPropagation:
Public Member Functions | |
| UnitPropagation (VariableState *state, long int seed, const bool &trackClauseTrueCnts) | |
| There is nothing to do in the constructor for unit propagation. | |
| ~UnitPropagation () | |
| void | init () |
| There is nothing to initialize in unit propagation. | |
| void | infer () |
| Perform unit propagation on the clauses in the state. | |
| void | printProbabilities (ostream &out) |
| Prints the best state found. | |
| double | getProbability (GroundPredicate *const &gndPred) |
| Gets the truth value of a ground predicate in the best state found. | |
| void | printTruePreds (ostream &out) |
| Prints the predicates set to true in the best state to a stream. | |
Definition at line 73 of file unitpropagation.h.
1.5.1