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

[satune.git] / src / Encoders / naiveencoder.c

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
+}