virtual ~Predicate() {}
virtual Predicate *clone(CSolver *solver, CloneMap *map) {ASSERT(0); return NULL;}
PredicateType type;
- MEMALLOC;
+ CMEMALLOC;
};
class PredicateOperator : public Predicate {
Predicate *clone(CSolver *solver, CloneMap *map);
CompOp op;
Array<Set *> domains;
- MEMALLOC;
+ CMEMALLOC;
};
class PredicateTable : public Predicate {
Predicate *clone(CSolver *solver, CloneMap *map);
Table *table;
UndefinedBehavior undefinedbehavior;
- MEMALLOC;
+ CMEMALLOC;
};
#endif