Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...
[satune.git] / src / ASTTransform / transform.h
1 /* 
2  * File:   transform.h
3  * Author: hamed
4  *
5  * Created on August 26, 2017, 5:13 PM
6  */
7
8 #ifndef TRANSFORM_H
9 #define TRANSFORM_H
10
11 #include "classlist.h"
12 #include "mymemory.h"
13 #include "structs.h"
14 #include "pass.h"
15
16 class Transform : public Pass{
17 public:
18         Transform(CSolver* _solver);
19         virtual ~Transform();
20         virtual bool canExecuteTransform() = 0;
21         virtual void doTransform() = 0;
22         CMEMALLOC;
23  protected:
24         // Need solver for translating back the result ...
25         CSolver* solver;
26 };
27
28 #endif /* TRANSFORM_H */
29