From cd6edfb7f6d3b4ed52bca30427c7046438adc9c3 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Mon, 26 Jun 2017 21:39:14 -0700
Subject: [PATCH] Add comments to code of things Hamed should fix (in addition
to email)
---
src/Encoders/elementencoding.c | 2 +-
src/Encoders/naiveencoder.c | 11 +++++++++--
2 files changed, 10 insertions(+), 3 deletions(-)
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
+}
--
2.34.1