Public Types | |
| enum | { NONE = 0, CONSTANT = 1, VARIABLE = 2, FUNCTION = 3 } |
Public Member Functions | |
| Term () | |
| Term (void *const &parent, const bool &parentIsPred) | |
| Term (const int &id) | |
| Term (const int &id, void *const &parent, const bool &parentIsPred) | |
| Term (Function *f) | |
| Term (Function *f, void *const &parent, const bool &parentIsPred) | |
| Term (const Term &t) | |
| Term (const Term &t, void *const &parent, const bool &parentIsPred) | |
| ~Term () | |
| double | sizeMB () const |
| void | compress () |
| void | setDirty () |
| bool | isDirty () const |
| int | getType () const |
| void | setParent (void *const parent, const bool &parentIsPred) |
| void * | getParent (bool &parentIsPred) const |
| void | setId (const int &id) |
| int | getId () const |
| void | revertToBeFunction () |
| void | setFunction (Function *const &f) |
| Function * | getFunction () const |
| bool | isConstant () const |
| bool | isGrounded () const |
| void | appendIntArrRep (Array< int > &rep) |
| bool | same (Term *const &t) |
| void | printAsInt (ostream &out) const |
| void | printWithStrVar (ostream &out, const Domain *const &domain) const |
| void | print (ostream &out, const Domain *const &domain) const |
Static Public Member Functions | |
| static void | computeFixedSizeB () |
Definition at line 80 of file term.h.
1.5.1