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 #include "boolean.h"
   9
  10 struct Order {
  11         OrderType type;
  12         Set *set;
  13         HashTableOrderPair *orderPairTable;
  14         OrderGraph *graph;
  15         VectorBooleanOrder constraints;
  16         OrderEncoding order;
  17 };
  18
  19 Order *allocOrder(OrderType type, Set *set);
  20 void initializeOrderHashTable(Order *This);
  21 void addOrderConstraint(Order *This, BooleanOrder *constraint);
  22 void setOrderEncodingType(Order *This, OrderEncodingType type);
  23 void deleteOrder(Order *This);
  24 #endif