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 struct Order {
   8         enum OrderType type;
   9         Set * set;
  10         VectorBoolean* constraints;
  11 };
  12
  13 Order* allocOrder(enum OrderType type, Set * set);
  14 Boolean* getOrderConstraint(Order* order,uint64_t first, uint64_t second);
  15 #endif