IntegerEncodingRecord *encodingRecord = new IntegerEncodingRecord(
solver->createRangeSet(currOrder->set->getType(), 0, (uint64_t) currOrder->set->getSize() - 1));
currOrder->setOrderEncodingType( INTEGERENCODING );
IntegerEncodingRecord *encodingRecord = new IntegerEncodingRecord(
solver->createRangeSet(currOrder->set->getType(), 0, (uint64_t) currOrder->set->getSize() - 1));
currOrder->setOrderEncodingType( INTEGERENCODING );
}
currOrder->setOrderResolver(new IntegerEncOrderResolver(solver, encodingRecord));
solver->getActiveOrders()->remove(currOrder);
}
currOrder->setOrderResolver(new IntegerEncOrderResolver(solver, encodingRecord));
solver->getActiveOrders()->remove(currOrder);