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