#include "boolean.h"
#include "orderpair.h"
-class Order{
+class Order {
public:
Order(OrderType type, Set *set);
virtual ~Order();
void initializeOrderElementsHashtable();
void addOrderConstraint(BooleanOrder *constraint);
void setOrderEncodingType(OrderEncodingType type);
- HashtableOrderPair* getOrderPairTable();
+ HashtableOrderPair *getOrderPairTable();
CMEMALLOC;
};