X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FASTTransform%2Ftransform.h;h=976c2c87dc822293953d5f0b162536c2116423ec;hb=ec6ec7fe30463171e06a2dde68a43103d469348e;hp=678c732f64f1b401f4535acfdd29cbfcedf2d2a2;hpb=4fb2e495226aac9979e026139f5b4a8eafa0eaba;p=satune.git

diff --git a/src/ASTTransform/transform.h b/src/ASTTransform/transform.h
index 678c732..976c2c8 100644
--- a/src/ASTTransform/transform.h
+++ b/src/ASTTransform/transform.h
@@ -1,4 +1,4 @@
-/* 
+/*
  * File:   transform.h
  * Author: hamed
  *
@@ -11,19 +11,17 @@
 #include "classlist.h"
 #include "mymemory.h"
 #include "structs.h"
-#include "pass.h"
 
-class Transform : public Pass{
+class Transform {
 public:
-	Transform(CSolver* _solver);
+	Transform(CSolver *_solver);
 	virtual ~Transform();
-	virtual bool canExecuteTransform() = 0;
 	virtual void doTransform() = 0;
 	CMEMALLOC;
- protected:
+protected:
 	// Need solver for translating back the result ...
-	CSolver* solver;
+	CSolver *solver;
 };
 
-#endif /* TRANSFORM_H */
+#endif/* TRANSFORM_H */