| addUnknownClauses(const Domain *const &domain, const Database *const &db, const int &gndPredIdx, const GroundPredicate *const &groundPred, const AddGroundClauseStruct *const &agcs) | Clause | [inline] |
| addWt(const double &wt) | Clause | [inline] |
| appendPredicate(Predicate *const &p) | Clause | [inline] |
| canonicalize() | Clause | [inline] |
| canonicalizeWithoutVariables() | Clause | [inline] |
| checkPredsAreConnected() | Clause | [inline] |
| Clause() | Clause | [inline] |
| Clause(const double &wt) | Clause | [inline] |
| Clause(const Clause &c) | Clause | [inline] |
| ClauseSampler class | Clause | [friend] |
| compress() | Clause | [inline] |
| computeFixedSizeB() | Clause | [inline, static] |
| containsConstants() const | Clause | [inline] |
| containsPredicate(const Predicate *const &pred) const | Clause | [inline] |
| countDiffNumTrueGroundings(Predicate *const &gndPred, const Domain *const &domain, Database *const &db, const bool &hasUnknownPreds, const bool &sampleClauses, const int &combo) | Clause | [inline] |
| getActiveClauseCnt(Predicate *const &gndPred, const Domain *const &domain, PredicateHashArray *const &seenPreds, bool const &ignoreActivePreds) | Clause | [inline] |
| getActiveClauses(Predicate *const &gndPred, const Domain *const &domain, Array< IntClause * > *const &activeIntClauses, PredicateHashArray *const &seenPreds, bool const &ignoreActivePreds) | Clause | [inline] |
| getActiveClauses(Predicate *const &gndPred, const Domain *const &domain, Array< GroundClause * > *const &activeGroundClauses, GroundPredicateHashArray *const &seenGndPreds, bool const &ignoreActivePreds) | Clause | [inline] |
| getAuxClauseData() const | Clause | [inline] |
| getClauseSampler() | Clause | [inline, static] |
| getInactiveClauses(Predicate *const &gndPred, const Domain *const &domain, Array< IntClause * > *const &activeIntClauses, PredicateHashArray *const &seenPreds) | Clause | [inline] |
| getNumGroundings(const Domain *const &domain) | Clause | [inline] |
| getNumPredicates() const | Clause | [inline] |
| getNumTrueFalseUnknownGroundings(const Domain *const &domain, const Database *const &db, const bool &hasUnknownPreds, double &numTrue, double &numFalse, double &numUnknown) | Clause | [inline] |
| getNumTrueGroundings(const Domain *const &domain, const Database *const &db, const bool &hasUnknownPreds) | Clause | [inline] |
| getNumTrueUnknownGroundings(const Domain *const &domain, const Database *const &db, const bool &hasUnknownPreds, double &numTrue, double &numUnknown) | Clause | [inline] |
| getNumUnknownGroundings(const Domain *const &domain, const Database *const &db, const bool &hasUnknownPreds) | Clause | [inline] |
| getNumVariables() const | Clause | [inline] |
| getNumVariablesAssumeCanonicalized() const | Clause | [inline] |
| getOpAsString(const int &op) | Clause | [inline, static] |
| getPredicate(const int &idx) const | Clause | [inline] |
| getPredicates() const | Clause | [inline] |
| getTypeIdToVarIdsMapAndSmallestVarId(int &smallestVarId) | Clause | [inline] |
| getUnknownClauses(const Domain *const &domain, const Database *const &db, const int &gndPredIdx, const GroundPredicate *const &groundPred, const Predicate *const &gndPred, Array< GroundClause * > *const &unknownGndClauses, Array< Clause * > *const &unknownClauses) | Clause | [inline] |
| getWt() const | Clause | [inline] |
| getWtPtr() const | Clause | [inline] |
| hashCode() | Clause | [inline] |
| hasRedundantPredicates() | Clause | [inline] |
| isDirty() const | Clause | [inline] |
| isHardClause() const | Clause | [inline] |
| isSatisfiable(const Domain *const &domain, const Database *const &db, const bool &hasUnknownPreds) | Clause | [inline] |
| moveTermsFromUnseenToSeen(Array< Term * > *const &terms, PredicateHashArray &unseenPreds, Array< Predicate * > &seenPreds) | Clause | [inline, static] |
| newAuxClauseData() | Clause | [inline] |
| newCache(const int &numDomains, const int &numPreds) | Clause | [inline] |
| print(ostream &out, const Domain *const &domain, const bool &withWt, const bool &asInt, const bool &withStrVar) const | Clause | [inline] |
| print(ostream &out, const Domain *const &domain) const | Clause | [inline] |
| printAsInt(ostream &out) const | Clause | [inline] |
| printWithoutWt(ostream &out, const Domain *const &domain) const | Clause | [inline] |
| printWithoutWtWithStrVar(ostream &out, const Domain *const &domain) const | Clause | [inline] |
| printWithoutWtWithStrVarAndPeriod(ostream &out, const Domain *const &domain) const | Clause | [inline] |
| printWithWtAndStrVar(ostream &out, const Domain *const &domain) const | Clause | [inline] |
| removePredicate(const int &i) | Clause | [inline] |
| removeRedundantPredicates() | Clause | [inline] |
| removeRedundantPredicatesAndCanonicalize() | Clause | [inline] |
| same(Clause *const &c) | Clause | [inline] |
| setAuxClauseData(AuxClauseData *const &acd) | Clause | [inline] |
| setClauseSampler(ClauseSampler *const &cs) | Clause | [inline, static] |
| setDirty() | Clause | [inline] |
| setIsHardClause(const bool &b) | Clause | [inline] |
| setWt(const double &wt) | Clause | [inline] |
| sizeMB() const | Clause | [inline] |
| sortByLen(Array< Clause * > &ca) | Clause | [inline, static] |
| trackConstants() | Clause | [inline] |
| translateConstants(const Domain *const &orig, const Domain *const &nnew) | Clause | [inline] |
| ~Clause() | Clause | [inline] |
