src/AST/order.h

   1 #ifndef ORDER_H
   2 #define ORDER_H
   3 #include "classlist.h"
   4 #include "mymemory.h"
   5 #include "structs.h"
   6 #include "ops.h"
   7 #include "orderencoding.h"
   8
   9 struct Order {
  10         OrderType type;
  11         Set * set;
  12         VectorBoolean constraints;
  13         OrderEncoding order;
  14 };
  15
  16 Order* allocOrder(OrderType type, Set * set);
  17 void deleteOrder(Order* order);
  18 #endif