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.
8 * File: VarOrderingOpt.h
11 * Created on October 11, 2018, 5:31 PM
14 #ifndef VARORDERINGOPT_H
15 #define VARORDERINGOPT_H
17 #include "transform.h"
20 class VarOrderingOpt : Transform {
22 VarOrderingOpt(CSolver *_solver, SATEncoder *_satencoder);
24 virtual ~VarOrderingOpt();
26 SATEncoder *satencoder;
29 #endif/* VARORDERINGOPT_H */