add new class

diff --git a/src/ASTTransform/elementopt.cc b/src/ASTTransform/elementopt.cc
new file mode 100755 (executable)
index 0000000..162661b
--- /dev/null
+++ b/src/ASTTransform/elementopt.cc
@@ -0,0 +1,22 @@
+#include "elementopt.h"
+#include "csolver.h"
+#include "tunable.h"
+#include "iterator.h"
+
+ElementOpt::ElementOpt(CSolver *_solver)
+       : Transform(_solver)
+{
+}
+
+ElementOpt::~ElementOpt() {
+}
+
+void ElementOpt::doTransform() {
+       if (solver->getTuner()->getTunable(ELEMENTOPT, &onoff) == 0)
+               return;
+
+       BooleanIterator bit(solver);
+       while (bit.hasNext()) {
+               Boolean *b = bit.next();
+       }
+}

diff --git a/src/ASTTransform/elementopt.h b/src/ASTTransform/elementopt.h
new file mode 100755 (executable)
index 0000000..0c4acd2
--- /dev/null
+++ b/src/ASTTransform/elementopt.h
@@ -0,0 +1,16 @@
+#ifndef ELEMENTOPT_H
+#define ELEMENTOPT_H
+#include "classlist.h"
+#include "transform.h"
+
+class ElementOpt : public Transform {
+public:
+       ElementOpt(CSolver *_solver);
+       ~ElementOpt();
+       void doTransform();
+
+       CMEMALLOC;
+private:
+};
+
+#endif

diff --git a/src/Backend/constraint.cc b/src/Backend/constraint.cc
index 34ddb0adc433597b94c3e520e080d805fb0bc50a..37a3db48c771e4d72a3d7f23d6662147b1fd4db9 100644 (file)
--- a/src/Backend/constraint.cc
+++ b/src/Backend/constraint.cc
@@ -784,6 +784,10 @@ Edge generateLTValueConstraint(CNF *cnf, uint numvars, Edge *vars, uint value) {
        }
 }
 
+void generateAddConstraint(CNF *cnf, uint nSum, Edge *sum, uint nVar1, Edge *var1, uint nVar2, Edge *var2) {
+  //TO WRITE....
+}
+
 Edge generateEquivNVConstraint(CNF *cnf, uint numvars, Edge *var1, Edge *var2) {
        if (numvars == 0)
                return E_True;

diff --git a/src/Tuner/tunable.h b/src/Tuner/tunable.h
index fcc97be9e8295b63401073138c5dcd993e7afb26..d88f2c7c36fcdaf762cbe9d8189ae2d96dd32133 100644 (file)
--- a/src/Tuner/tunable.h
+++ b/src/Tuner/tunable.h
@@ -39,7 +39,7 @@ public:
 static TunableDesc onoff(0, 1, 1);
 static TunableDesc offon(0, 1, 0);
 
-enum Tunables {DECOMPOSEORDER, MUSTREACHGLOBAL, MUSTREACHLOCAL, MUSTREACHPRUNE, OPTIMIZEORDERSTRUCTURE, ORDERINTEGERENCODING, PREPROCESS, NODEENCODING, EDGEENCODING, MUSTEDGEPRUNE};
+enum Tunables {DECOMPOSEORDER, MUSTREACHGLOBAL, MUSTREACHLOCAL, MUSTREACHPRUNE, OPTIMIZEORDERSTRUCTURE, ORDERINTEGERENCODING, PREPROCESS, NODEENCODING, EDGEENCODING, MUSTEDGEPRUNE, ELEMENTOPT};
 typedef enum Tunables Tunables;
 
 const char* tunableParameterToString(Tunables tunable);