add element optimization pass

[satune.git] / src / csolver.cc

diff --git a/src/csolver.cc b/src/csolver.cc
index aca527a3ec9769c4c6fefeb6242a6c4bf5c648f4..b42dbe0974224df3560d5f95b96aed1e5fce56f2 100644 (file)
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -25,6 +25,7 @@
 #include "ordergraph.h"
 #include "orderedge.h"
 #include "orderanalysis.h"
+#include "elementopt.h"
 #include <time.h>
 #include <stdarg.h>
 
@@ -605,6 +606,9 @@ int CSolver::solve() {
        IntegerEncodingTransform iet(this);
        iet.doTransform();
 
+       ElementOpt eop(this);
+       eop.doTransform();
+       
        EncodingGraph eg(this);
        eg.buildGraph();
        eg.encode();