add element optimization pass
authorbdemsky <bdemsky@uci.edu>
Tue, 24 Jul 2018 20:42:06 +0000 (13:42 -0700)
committerbdemsky <bdemsky@uci.edu>
Tue, 24 Jul 2018 20:42:06 +0000 (13:42 -0700)
src/csolver.cc

index aca527a..b42dbe0 100644 (file)
@@ -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();