Commit 0a6a10da authored by Daniel Le Berre's avatar Daniel Le Berre

Fix the display of all models.

It is now consistent with a single model display.
parent 69da6ed3
......@@ -140,7 +140,9 @@ final class DecisionMode implements ILauncherMode {
this.out.printf("c Found solution #%d (%.2f)s%n", nbSolutionFound,
(System.currentTimeMillis() - beginTime) / 1000.0);
if (System.getProperty("printallmodels") != null) {
this.out.println(SOLUTION_PREFIX + new VecInt(solution));
this.out.println(SOLUTION_PREFIX
+ new VecInt(solution).toString().replaceAll(",", " ")
+ " 0");
}
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment