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] |