162661b1d69c662470f2e28ae22627f3618dce2e
[satune.git] / src / ASTTransform / elementopt.cc
1 #include "elementopt.h"
2 #include "csolver.h"
3 #include "tunable.h"
4 #include "iterator.h"
5
6 ElementOpt::ElementOpt(CSolver *_solver)
7         : Transform(_solver)
8 {
9 }
10
11 ElementOpt::~ElementOpt() {
12 }
13
14 void ElementOpt::doTransform() {
15         if (solver->getTuner()->getTunable(ELEMENTOPT, &onoff) == 0)
16                 return;
17
18         BooleanIterator bit(solver);
19         while (bit.hasNext()) {
20                 Boolean *b = bit.next();
21         }
22 }