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 bool resolveOrder(uint64_t first, uint64_t second);
20 bool resolvePartialOrder(OrderNode* first, OrderNode* second);
21 virtual ~DecomposeOrderResolver();
24 Vector<Order *> orders;
27 #endif/* DECOMPOSEORDERRESOLVER_H */