Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler

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

diff --git a/src/AST/order.h b/src/AST/order.h
index b164a11bb651b5903ecf38faedf63d848702304a..08bc2a776e2c82a454fa1c6c746ec8736aeb82a6 100644 (file)
--- a/src/AST/order.h
+++ b/src/AST/order.h
@@ -2,7 +2,14 @@
 #define ORDER_H
 #include "classlist.h"
 #include "mymemory.h"
-
+#include "structs.h"
+#include "ops.h"
 struct Order {
+    enum OrderType type;
+    Set * set;
+    VectorBoolean* constraints;
 };
+
+Order* allocOrder(enum OrderType type, Set * set);
+Boolean* getOrderConstraint(Order* order,uint64_t first, uint64_t second);
 #endif