class IntegerEncodingTransform : public Transform {
public:
IntegerEncodingTransform(CSolver *solver);
- void orderIntegerEncodingSATEncoder(BooleanOrder *boolOrder);
+ void orderIntegerEncodingSATEncoder(Order * currOrder, BooleanOrder *boolOrder);
void doTransform();
void integerEncode(Order *currOrder);
virtual ~IntegerEncodingTransform();
private:
- Order *currOrder;
//FIXME:We can remove it, because we don't need it for translating anymore... -HG
HashTableOrderIntEncoding *orderIntEncoding;
};