| appendIntArrRep(Array< int > &rep) | Term | [inline] |
| compress() | Term | [inline] |
| computeFixedSizeB() | Term | [inline, static] |
| CONSTANT enum value (defined in Term) | Term | |
| FUNCTION enum value (defined in Term) | Term | |
| getFunction() const | Term | [inline] |
| getId() const | Term | [inline] |
| getParent(bool &parentIsPred) const | Term | [inline] |
| getType() const | Term | [inline] |
| isConstant() const | Term | [inline] |
| isDirty() const | Term | [inline] |
| isGrounded() const | Term | [inline] |
| NONE enum value (defined in Term) | Term | |
| print(ostream &out, const Domain *const &domain) const | Term | |
| printAsInt(ostream &out) const | Term | |
| printWithStrVar(ostream &out, const Domain *const &domain) const | Term | |
| revertToBeFunction() | Term | [inline] |
| same(Term *const &t) | Term | [inline] |
| setDirty() | Term | |
| setFunction(Function *const &f) | Term | [inline] |
| setId(const int &id) | Term | [inline] |
| setParent(void *const parent, const bool &parentIsPred) | Term | [inline] |
| sizeMB() const | Term | [inline] |
| Term() | Term | [inline] |
| Term(void *const &parent, const bool &parentIsPred) | Term | [inline] |
| Term(const int &id) | Term | [inline] |
| Term(const int &id, void *const &parent, const bool &parentIsPred) | Term | [inline] |
| Term(Function *f) | Term | [inline] |
| Term(Function *f, void *const &parent, const bool &parentIsPred) | Term | [inline] |
| Term(const Term &t) | Term | |
| Term(const Term &t, void *const &parent, const bool &parentIsPred) | Term | |
| VARIABLE enum value (defined in Term) | Term | |
| ~Term() | Term | |