+ Order *clone(CSolver *solver, CloneMap *map);
+ void serialize(Serializer *serializer );
+ void print();
+ Vector<BooleanOrder *> constraints;
+ OrderEncoding encoding;
+ void setOrderResolver(OrderResolver *_resolver) { ASSERT(encoding.resolver == NULL); encoding.resolver = _resolver;};
+ void initializeOrderElementsHashtable();
+ void addOrderConstraint(BooleanOrder *constraint);
+ void setOrderEncodingType(OrderEncodingType type);
+ HashtableOrderPair *getOrderPairTable();
+ CMEMALLOC;