Edits
authorbdemsky <bdemsky@uci.edu>
Mon, 23 Oct 2017 22:16:21 +0000 (15:16 -0700)
committerbdemsky <bdemsky@uci.edu>
Mon, 23 Oct 2017 22:16:21 +0000 (15:16 -0700)
src/common.h
src/csolver.cc

index 3d3adba..c94d6bd 100644 (file)
@@ -29,9 +29,8 @@ extern int switch_alloc;
 #define model_print(fmt, ...) do { model_dprintf(model_out, fmt, ## __VA_ARGS__); } while (0)
 #define model_print_err(fmt, ...) do { model_dprintf(model_err, fmt, ## __VA_ARGS__); } while (0)
 #else
-    #define model_print printf
+#define model_print printf
 #endif
-#define model_println(fmt, ...) do { model_print(fmt, ## __VA_ARGS__); model_print("\n");} while(0)
 
 
 
index 71205f6..8af2c71 100644 (file)
@@ -412,12 +412,9 @@ BooleanEdge CSolver::orderConstraint(Order *order, uint64_t first, uint64_t seco
 }
 
 void CSolver::addConstraint(BooleanEdge constraint) {
-#ifdef TRACE_DEBUG
-        model_println("****New Constraint******");
-#endif
-        if(constraint.isNegated())
-                model_print("!");
-        constraint.getBoolean()->print();
+       if(constraint.isNegated())
+               model_print("!");
+       constraint.getBoolean()->print();
        if (isTrue(constraint))
                return;
        else if (isFalse(constraint)) {