#include "orderpair.h"
class Order {
- public:
+public:
Order(OrderType type, Set *set);
~Order();
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