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) |
Term * | removeLastTerm () |
Removes the last term in the function. | |
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.
Term* Function::removeLastTerm | ( | ) | [inline] |
Removes the last term in the function.
The template is not changed and terms_ is compressed. Returned Term* no longer belongs to the function and caller is responsible for deleting it.
Definition at line 122 of file function.h.
References Array< Type >::compress(), Array< Type >::removeLastItem(), and setDirty().
00123 { 00124 Term* term = terms_->removeLastItem(); 00125 terms_->compress(); 00126 setDirty(); 00127 return term; 00128 }