Public Member Functions | |
| Function (const FunctionTemplate *const &ft) | |
| Function (const FunctionTemplate *const &ft, Term *const &parent) | |
| Function (const Function &f) | |
| Function (const Function &f, Term *const &parent) | |
| ~Function () | |
| void | appendTerm (Term *const &term) |
| int | getNumTerms () const |
| const Term * | getTerm (const int &idx) const |
| void | setTemplate (FunctionTemplate *const &t) |
| const FunctionTemplate * | getTemplate () const |
| const char * | getName () const |
| int | getId () const |
| void | setRetConstId (const int &constId) |
| int | getRetConstId () const |
| void | setDirty () |
| bool | isDirty () const |
| void | setParent (Term *const parent) |
| Term * | getParent () const |
| const char * | getTermTypeAsStr (const int &idx) const |
| int | getTermTypeAsInt (const int &idx) const |
| int | getRetTypeId () const |
| const char * | getRetTypeName () const |
| bool | same (const Function *const &f) const |
| void | appendIntArrRep (Array< int > &rep) |
| size_t | hashCode () |
| bool | same (Function *const &f) |
| ostream & | printAsInt (ostream &out) const |
| ostream & | printAsIntWithRetConstId (ostream &out) const |
| ostream & | print (ostream &out, const Domain *const &domain) const |
| ostream & | printWithRetConstName (ostream &out, const Domain *const &domain) const |
Definition at line 77 of file function.h.
1.5.1