Public Member Functions | |
| GroundPreds () | |
| ~GroundPreds () | |
| bool | contains (Predicate *const &p) |
| void | appendTrueGndPred (Predicate *const &p) |
| void | appendFalseGndPred (Predicate *const &p) |
| void | appendUnknownGndPred (Predicate *const &p) |
| const PredicateHashArray * | getTrueGndPreds () const |
| const PredicateHashArray * | getFalseGndPreds () const |
| const PredicateHashArray * | getUnknownGndPreds () const |
| int | getNumTrueGndPreds () const |
| int | getNumFalseGndPreds () const |
| int | getNumUnknownGndPreds () const |
| void | changeGndPredTruthValue (Predicate *const &pred, const TruthValue &oldValue, const TruthValue &newValue) |
| void | compress () |
Definition at line 72 of file groundpreds.h.
1.5.1