| append(ListObj *const &p) | ListObj | [inline] |
| append(const char *const &s) | ListObj | [inline] |
| cleanUpVars() | ListObj | [inline] |
| clear() | ListObj | [inline] |
| clearList() | ListObj | [inline] |
| deleteAndClear() | ListObj | [inline] |
| getList() const | ListObj | [inline] |
| getStr() const | ListObj | [inline] |
| hasAndOp() | ListObj | [inline] |
| hasOrOp() | ListObj | [inline] |
| isList() const | ListObj | [inline] |
| isStr() const | ListObj | [inline] |
| ListObj() | ListObj | [inline] |
| ListObj(const char *const &str) | ListObj | [inline] |
| ListObj(const ListObj *const &p) | ListObj | [inline] |
| operator[](const int &index) const | ListObj | [inline] |
| print(ostream &out) const | ListObj | [inline] |
| removeRedundantClauses() | ListObj | [inline] |
| removeRedundantPredicates() | ListObj | [inline] |
| replace(const ListObj *const &p, const char *const &varName, const char *const &constName, const Domain *const &domain) | ListObj | [inline, static] |
| replace(const char *const &oldop, const char *const &newop) | ListObj | [inline] |
| replaceAsterisk(const Array< bool > &bArr, int &idx) | ListObj | [inline] |
| setStrIfStr(const char *str) | ListObj | [inline] |
| size() const | ListObj | [inline] |
| toCNF(const ListObj *const &p, const ListObj *const &vars, const Domain *const &domain, const VarTypeMap *const &vtMap, bool &hasExist) | ListObj | [inline, static] |
| ~ListObj() | ListObj | [inline] |
