Modify API to work for partial order as well + adding order test case
[satune.git] / src / Backend / orderpair.h
1 /* 
2  * File:   orderpair.h
3  * Author: hamed
4  *
5  * Created on July 1, 2017, 4:22 PM
6  */
7
8 #ifndef ORDERPAIR_H
9 #define ORDERPAIR_H
10
11 #include "classlist.h"
12 #include "mymemory.h"
13 #include "constraint.h"
14
15 struct OrderPair{
16         uint64_t first;
17         uint64_t second;
18         Edge constraint;
19 }; 
20
21 OrderPair* allocOrderPair(uint64_t first, uint64_t second, Edge constraint);
22 void deleteOrderPair(OrderPair* pair);
23
24 #endif /* ORDERPAIR_H */
25