Bug fix: typos
[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
15 class Transform {
16 public:
17         Transform(CSolver *_solver);
18         virtual ~Transform();
19         virtual void doTransform() = 0;
20         CMEMALLOC;
21 protected:
22         // Need solver for translating back the result ...
23         CSolver *solver;
24 };
25
26 #endif/* TRANSFORM_H */
27