Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...
[satune.git] / src / Translator / orderresolver.h
1
2 /* 
3  * File:   orderresolver.h
4  * Author: hamed
5  *
6  * Created on August 31, 2017, 7:16 PM
7  */
8
9 #ifndef ORDERRESOLVER_H
10 #define ORDERRESOLVER_H
11 #include "classlist.h"
12 #include "structs.h"
13 #include "mymemory.h"
14
15 class OrderResolver {
16 public:
17         OrderResolver(OrderGraph* _graph);
18         HappenedBefore resolveOrder(uint64_t first, uint64_t second);
19         virtual ~OrderResolver();
20         CMEMALLOC;
21 protected:
22         OrderGraph* graph;
23         virtual HappenedBefore getOrder(OrderNode* from, OrderNode* to) = 0;
24 };
25
26 #endif /* ORDERRESOLVER_H */
27