src/Translator/orderpairresolver.h

   1
   2 /*
   3  * File:   orderpairresolver.h
   4  * Author: hamed
   5  *
   6  * Created on September 1, 2017, 3:36 PM
   7  */
   8
   9 #ifndef ORDERPAIRRESOLVER_H
  10 #define ORDERPAIRRESOLVER_H
  11
  12 #include "orderresolver.h"
  13
  14 class OrderPairResolver : public OrderResolver {
  15 public:
  16         OrderPairResolver(CSolver *_solver, Order *_order);
  17         HappenedBefore resolveOrder(uint64_t first, uint64_t second);
  18         virtual ~OrderPairResolver();
  19 private:
  20         CSolver *solver;
  21         Order *order;
  22         HappenedBefore resolveTotalOrder(uint64_t first, uint64_t second);
  23 };
  24
  25 #endif/* ORDERPAIRRESOLVER_H */
  26