X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FBackend%2Fsatelemencoder.cc;h=aa739242d002acb28330e6112a6f702ec7548b41;hb=3a614d0deec343d2474efaabaa7220e7bcbed0d0;hp=3f26b5c3a31700b4b3e36c24d38e8055b86c037b;hpb=081e954fa3566ad9a2522ca45bef8e29472d2a72;p=satune.git

diff --git a/src/Backend/satelemencoder.cc b/src/Backend/satelemencoder.cc
index 3f26b5c..aa73924 100644
--- a/src/Backend/satelemencoder.cc
+++ b/src/Backend/satelemencoder.cc
@@ -220,6 +220,15 @@ void SATEncoder::generateBinaryValueEncodingVars(ElementEncoding *encoding) {
 		generateAnyValueBinaryValueEncoding(encoding);
 }
 
+void SATEncoder::freezeElementVariables(ElementEncoding *encoding){
+	ASSERT(encoding->element->frozen);
+	for(uint i=0; i< encoding->numVars; i++){
+		Edge e = encoding->variables[i];
+		ASSERT(edgeIsVarConst(e));
+		freezeVariable(cnf, e);
+	}
+}
+
 void SATEncoder::generateBinaryIndexEncodingVars(ElementEncoding *encoding) {
 	ASSERT(encoding->type == BINARYINDEX);
 	allocElementConstraintVariables(encoding, NUMBITS(encoding->encArraySize - 1));