Public Member Functions | |
| ListObj () | |
| ListObj (const char *const &str) | |
| ListObj (const ListObj *const &p) | |
| ~ListObj () | |
| void | clear () |
| void | deleteAndClear () |
| void | clearList () |
| ostream & | print (ostream &out) const |
| const Array< ListObj * > & | getList () const |
| const char * | getStr () const |
| void | setStrIfStr (const char *str) |
| bool | isStr () const |
| bool | isList () const |
| void | append (ListObj *const &p) |
| void | append (const char *const &s) |
| ListObj * | removeLast () |
| int | size () const |
| ListObj * | operator[] (const int &index) const |
| void | replaceAsterisk (const Array< bool > &bArr, int &idx) |
| void | cleanUpVars () |
| void | removeRedundantPredicates () |
| void | removeRedundantClauses () |
| void | replace (const char *const &oldop, const char *const &newop) |
| bool | hasOrOp () |
| bool | hasAndOp () |
Static Public Member Functions | |
| static ListObj * | toCNF (const ListObj *const &p, const ListObj *const &vars, const Domain *const &domain, const VarTypeMap *const &vtMap, bool &hasExist) |
| static void | replace (const ListObj *const &p, const char *const &varName, const char *const &constName, const Domain *const &domain) |
Definition at line 88 of file listobj.h.
1.5.1