3 * File: DecomposeOrderResolver.h
6 * Created on September 1, 2017, 10:36 AM
9 #ifndef DECOMPOSEORDERRESOLVER_H
10 #define DECOMPOSEORDERRESOLVER_H
11 #include "classlist.h"
14 #include "orderresolver.h"
16 class DecomposeOrderResolver : public OrderResolver{
18 DecomposeOrderResolver(OrderGraph* graph, Vector<Order *> & orders);
19 HappenedBefore resolveOrder(uint64_t first, uint64_t second);
20 virtual ~DecomposeOrderResolver();
23 Vector<Order*> orders;
26 #endif /* DECOMPOSEORDERRESOLVER_H */