5 * Created on August 7, 2017, 3:42 PM
10 #include "classlist.h"
15 HashSetOrderNode *nodes;
16 HashSetOrderEdge *edges;
20 OrderGraph *allocOrderGraph(Order *order);
21 void addOrderConstraintToOrderGraph(OrderGraph *graph, BooleanOrder *bOrder);
22 OrderNode *getOrderNodeFromOrderGraph(OrderGraph *graph, uint64_t id);
23 OrderEdge *getOrderEdgeFromOrderGraph(OrderGraph *graph, OrderNode *begin, OrderNode *end);
24 void addOrderEdge(OrderGraph *graph, OrderNode *node1, OrderNode *node2, BooleanOrder *constr);
25 void deleteOrderGraph(OrderGraph *graph);
26 OrderEdge *getInverseOrderEdge(OrderGraph *graph, OrderEdge *edge);
27 #endif/* ORDERGRAPH_H */