projects
/
satune.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
3aa1a63
)
Fix knob to only ask it we will actually use knob
author
bdemsky
<bdemsky@uci.edu>
Tue, 4 Dec 2018 22:06:04 +0000
(14:06 -0800)
committer
bdemsky
<bdemsky@uci.edu>
Tue, 4 Dec 2018 22:06:10 +0000
(14:06 -0800)
src/ASTTransform/elementopt.cc
patch
|
blob
|
history
diff --git
a/src/ASTTransform/elementopt.cc
b/src/ASTTransform/elementopt.cc
index b0866edc1d0985a64ad213262ef992132581e5e1..96ca8f65cb408c14400fae975dff4d65160b5de0 100644
(file)
--- a/
src/ASTTransform/elementopt.cc
+++ b/
src/ASTTransform/elementopt.cc
@@
-9,7
+9,7
@@
ElementOpt::ElementOpt(CSolver *_solver)
: Transform(_solver),
ElementOpt::ElementOpt(CSolver *_solver)
: Transform(_solver),
-
updateSets(solver->getTuner()->getTunable(ELEMENTOPTSETS, &onoff) == 1
)
+
updateSets(false
)
{
}
{
}
@@
-20,6
+20,9
@@
void ElementOpt::doTransform() {
if (solver->getTuner()->getTunable(ELEMENTOPT, &onoff) == 0)
return;
if (solver->getTuner()->getTunable(ELEMENTOPT, &onoff) == 0)
return;
+ //Set once we know we are going to use it.
+ updateSets = solver->getTuner()->getTunable(ELEMENTOPTSETS, &onoff) == 1;
+
SetIteratorBooleanEdge *iterator = solver->getConstraints();
while (iterator->hasNext()) {
BooleanEdge constraint = iterator->next();
SetIteratorBooleanEdge *iterator = solver->getConstraints();
while (iterator->hasNext()) {
BooleanEdge constraint = iterator->next();