Bug Fixes + add more tracing prints + turning off some optimizations

[satune.git] / src / AST / boolean.cc

diff --git a/src/AST/boolean.cc b/src/AST/boolean.cc
index 0f699f7cf5245db063e9140debcb1ba8b37792e1..9196d07765b84e8db76f6b9582867287adf1f03d 100644 (file)
--- a/src/AST/boolean.cc
+++ b/src/AST/boolean.cc
@@ -110,7 +110,11 @@ void BooleanVar::serialize(Serializer* serializer){
 }
 
 void BooleanVar::print(){
-        model_println("BooleanVar");
+        model_println("BooleanVar:%lu", (uintptr_t)this);
+}
+
+void BooleanConst::print(){
+        model_println("BooleanConst:%s", istrue?"TRUE" :"FALSE");
 }
 
 void BooleanOrder::serialize(Serializer* serializer){
@@ -198,6 +202,8 @@ void BooleanLogic::print(){
         uint size = inputs.getSize();
        for(uint i=0; i<size; i++){
                BooleanEdge input = inputs.get(i);
+                if(input.isNegated())
+                        model_print("!");
                 input.getBoolean()->print();
        }
         model_println("}\n");