Fixing the memory bug

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

diff --git a/src/ASTTransform/integerencoding.h b/src/ASTTransform/integerencoding.h
index 3bfb2895c1eb4f09270ca1e7b39aa0eb6e57065a..805ed0bf22b2704932160abe9f888048d3363c40 100644 (file)
--- a/src/ASTTransform/integerencoding.h
+++ b/src/ASTTransform/integerencoding.h
@@ -1,4 +1,4 @@
-/* 
+/*
  * File:   integerencoding.h
  * Author: hamed
  *
@@ -11,20 +11,17 @@
 #include "transform.h"
 #include "order.h"
 
-class IntegerEncodingTransform : public Transform{
+class IntegerEncodingTransform : public Transform {
 public:
-       IntegerEncodingTransform(CSolver* solver);
-       void orderIntegerEncodingSATEncoder(BooleanOrder *boolOrder);
-       void setCurrentOrder(Order* _curr) {currOrder = _curr;}
+       IntegerEncodingTransform(CSolver *solver);
+       void orderIntegerEncodingSATEncoder(BooleanOrder *boolOrder, IntegerEncodingRecord *ierec);
        void doTransform();
-       bool canExecuteTransform();
+       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;
 };
 
 
-#endif /* INTEGERENCODING_H */
+#endif/* INTEGERENCODING_H */