| appendIntArrRep(Array< int > &rep) | Function | [inline] |
| appendTerm(Term *const &term) | Function | [inline] |
| Function(const FunctionTemplate *const &ft) | Function | [inline] |
| Function(const FunctionTemplate *const &ft, Term *const &parent) | Function | [inline] |
| Function(const Function &f) | Function | [inline] |
| Function(const Function &f, Term *const &parent) | Function | [inline] |
| getId() const | Function | [inline] |
| getName() const | Function | [inline] |
| getNumTerms() const | Function | [inline] |
| getParent() const | Function | [inline] |
| getRetConstId() const | Function | [inline] |
| getRetTypeId() const | Function | [inline] |
| getRetTypeName() const | Function | [inline] |
| getTemplate() const | Function | [inline] |
| getTerm(const int &idx) const | Function | [inline] |
| getTermTypeAsInt(const int &idx) const | Function | [inline] |
| getTermTypeAsStr(const int &idx) const | Function | [inline] |
| hashCode() | Function | [inline] |
| isDirty() const | Function | [inline] |
| print(ostream &out, const Domain *const &domain) const | Function | [inline] |
| printAsInt(ostream &out) const | Function | [inline] |
| printAsIntWithRetConstId(ostream &out) const | Function | [inline] |
| printWithRetConstName(ostream &out, const Domain *const &domain) const | Function | |
| same(const Function *const &f) const | Function | [inline] |
| same(Function *const &f) | Function | [inline] |
| setDirty() | Function | |
| setParent(Term *const parent) | Function | [inline] |
| setRetConstId(const int &constId) | Function | [inline] |
| setTemplate(FunctionTemplate *const &t) | Function | [inline] |
| ~Function() | Function | [inline] |
1.5.1