Public Member Functions | |
| Clause () | |
| Clause (const double &wt) | |
| Clause (const Clause &c) | |
| ~Clause () | |
| double | sizeMB () const |
| void | compress () |
| bool | same (Clause *const &c) |
| size_t | hashCode () |
| int | getNumPredicates () const |
| double | getWt () const |
| const double * | getWtPtr () const |
| void | setWt (const double &wt) |
| void | addWt (const double &wt) |
| void | setDirty () |
| bool | isDirty () const |
| Predicate * | getPredicate (const int &idx) const |
| const Array< Predicate * > * | getPredicates () const |
| bool | containsPredicate (const Predicate *const &pred) const |
| int | getNumVariables () const |
| int | getNumVariablesAssumeCanonicalized () const |
| bool | isHardClause () const |
| void | setIsHardClause (const bool &b) |
| void | appendPredicate (Predicate *const &p) |
| Predicate * | removePredicate (const int &i) |
| bool | hasRedundantPredicates () |
| bool | removeRedundantPredicates () |
| void | removeRedundantPredicatesAndCanonicalize () |
| void | canonicalize () |
| bool | checkPredsAreConnected () |
| void | canonicalizeWithoutVariables () |
| AuxClauseData * | getAuxClauseData () const |
| void | setAuxClauseData (AuxClauseData *const &acd) |
| void | newAuxClauseData () |
| bool | containsConstants () const |
| void | trackConstants () |
| void | newCache (const int &numDomains, const int &numPreds) |
| void | translateConstants (const Domain *const &orig, const Domain *const &nnew) |
| Array< Array< int > * > * | getTypeIdToVarIdsMapAndSmallestVarId (int &smallestVarId) |
| ostream & | print (ostream &out, const Domain *const &domain, const bool &withWt, const bool &asInt, const bool &withStrVar) const |
| ostream & | printAsInt (ostream &out) const |
| ostream & | printWithoutWt (ostream &out, const Domain *const &domain) const |
| ostream & | printWithoutWtWithStrVar (ostream &out, const Domain *const &domain) const |
| ostream & | printWithWtAndStrVar (ostream &out, const Domain *const &domain) const |
| ostream & | print (ostream &out, const Domain *const &domain) const |
| ostream & | printWithoutWtWithStrVarAndPeriod (ostream &out, const Domain *const &domain) const |
| void | addUnknownClauses (const Domain *const &domain, const Database *const &db, const int &gndPredIdx, const GroundPredicate *const &groundPred, const AddGroundClauseStruct *const &agcs) |
| void | 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) |
| bool | isSatisfiable (const Domain *const &domain, const Database *const &db, const bool &hasUnknownPreds) |
| double | getNumGroundings (const Domain *const &domain) |
| double | getNumTrueGroundings (const Domain *const &domain, const Database *const &db, const bool &hasUnknownPreds) |
| void | getNumTrueUnknownGroundings (const Domain *const &domain, const Database *const &db, const bool &hasUnknownPreds, double &numTrue, double &numUnknown) |
| double | getNumUnknownGroundings (const Domain *const &domain, const Database *const &db, const bool &hasUnknownPreds) |
| void | getNumTrueFalseUnknownGroundings (const Domain *const &domain, const Database *const &db, const bool &hasUnknownPreds, double &numTrue, double &numFalse, double &numUnknown) |
| double | countDiffNumTrueGroundings (Predicate *const &gndPred, const Domain *const &domain, Database *const &db, const bool &hasUnknownPreds, const bool &sampleClauses, const int &combo) |
| void | getActiveClauses (Predicate *const &gndPred, const Domain *const &domain, Array< GroundClause * > *const &activeGroundClauses, GroundPredicateHashArray *const &seenGndPreds, bool const &ignoreActivePreds) |
| int | getActiveClauseCnt (Predicate *const &gndPred, const Domain *const &domain, bool const &ignoreActivePreds) |
Static Public Member Functions | |
| static void | computeFixedSizeB () |
| static bool | moveTermsFromUnseenToSeen (Array< Term * > *const &terms, PredicateHashArray &unseenPreds, Array< Predicate * > &seenPreds) |
| static void | setClauseSampler (ClauseSampler *const &cs) |
| static const ClauseSampler * | getClauseSampler () |
| static void | sortByLen (Array< Clause * > &ca) |
| static string | getOpAsString (const int &op) |
Friends | |
| class | ClauseSampler |
Definition at line 101 of file clause.h.
1.5.1