Public Member Functions | |
TrueFalseGroundingsStore (const Domain *const &domain) | |
~TrueFalseGroundingsStore () | |
int | getNumTrueLiteralGroundings (const Predicate *const &pred, const Predicate *const &flippedGndPred) |
Predicate * | getRandomTrueLiteralGrounding (const Predicate *const &pred, const Predicate *const &flippedPred) |
Definition at line 94 of file truefalsegroundingsstore.h.