Adding assertions, info logs, and validation functions for debugging purposes

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

diff --git a/src/Encoders/naiveencoder.cc b/src/Encoders/naiveencoder.cc
index e42f398a604c1a548ebe6af3476a2e2a6eaa0703..2fd6c30950291b38628ad15ef88d7431dee76522 100644 (file)
--- a/src/Encoders/naiveencoder.cc
+++ b/src/Encoders/naiveencoder.cc
@@ -65,6 +65,8 @@ void naiveEncodingPredicate(BooleanPredicate *This) {
 void naiveEncodingElement(Element *This) {
        ElementEncoding *encoding = This->getElementEncoding();
        if (encoding->getElementEncodingType() == ELEM_UNASSIGNED) {
+               if(This->type != ELEMCONST)
+                       model_print("INFO: naive encoder is making the decision about element %p....\n", This);
                encoding->setElementEncodingType(BINARYINDEX);
                encoding->encodingArrayInitialization();
        }