Bug fix: typos

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

diff --git a/src/ASTTransform/transform.h b/src/ASTTransform/transform.h
index 44b431aa8b932c95ba54a71810ec3baba42fb2be..976c2c87dc822293953d5f0b162536c2116423ec 100644 (file)
--- a/src/ASTTransform/transform.h
+++ b/src/ASTTransform/transform.h
@@ -1,4 +1,4 @@
-/* 
+/*
  * File:   transform.h
  * Author: hamed
  *
@@ -14,13 +14,14 @@
 
 class Transform {
 public:
-       Transform();
-       ~Transform();
-       void orderIntegerEncodingSATEncoder(CSolver *This, BooleanOrder *boolOrder);
-       MEMALLOC;
-private:
-       HashTableOrderIntegerEncoding* orderIntegerEncoding;
+       Transform(CSolver *_solver);
+       virtual ~Transform();
+       virtual void doTransform() = 0;
+       CMEMALLOC;
+protected:
+       // Need solver for translating back the result ...
+       CSolver *solver;
 };
 
-#endif /* TRANSFORM_H */
+#endif/* TRANSFORM_H */