Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...
[satune.git] / src / Translator / decomposeorderresolver.h
1
2 /* 
3  * File:   DecomposeOrderResolver.h
4  * Author: hamed
5  *
6  * Created on September 1, 2017, 10:36 AM
7  */
8
9 #ifndef DECOMPOSEORDERRESOLVER_H
10 #define DECOMPOSEORDERRESOLVER_H
11 #include "classlist.h"
12 #include "mymemory.h"
13 #include "structs.h"
14 #include "orderresolver.h"
15
16 class DecomposeOrderResolver : public OrderResolver{
17 public:
18         DecomposeOrderResolver(OrderGraph* graph, Vector<Order *> & orders);
19         virtual ~DecomposeOrderResolver();
20 private:
21         OrderGraph* graph;
22         Vector<Order*> orders;
23         
24         HappenedBefore getOrder(OrderNode* from, OrderNode* to);
25 };
26
27 #endif /* DECOMPOSEORDERRESOLVER_H */
28