3 * File: integerencorderresolver.cpp
6 * Created on September 1, 2017, 4:58 PM
9 #include "integerencorderresolver.h"
10 #include "integerencodingrecord.h"
11 #include "sattranslator.h"
13 IntegerEncOrderResolver::IntegerEncOrderResolver(CSolver *_solver, IntegerEncodingRecord *_ierecord) :
19 IntegerEncOrderResolver::~IntegerEncOrderResolver() {
24 bool IntegerEncOrderResolver::resolveOrder(uint64_t first, uint64_t second) {
25 Element *elem1 = ierecord->getOrderIntegerElement(solver, first, false);
26 ASSERT (elem1 != NULL);
27 Element *elem2 = ierecord->getOrderIntegerElement(solver, second, false);
28 ASSERT (elem2 != NULL);
30 uint64_t val1 = getElementValueSATTranslator(solver, elem1);
31 uint64_t val2 = getElementValueSATTranslator(solver, elem2);