From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Tue, 28 Apr 2020 07:12:48 +0000 (-0700)
Subject: adding more info to element encoding print function
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=b4425a6a8a81674613ac9b4154e078f0b19a4e8e;p=satune.git

adding more info to element encoding print function
---

diff --git a/src/Encoders/elementencoding.cc b/src/Encoders/elementencoding.cc
index 02d4898..902a0f3 100644
--- a/src/Encoders/elementencoding.cc
+++ b/src/Encoders/elementencoding.cc
@@ -71,4 +71,6 @@ void ElementEncoding::print() {
 				model_print("_");
 		}
 	}
+	model_print("numVars= %u ", numEncodingVars());
+	model_print("encArraySize= %u", encArraySize);
 }