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.
1.5.1