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 HappenedBefore resolveOrder(uint64_t first, uint64_t second);
17 virtual ~IntegerEncOrderResolver();
20 IntegerEncodingRecord* ierecord;
23 #endif /* INTEGERENCORDERRESOLVER_H */