OrderType type;
Set *set;
HashTableOrderPair *orderPairTable;
- HashSetOrderElement *elementTable;
OrderGraph *graph;
Order *clone(CSolver *solver, CloneMap *map);
Vector<BooleanOrder *> constraints;
void initializeOrderElementsHashTable();
void addOrderConstraint(BooleanOrder *constraint);
void setOrderEncodingType(OrderEncodingType type);
- MEMALLOC;
+ CMEMALLOC;
};
#endif