- IntegerEncodingRecord *encodingRecord = NULL;
- if (!orderIntEncoding->contains(currOrder)) {
- encodingRecord = new IntegerEncodingRecord(
- solver->createRangeSet(currOrder->set->getType(), 0, (uint64_t) currOrder->set->getSize() - 1));
- orderIntEncoding->put(currOrder, encodingRecord);
- } else {
- encodingRecord = orderIntEncoding->get(currOrder);
- }
- uint size = currOrder->constraints.getSize();
+ IntegerEncodingRecord *encodingRecord = new IntegerEncodingRecord(
+ solver->createRangeSet(currOrder->set->getType(), 0, (uint64_t) currOrder->getNumUsed() - 1));
+ currOrder->setOrderEncodingType( INTEGERENCODING );
+
+ Vector<BooleanOrder *> *constraints = currOrder->getConstraints();
+ uint size = constraints->getSize();