TrueFalseGroundingsStore Class Reference

List of all members.

Public Member Functions

 TrueFalseGroundingsStore (const Domain *const &domain)
 ~TrueFalseGroundingsStore ()
int getNumTrueLiteralGroundings (const Predicate *const &pred, const Predicate *const &flippedGndPred)
PredicategetRandomTrueLiteralGrounding (const Predicate *const &pred, const Predicate *const &flippedPred)

Detailed Description

Definition at line 94 of file truefalsegroundingsstore.h.


The documentation for this class was generated from the following file:
Generated on Sun Jun 7 11:55:29 2009 for Alchemy by  doxygen 1.5.1