c4632dafcc376abc1a78f379ce0f65c22935867b
[satune.git] / src / ASTAnalyses / orderedge.cc
1 #include "orderedge.h"
2 #include "ordergraph.h"
3
4 OrderEdge *allocOrderEdge(OrderNode *source, OrderNode *sink) {
5         OrderEdge *This = (OrderEdge *) ourmalloc(sizeof(OrderEdge));
6         This->source = source;
7         This->sink = sink;
8         This->polPos = false;
9         This->polNeg = false;
10         This->mustPos = false;
11         This->mustNeg = false;
12         This->pseudoPos = false;
13         return This;
14 }
15
16 void deleteOrderEdge(OrderEdge *This) {
17         ourfree(This);
18 }
19