3 * File: orderresolver.h
6 * Created on August 31, 2017, 7:16 PM
9 #ifndef ORDERRESOLVER_H
10 #define ORDERRESOLVER_H
11 #include "classlist.h"
17 OrderResolver(OrderGraph* _graph);
18 HappenedBefore resolveOrder(uint64_t first, uint64_t second);
19 virtual ~OrderResolver();
23 virtual HappenedBefore getOrder(OrderNode* from, OrderNode* to) = 0;
26 #endif /* ORDERRESOLVER_H */