| addEvidenceGroundPredicate(Predicate *const &pred) | Database | [inline] |
| addPredToEvidenceIndex(Predicate *const &pred, const bool &sense) | Database | [inline] |
| alterTruthValue(const Array< Predicate * > *const &gndPreds, const TruthValue &tobeAlteredVal, const TruthValue &newVal, Array< TruthValue > *const &gndPredValues) | Database | [inline] |
| changeConstantsToNewIds(hash_map< int, int > &oldToNewConstIds) | Database | [inline] |
| compress() | Database | [inline] |
| Database(Domain *const &d, const Array< bool > &closedWorld, const bool &storeGndPreds) | Database | [inline] |
| Database(const Database &db) | Database | [inline] |
| flipValue(const Predicate *const &pred) | Database | [inline] |
| flipValue(const GroundPredicate *const &pred) | Database | [inline] |
| getActiveStatus(const Predicate *const &pred) const | Database | [inline] |
| getActiveStatus(const GroundPredicate *const &pred) const | Database | [inline] |
| getClosedWorld() const | Database | [inline] |
| getDeactivatedStatus(const Predicate *const &pred) const | Database | [inline] |
| getDeactivatedStatus(const GroundPredicate *const &pred) const | Database | [inline] |
| getDomain() const | Database | [inline] |
| getEvidenceStatus(const Predicate *const &pred) const | Database | [inline] |
| getEvidenceStatus(const GroundPredicate *const &pred) const | Database | [inline] |
| getIndexedGndings(Array< Predicate * > *const &indexedGndings, Predicate *const &pred, bool const &ignoreActivePreds, bool const &trueGndings) | Database | [inline] |
| getNumEvidenceGndPreds(const int &predId) const | Database | [inline] |
| getNumFalseGndPreds(const int &predId) const | Database | [inline] |
| getNumGroundings(const int &predId) const | Database | [inline] |
| getNumPredIds() const | Database | [inline] |
| getNumTrueGndPreds(const int &predId) const | Database | [inline] |
| getNumUnknownGndPreds(const int &predId) const | Database | [inline] |
| getTrueGndings(int predId, Array< Predicate * > *const &indexedGndings) | Database | [inline] |
| getValue(const Predicate *const &pred) const | Database | [inline] |
| getValue(const GroundPredicate *const &pred) const | Database | [inline] |
| getValueAsString(const Predicate *const &pred) const | Database | [inline] |
| isClosedWorld(const int &predId) const | Database | [inline] |
| printInfo() | Database | [inline] |
| resetActiveStatus() | Database | [inline] |
| resetDeactivatedStatus() | Database | [inline] |
| sameTruthValueAndSense(const TruthValue &tv, const bool &sense) | Database | [inline, static] |
| setActiveStatus(const Predicate *const &pred, const bool &as) | Database | [inline] |
| setActiveStatus(const GroundPredicate *const &pred, const bool &as) | Database | [inline] |
| setClosedWorld(const int &predId, const bool &b) | Database | [inline] |
| setDeactivatedStatus(const Predicate *const &pred, const bool &das) | Database | [inline] |
| setDeactivatedStatus(const GroundPredicate *const &pred, const bool &das) | Database | [inline] |
| setEvidenceStatus(const Predicate *const &pred, const bool &es) | Database | [inline] |
| setEvidenceStatus(const GroundPredicate *const &pred, const bool &es) | Database | [inline] |
| setLazyFlag() | Database | [inline] |
| setLazyFlag(const bool &lf) | Database | [inline] |
| setPerformingInference(bool pi) | Database | [inline] |
| setValue(const Predicate *const &pred, const TruthValue &tv) | Database | [inline] |
| setValue(const GroundPredicate *const &pred, const TruthValue &tv) | Database | [inline] |
| setValuesToGivenValues(const Array< Predicate * > *const &gndPreds, const Array< TruthValue > *const &values) | Database | [inline] |
| setValuesToGivenValues(const GroundPredicateHashArray *const &gndPreds, const Array< TruthValue > *const &values) | Database | [inline] |
| setValuesToUnknown(const Array< Predicate * > *const &gndPreds, Array< TruthValue > *const &prevValues) | Database | [inline] |
| setValuesToUnknown(const GroundPredicateHashArray *const &gndPreds, Array< TruthValue > *const &prevValues) | Database | [inline] |
| ~Database() | Database | [inline] |
