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 */