+ Set *set;
+ HashTableOrderPair *orderPairTable;
+ HashSetOrderElement *elementTable;
+ OrderGraph *graph;
+ Order * clone(CloneMap *map);
+ Vector<BooleanOrder *> constraints;
+ OrderEncoding order;
+ void initializeOrderHashTable();
+ void initializeOrderElementsHashTable();
+ void addOrderConstraint(BooleanOrder *constraint);
+ void setOrderEncodingType(OrderEncodingType type);
+ MEMALLOC;