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