src/Translator/integerencorderresolver.h

   1
   2 /*
   3  * File:   integerencorderresolver.h
   4  * Author: hamed
   5  *
   6  * Created on September 1, 2017, 4:58 PM
   7  */
   8
   9 #ifndef INTEGERENCORDERRESOLVER_H
  10 #define INTEGERENCORDERRESOLVER_H
  11 #include "orderresolver.h"
  12
  13 class IntegerEncOrderResolver : public OrderResolver {
  14 public:
  15         IntegerEncOrderResolver(CSolver *_solver, IntegerEncodingRecord *_ierecord);
  16         bool resolveOrder(uint64_t first, uint64_t second);
  17         virtual ~IntegerEncOrderResolver();
  18 private:
  19         CSolver *solver;
  20         IntegerEncodingRecord *ierecord;
  21 };
  22
  23 #endif/* INTEGERENCORDERRESOLVER_H */
  24