| appendFalseGndPred(Predicate *const &p) | GroundPreds | [inline] |
| appendTrueGndPred(Predicate *const &p) | GroundPreds | [inline] |
| appendUnknownGndPred(Predicate *const &p) | GroundPreds | [inline] |
| changeGndPredTruthValue(Predicate *const &pred, const TruthValue &oldValue, const TruthValue &newValue) | GroundPreds | [inline] |
| compress() | GroundPreds | [inline] |
| contains(Predicate *const &p) | GroundPreds | [inline] |
| getFalseGndPreds() const | GroundPreds | [inline] |
| getNumFalseGndPreds() const | GroundPreds | [inline] |
| getNumTrueGndPreds() const | GroundPreds | [inline] |
| getNumUnknownGndPreds() const | GroundPreds | [inline] |
| getTrueGndPreds() const | GroundPreds | [inline] |
| getUnknownGndPreds() const | GroundPreds | [inline] |
| GroundPreds() | GroundPreds | [inline] |
| ~GroundPreds() | GroundPreds | [inline] |
1.5.1