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         bool resolveOrder(uint64_t first, uint64_t second);
  18         HashtableOrderPair *getOrderPairTable() { return orderPairTable;}
  19         virtual ~OrderPairResolver();
  20 private:
  21         CSolver *solver;
  22         Order *order;
  23         HashtableOrderPair *orderPairTable;
  24
  25         bool getOrderConstraintValue(uint64_t first, uint64_t second);
  26 };
  27
  28 #endif/* ORDERPAIRRESOLVER_H */
  29