src/order.c

   1 #include "order.h"
   2 #include "structs.h"
   3 #include "set.h"
   4
   5
   6 Order* allocOrder(enum OrderType type, Set * set){
   7     Order* order = (Order*)ourmalloc(sizeof(Order));
   8     order->set=set;
   9     order->constraints = allocDefVectorBoolean();
  10     order->type=type;
  11     return order;
  12 }
  13
  14 Boolean* getOrderConstraint(Order* order, uint64_t first, uint64_t second){
  15     uint size = getSizeVectorInt(order->set->members);
  16     //First we need to make sure that first and second are part of the list!
  17     bool exist1=false, exist2=false;
  18     for(int i=0; i<size; i++){
  19         if(getVectorInt(order->set->members, i)==first){
  20             exist1=true;
  21         }else if(getVectorInt(order->set->members, i) == second){
  22             exist2=true;
  23         }else if(exist1 && exist2){
  24             break;
  25         }
  26     }
  27     ASSERT(exist1 && exist2);
  28
  29 }