Public Member Functions | |
| Predicate (const PredicateTemplate *const &pt) | |
| Predicate (const PredicateTemplate *const &pt, Clause *const &parent) | |
| Predicate (const Predicate &p) | |
| Predicate (const Predicate &p, Clause *const &par) | |
| ~Predicate () | |
| double | sizeMB () const |
| void | compress () |
| bool | isEqualPred () const |
| bool | isEqualPredWithType () const |
| bool | isEmptyPred () const |
| bool | isInternalPred () const |
| bool | isInternalPredWithoutType () const |
| void | canonicalize () |
| void | appendTerm (Term *const &term) |
| bool | getSense () const |
| void | setSense (const bool &s) |
| void | invertSense () |
| TruthValue | getTruthValue () const |
| void | setTruthValue (const TruthValue &tv) |
| string | getTruthValueAsStr () const |
| double | getNumGroundingsIfAllVarDiff (const Domain *const &domain) const |
| void | createAllGroundingsIfAllVarDiff (const Domain *const &domain, Array< Predicate * > &returnArray) |
| void | createAllGroundings (const Domain *const &domain, Array< Predicate * > *const &predReturnArray, Array< int * > *const &constReturnArray) |
| void | createAllGroundings (const Domain *const &domain, Array< Predicate * > &returnArray) |
| void | createAllGroundings (const Domain *const &domain, Array< int * > &returnArray) |
| int | getNumTerms () const |
| const Term * | getTerm (const int &idx) const |
| void | setTermToConstant (const int &termNum, const int &constId) |
| bool | containsConstant (const int &constId) const |
| void | setTemplate (PredicateTemplate *const &t) |
| const PredicateTemplate * | getTemplate () const |
| const char * | getName () const |
| int | getId () const |
| const char * | getTermTypeAsStr (const int &idx) const |
| int | getTermTypeAsInt (const int &idx) const |
| bool | allTermsAreDiffVars () |
| bool | checkAllTermsAreDiffVars () |
| bool | isGrounded () |
| bool | canBeGroundedAs (Predicate *const &gndPred) |
| bool | canBeGroundedAs (const GroundPredicate *const &gndPred) |
| void | setDirty () |
| bool | isDirty () const |
| void | setParent (Clause *const &parent) |
| Clause * | getParent () const |
| bool | isIndexable (bool posClause) |
| void | createVarsTypeIdArr (Array< VarsTypeId * > *&varsTypeIdArr) |
| void | deleteVarsTypeIdArr (Array< VarsTypeId * > *&varsTypeIdArr) |
| bool | same (Predicate *const &p) |
| bool | same (const GroundPredicate *const &gp) |
| void | appendIntArrRep (Array< int > &rep) |
| size_t | hashCode () |
| ostream & | printAsInt (ostream &out) const |
| ostream & | printWithStrVar (ostream &out, const Domain *const &domain) const |
| ostream & | print (ostream &out, const Domain *const &domain) const |
Static Public Member Functions | |
| static void | computeFixedSizeB () |
| static void | createAllGroundings (const int &predId, const Domain *const &domain, Array< Predicate * > &returnArray) |
| static void | createAllGroundingsUnifyingWithTerm (const int &predId, const Domain *const &domain, Array< Predicate * > &returnArray, int termTypeId, int termVal) |
Definition at line 87 of file predicate.h.
1.5.1