1 #include "elementopt.h"
6 ElementOpt::ElementOpt(CSolver *_solver)
11 ElementOpt::~ElementOpt() {
14 void ElementOpt::doTransform() {
15 if (solver->getTuner()->getTunable(ELEMENTOPT, &onoff) == 0)
18 BooleanIterator bit(solver);
19 while (bit.hasNext()) {
20 Boolean *b = bit.next();