Adding support for Integer Encoding ...

[satune.git] / src / AST / order.h

diff --git a/src/AST/order.h b/src/AST/order.h
index c5a03a84f455b31e923867e23e1f8c4b70631cc5..a4a7621d96bb794a6e5a90f035ce2b674fe0a6d5 100644 (file)
--- a/src/AST/order.h
+++ b/src/AST/order.h
@@ -11,6 +11,7 @@ struct Order {
        OrderType type;
        Set *set;
        HashTableOrderPair *orderPairTable;
+       HashSetOrderElement* elementTable;
        OrderGraph *graph;
        VectorBooleanOrder constraints;
        OrderEncoding order;
@@ -18,6 +19,7 @@ struct Order {
 
 Order *allocOrder(OrderType type, Set *set);
 void initializeOrderHashTable(Order *This);
+void initializeOrderElementsHashTable(Order *This);
 void addOrderConstraint(Order *This, BooleanOrder *constraint);
 void setOrderEncodingType(Order *This, OrderEncodingType type);
 void deleteOrder(Order *This);