src/AST/order.c

   1 #include "order.h"
   2 #include "structs.h"
   3 #include "set.h"
   4 #include "boolean.h"
   5
   6
   7 Order* allocOrder(OrderType type, Set * set){
   8         Order* order = (Order*)ourmalloc(sizeof(Order));
   9         order->set=set;
  10         allocInlineDefVectorBoolean(& order->constraints);
  11         order->type=type;
  12         allocOrderEncoding(& order->order, order);
  13         return order;
  14 }
  15
  16 void deleteOrder(Order* order){
  17         deleteVectorArrayBoolean(& order->constraints);
  18         deleteOrderEncoding(& order->order);
  19         ourfree(order);
  20 }