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         bool resolveOrder(uint64_t first, uint64_t second);
  20         bool resolvePartialOrder(OrderNode *first, OrderNode *second);
  21         virtual ~DecomposeOrderResolver();
  22 private:
  23         OrderGraph *graph;
  24         Vector<Order *> orders;
  25 };
  26
  27 #endif/* DECOMPOSEORDERRESOLVER_H */
  28