Add comments to code of things Hamed should fix (in addition to email)

diff --git a/src/Encoders/elementencoding.c b/src/Encoders/elementencoding.c
index 02a9f7f100731a0144d4e32b252fb612f3afc00a..fc76a4ad14d69c6d7dae6cb42b687d2b4f505eb0 100644 (file)
--- a/src/Encoders/elementencoding.c
+++ b/src/Encoders/elementencoding.c
@@ -55,4 +55,4 @@ void generateElementEncodingVariables(NaiveEncoder* encoder, ElementEncoding* Th
                default:
                        ASSERT(0);
        }
-}
\ No newline at end of file
+}

diff --git a/src/Encoders/naiveencoder.c b/src/Encoders/naiveencoder.c
index 974772e92f0b8efd468b100def5bbd6181a48664..1d4455d96216209e6e9c4ca7ef3145fcc5b59a95 100644 (file)
--- a/src/Encoders/naiveencoder.c
+++ b/src/Encoders/naiveencoder.c
@@ -10,7 +10,8 @@
 #include "boolean.h"
 #include "table.h"
 #include "tableentry.h"
-#include "constraint.h"
+//THIS FILE SHOULD HAVE NOTHING TO DO WITH CONSTRAINTS...
+//#include "constraint.h"
 #include <strings.h>
 
 NaiveEncoder* allocNaiveEncoder(){
@@ -53,11 +54,16 @@ void naiveEncodingDecision(CSolver* csolver, NaiveEncoder* encoder){
 }
 
 
+// THIS SHOULD NOT BE HERE
+/*
 void getArrayNewVars(NaiveEncoder* encoder, uint num, Constraint **carray) {
        for(uint i=0;i<num;i++)
                carray[i]=getNewVar(encoder);
 }
+*/
 
+// THIS SHOULD NOT BE HERE
+/*
 Constraint * getNewVar(NaiveEncoder* encoder) {
        Constraint* var = allocVarConstraint(VAR, encoder->varindex);
        Constraint* notVar = allocVarConstraint(NOTVAR, encoder->varindex);
@@ -67,6 +73,7 @@ Constraint * getNewVar(NaiveEncoder* encoder) {
        encoder->varindex++;
        return var;
 }
+*/
 
 void baseBinaryIndexElementAssign(ElementEncoding *This) {
        Element * element=This->element;
@@ -183,4 +190,4 @@ void naiveEncodeCircuitFunction(NaiveEncoder* encoder, FunctionEncoding* This){
 
 void deleteNaiveEncoder(NaiveEncoder* encoder){
        deleteVectorArrayConstraint(&encoder->vars);
-}
\ No newline at end of file
+}