From: bdemsky <bdemsky@uci.edu>
Date: Tue, 24 Jul 2018 20:42:06 +0000 (-0700)
Subject: add element optimization pass
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=ccc6ed150f90cc74234b7b8eef2e44eb5363f7bc

add element optimization pass
---

diff --git a/src/csolver.cc b/src/csolver.cc
index aca527a..b42dbe0 100644
--- 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();