getNumTrueLiteralGroundings(const Predicate *const &pred, const Predicate *const &flippedGndPred) | TrueFalseGroundingsStore | [inline] |
getRandomTrueLiteralGrounding(const Predicate *const &pred, const Predicate *const &flippedPred) | TrueFalseGroundingsStore | [inline] |
TrueFalseGroundingsStore(const Domain *const &domain) | TrueFalseGroundingsStore | [inline] |
~TrueFalseGroundingsStore() | TrueFalseGroundingsStore | [inline] |