checking the the variable isn't constant in generating proxy variables + making its...

[satune.git] / src / ASTTransform / integerencoding.h

diff --git a/src/ASTTransform/integerencoding.h b/src/ASTTransform/integerencoding.h
index f051a41d17c66ad698f37142ff4581d91782ed20..805ed0bf22b2704932160abe9f888048d3363c40 100644 (file)
--- a/src/ASTTransform/integerencoding.h
+++ b/src/ASTTransform/integerencoding.h
@@ -14,15 +14,12 @@
 class IntegerEncodingTransform : public Transform {
 public:
        IntegerEncodingTransform(CSolver *solver);
-       void orderIntegerEncodingSATEncoder(BooleanOrder *boolOrder);
+       void orderIntegerEncodingSATEncoder(BooleanOrder *boolOrder, IntegerEncodingRecord *ierec);
        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;
 };