projects
/
satune.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
2f98385
)
add element optimization pass
author
bdemsky
<bdemsky@uci.edu>
Tue, 24 Jul 2018 20:42:06 +0000
(13:42 -0700)
committer
bdemsky
<bdemsky@uci.edu>
Tue, 24 Jul 2018 20:42:06 +0000
(13:42 -0700)
src/csolver.cc
patch
|
blob
|
history
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();