Boolean Variable Ordering optimizations

[satune.git] / src / ASTTransform / varorderingopt.h

diff --git a/src/ASTTransform/varorderingopt.h b/src/ASTTransform/varorderingopt.h
new file mode 100644 (file)
index 0000000..efb0152
--- /dev/null
+++ b/src/ASTTransform/varorderingopt.h
@@ -0,0 +1,30 @@
+/*
+ * To change this license header, choose License Headers in Project Properties.
+ * To change this template file, choose Tools | Templates
+ * and open the template in the editor.
+ */
+
+/* 
+ * File:   VarOrderingOpt.h
+ * Author: hamed
+ *
+ * Created on October 11, 2018, 5:31 PM
+ */
+
+#ifndef VARORDERINGOPT_H
+#define VARORDERINGOPT_H
+
+#include "transform.h"
+
+
+class VarOrderingOpt :Transform {
+public:
+        VarOrderingOpt(CSolver *_solver, SATEncoder *_satencoder);
+        void doTransform();
+        virtual ~VarOrderingOpt();
+private:
+        SATEncoder* satencoder;
+};
+
+#endif /* VARORDERINGOPT_H */
+