X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FASTTransform%2Ftransform.h;h=976c2c87dc822293953d5f0b162536c2116423ec;hb=0e5417fbd39f7374040c12b4d0427e79eee6875d;hp=44b431aa8b932c95ba54a71810ec3baba42fb2be;hpb=efba7cfdb7c83f193689663a79873df81effabe4;p=satune.git

diff --git a/src/ASTTransform/transform.h b/src/ASTTransform/transform.h
index 44b431a..976c2c8 100644
--- 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 */