Changeset 2019

Timestamp:

03/10/10 10:06:54 (5 months ago)

Author:

x.pechoultres@…

Message:

Choco : fix bad use of verbose, trace and printf

Files:

• trunk/modules/choco/source/search.cl (modified) (1 diff)

trunk/modules/choco/source/search.cl

@@ -437 +437 @@
 
 // printing the current state of domains when a solution has been reached
+// xp : use trace to prevent direct output 
 [showSolution(a:Solver)
  -> if (verbose() >= STALK)
       let S := (if (a.varsToShow) a.varsToShow
                 else a.problem.vars) in
-        for x in S printf("~S\n",x)]
-;        for x in S printf("~I\n",self_print(x))]
+        for x in S trace(STALK,"~S",x)]
 
 // ********************************************************************