| ANY_TYPE_NAME | PredicateTemplate | [static] |
| appendTermType(const char *const &typeName, const bool &isUnique, const Domain *const &domain) | PredicateTemplate | |
| appendTermType(const int &typeId, const bool &isUnique, const Domain *const &domain) | PredicateTemplate | |
| CONCAT_NAME | PredicateTemplate | [static] |
| createEqualPredTypeName(const char *const &typeName) | PredicateTemplate | [inline, static] |
| createInternalFuncTypeName(const char *const &funcName, const Array< string > &typeNames) | FunctionTemplate | [inline, static] |
| createInternalPredTypeName(const char *const &predName, const char *const &typeName) | PredicateTemplate | [inline, static] |
| createInternalPredTypeNames(const char *const &typeName) | PredicateTemplate | [inline, static] |
| DIVIDEDBY_NAME | PredicateTemplate | [static] |
| EMPTY_FTEMPLATE_NAME | FunctionTemplate | [static] |
| EMPTY_NAME | PredicateTemplate | [static] |
| EQUAL_NAME | PredicateTemplate | [static] |
| FunctionTemplate() | FunctionTemplate | [inline] |
| getId() const | PredicateTemplate | [inline] |
| getName() const | PredicateTemplate | [inline] |
| getNumTerms() const | PredicateTemplate | [inline] |
| getRetTypeId() const | FunctionTemplate | [inline] |
| getRetTypeName() const | FunctionTemplate | [inline] |
| getTermsUnique() const | PredicateTemplate | [inline] |
| getTermTypeAsInt(const int &idx) const | PredicateTemplate | [inline] |
| getTermTypeAsStr(const int &idx) const | PredicateTemplate | [inline] |
| getTermTypesAsInt() const | PredicateTemplate | [inline] |
| getTermTypesAsStr() const | PredicateTemplate | [inline] |
| GT_NAME | PredicateTemplate | [static] |
| GTEQ_NAME | PredicateTemplate | [static] |
| id_ | PredicateTemplate | [protected] |
| INT_TYPE_NAME | PredicateTemplate | [static] |
| isEmptyPredicateTemplate() const | PredicateTemplate | [inline] |
| isEqualPred() const | PredicateTemplate | [inline] |
| isEqualPredicateTemplate() const | PredicateTemplate | [inline] |
| isEqualPredName(const char *predName) | PredicateTemplate | [inline, static] |
| isEqualPredWithType() const | PredicateTemplate | [inline] |
| isInternalFunctionTemplate() const | FunctionTemplate | [inline] |
| isInternalFunctionTemplateName(const char *funcName) | FunctionTemplate | [inline, static] |
| isInternalFunctionUnaryTemplateName(const char *funcName) | FunctionTemplate | [inline, static] |
| isInternalPredicateTemplate() const | PredicateTemplate | [inline] |
| isInternalPredicateTemplateName(const char *predName) | PredicateTemplate | [inline, static] |
| isInternalPredicateTemplateWithoutType() const | PredicateTemplate | [inline] |
| isPredicateTemplateFromFunction() const | PredicateTemplate | [inline] |
| isPredicateTemplateFromInternalFunction() const | PredicateTemplate | [inline] |
| LT_NAME | PredicateTemplate | [static] |
| LTEQ_NAME | PredicateTemplate | [static] |
| MINUS_NAME | PredicateTemplate | [static] |
| MOD_NAME | PredicateTemplate | [static] |
| name_ | PredicateTemplate | [protected] |
| numGnd_ | PredicateTemplate | [protected] |
| PLUS_NAME | PredicateTemplate | [static] |
| PredicateTemplate() | PredicateTemplate | [inline] |
| print(ostream &out) const | FunctionTemplate | [inline, virtual] |
| printWithStrVar(ostream &out) const | FunctionTemplate | [inline, virtual] |
| setId(const int &id) | PredicateTemplate | [inline] |
| setName(const char *const &name) | PredicateTemplate | [inline] |
| setRetTypeId(const int &id, const Domain *const &domain) | FunctionTemplate | |
| setRetTypeName(const char *const &name, const Domain *const &domain) | FunctionTemplate | |
| STRING_TYPE_NAME | PredicateTemplate | [static] |
| SUBSTR_NAME | PredicateTemplate | [static] |
| SUCC_NAME | PredicateTemplate | [static] |
| termIsUnique(const int &idx) const | PredicateTemplate | [inline] |
| termsUnique_ | PredicateTemplate | [protected] |
| termTypesAsInt_ | PredicateTemplate | [protected] |
| termTypesAsStr_ | PredicateTemplate | [protected] |
| TIMES_NAME | PredicateTemplate | [static] |
| translateEqualPredicateName(const string &eqPredName) | PredicateTemplate | [inline, static] |
| ZZ_RETURN_PREFIX | PredicateTemplate | [static] |
| ~FunctionTemplate() | FunctionTemplate | [inline, virtual] |
| ~PredicateTemplate() | PredicateTemplate | [inline, virtual] |