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