3 * File: integerencorderresolver.h
6 * Created on September 1, 2017, 4:58 PM
9 #ifndef INTEGERENCORDERRESOLVER_H
10 #define INTEGERENCORDERRESOLVER_H
11 #include "orderresolver.h"
13 class IntegerEncOrderResolver : public OrderResolver {
15 IntegerEncOrderResolver(CSolver *_solver, IntegerEncodingRecord *_ierecord);
16 bool resolveOrder(uint64_t first, uint64_t second);
17 virtual ~IntegerEncOrderResolver();
20 IntegerEncodingRecord *ierecord;
23 #endif/* INTEGERENCORDERRESOLVER_H */