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