Inheritance diagram for PredicateTemplate:

Public Member Functions | |
| PredicateTemplate () | |
| virtual | ~PredicateTemplate () |
| bool | isEqualPredicateTemplate () const |
| bool | isEmptyPredicateTemplate () const |
| bool | isInternalPredicateTemplate () const |
| bool | isInternalPredicateTemplateWithoutType () const |
| bool | isPredicateTemplateFromInternalFunction () const |
| bool | isPredicateTemplateFromFunction () const |
| void | setId (const int &id) |
| int | getId () const |
| void | setName (const char *const &name) |
| bool | isEqualPred () const |
| bool | isEqualPredWithType () const |
| const char *const | getName () const |
| int | getNumTerms () const |
| bool | appendTermType (const char *const &typeName, const bool &isUnique, const Domain *const &domain) |
| bool | appendTermType (const int &typeId, const bool &isUnique, const Domain *const &domain) |
| const Array< const char * > * | getTermTypesAsStr () const |
| const char * | getTermTypeAsStr (const int &idx) const |
| const Array< int > * | getTermTypesAsInt () const |
| int | getTermTypeAsInt (const int &idx) const |
| const Array< bool > * | getTermsUnique () const |
| const bool | termIsUnique (const int &idx) const |
| virtual ostream & | print (ostream &out) const |
| virtual ostream & | printWithStrVar (ostream &out) const |
Static Public Member Functions | |
| static string | createEqualPredTypeName (const char *const &typeName) |
| static string | createInternalPredTypeName (const char *const &predName, const char *const &typeName) |
| static Array< string > | createInternalPredTypeNames (const char *const &typeName) |
| static bool | isEqualPredName (const char *predName) |
| static bool | isInternalPredicateTemplateName (const char *predName) |
| static string | translateEqualPredicateName (const string &eqPredName) |
Static Public Attributes | |
| static const char * | EMPTY_NAME |
| static const char * | EQUAL_NAME |
| static const char * | GT_NAME |
| static const char * | LT_NAME |
| static const char * | GTEQ_NAME |
| static const char * | LTEQ_NAME |
| static const char * | SUBSTR_NAME |
| static const char * | ANY_TYPE_NAME |
| static const char * | INT_TYPE_NAME |
| static const char * | STRING_TYPE_NAME |
| static const char * | ZZ_RETURN_PREFIX |
| static const char * | SUCC_NAME |
| static const char * | PLUS_NAME |
| static const char * | MINUS_NAME |
| static const char * | TIMES_NAME |
| static const char * | DIVIDEDBY_NAME |
| static const char * | MOD_NAME |
| static const char * | CONCAT_NAME |
Protected Attributes | |
| int | id_ |
| char * | name_ |
| Array< int > * | termTypesAsInt_ |
| Array< const char * > * | termTypesAsStr_ |
| Array< bool > * | termsUnique_ |
| double | numGnd_ |
Definition at line 75 of file predicatetemplate.h.
1.5.1