-void IntegerEncodingTransform::doTransform(){
- if (!orderIntegerEncoding->contains(order)) {
- orderIntegerEncoding->put(order, new IntegerEncodingRecord(
- solver->createRangeSet(order->set->getType(), 0, (uint64_t) order->set->getSize()-1)));
- }
- uint size = order->constraints.getSize();
- for(uint i=0; i<size; i++){
- orderIntegerEncodingSATEncoder(order->constraints.get(i));
+void IntegerEncodingTransform::integerEncode(Order *currOrder) {
+ IntegerEncodingRecord *encodingRecord = new IntegerEncodingRecord(
+ solver->createRangeSet(currOrder->set->getType(), 0, (uint64_t) currOrder->set->getSize() - 1));
+ currOrder->setOrderEncodingType( INTEGERENCODING );
+ uint size = currOrder->constraints.getSize();
+ for (uint i = 0; i < size; i++) {
+ orderIntegerEncodingSATEncoder(currOrder->constraints.get(i), encodingRecord);