From: bdemsky <bdemsky@uci.edu>
Date: Tue, 27 Jun 2017 04:39:14 +0000 (-0700)
Subject: Add comments to code of things Hamed should fix (in addition to email)
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=cd6edfb7f6d3b4ed52bca30427c7046438adc9c3;p=satune.git

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 02a9f7f..fc76a4a 100644
--- 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 974772e..1d4455d 100644
--- 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
+}