fix tabbing
[satune.git] / src / ASTTransform / varorderingopt.h
1 /*
2  * To change this license header, choose License Headers in Project Properties.
3  * To change this template file, choose Tools | Templates
4  * and open the template in the editor.
5  */
6
7 /*
8  * File:   VarOrderingOpt.h
9  * Author: hamed
10  *
11  * Created on October 11, 2018, 5:31 PM
12  */
13
14 #ifndef VARORDERINGOPT_H
15 #define VARORDERINGOPT_H
16
17 #include "transform.h"
18
19
20 class VarOrderingOpt : Transform {
21 public:
22         VarOrderingOpt(CSolver *_solver, SATEncoder *_satencoder);
23         void doTransform();
24         virtual ~VarOrderingOpt();
25 private:
26         SATEncoder *satencoder;
27 };
28
29 #endif/* VARORDERINGOPT_H */
30