7 #include "orderencoding.h"
10 #include "serializable.h"
12 class Order : public Serializable {
14 Order(OrderType type, Set *set);
19 Order *clone(CSolver *solver, CloneMap *map);
20 void serialize(Serializer *serializer );
21 Vector<BooleanOrder *> constraints;
22 OrderEncoding encoding;
23 void setOrderResolver(OrderResolver *_resolver) { ASSERT(encoding.resolver == NULL); encoding.resolver = _resolver;};
24 void initializeOrderElementsHashtable();
25 void addOrderConstraint(BooleanOrder *constraint);
26 void setOrderEncodingType(OrderEncodingType type);
27 HashtableOrderPair* getOrderPairTable();