7 #include "orderencoding.h"
13 Order(OrderType type, Set *set);
18 Order *clone(CSolver *solver, CloneMap *map);
19 Vector<BooleanOrder *> constraints;
20 OrderEncoding encoding;
21 void setOrderResolver(OrderResolver *_resolver) { ASSERT(encoding.resolver == NULL); encoding.resolver = _resolver;};
22 void initializeOrderElementsHashtable();
23 void addOrderConstraint(BooleanOrder *constraint);
24 void setOrderEncodingType(OrderEncodingType type);
25 HashtableOrderPair* getOrderPairTable();