7 #include "orderencoding.h"
13 Order(OrderType type, Set *set);
18 OrderEncoding encoding;
19 Order *clone(CSolver *solver, CloneMap *map);
20 void serialize(Serializer *serializer );
22 void setOrderResolver(OrderResolver *_resolver) { ASSERT(encoding.resolver == NULL); encoding.resolver = _resolver;}
23 void initializeOrderElementsHashtable();
24 void addOrderConstraint(BooleanOrder *constraint);
25 void setOrderEncodingType(OrderEncodingType type);
26 HashtableOrderPair *getOrderPairTable();
29 Hashset64Int useditems;
30 Vector<BooleanOrder *> constraints;
32 Vector<BooleanOrder *> *getConstraints() {return &constraints;}
33 uint getNumUsed() {return constraints.getSize();}
34 SetIterator64Int *getUsedIterator() {return useditems.iterator();}