Bug fix for printing ...
authorHamed Gorjiara <hgorjiar@uci.edu>
Thu, 2 Aug 2018 19:59:52 +0000 (12:59 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Thu, 2 Aug 2018 19:59:52 +0000 (12:59 -0700)
src/Collections/corestructs.cc
src/csolver.cc

index ba9bf91..8d8c86d 100644 (file)
@@ -5,6 +5,6 @@
 void BooleanEdge::print(){
        if (isNegated())
                model_print("!");
-       b->print();
+       getBoolean()->print();
        model_print("\n");
 }
\ No newline at end of file
index 9dff557..3eabf2e 100644 (file)
@@ -650,10 +650,7 @@ void CSolver::printConstraints() {
 }
 
 void CSolver::printConstraint(BooleanEdge b) {
-       if (b.isNegated())
-               model_print("!");
-       b->print();
-       model_print("\n");
+       b.print();
 }
 
 uint64_t CSolver::getElementValue(Element *element) {