- IntegerEncodingTransform(CSolver* solver);
- void orderIntegerEncodingSATEncoder(BooleanOrder *boolOrder);
- void setCurrentOrder(Order* _curr) {currOrder = _curr;}
+ IntegerEncodingTransform(CSolver *solver);
+ void orderIntegerEncodingSATEncoder(BooleanOrder *boolOrder, IntegerEncodingRecord *ierec);