From 1f060a129e3ba7fd464d319a88b27966359a05e3 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Wed, 5 Oct 2016 15:59:41 +0200
Subject: [PATCH] add logger info
---
src/main/java/de/stups/probkodkod/Request.java | 17 ++++++++++++-----
1 file changed, 12 insertions(+), 5 deletions(-)
diff --git a/src/main/java/de/stups/probkodkod/Request.java b/src/main/java/de/stups/probkodkod/Request.java
index bea96d2..beb0012 100644
--- a/src/main/java/de/stups/probkodkod/Request.java
+++ b/src/main/java/de/stups/probkodkod/Request.java
@@ -162,14 +162,21 @@ public final class Request {
if (iterator.hasNext()) {
Solution solution = iterator.next();
instance = solution.instance();
+ if (logger.isLoggable(Level.FINE)) {
+ logger.fine("CNF translated in " + solution.stats().translationTime()
+ + " ms and solved in " + solution.stats().solvingTime() + "ms ("
+ + solution.stats().clauses() + " clauses, "
+ + solution.stats().variables() + " variables, "
+ + solution.stats().primaryVariables() + " primary variables)");
+ }
/* TO DO: maybe add a preference for this: */
/* the information is printed on the output stream and then
read by ProB in get_solutions_from_stream in kodkod_process.pl */
- System.out.println("stats(" + solution.stats().translationTime() +
- "," + solution.stats().solvingTime() +
- "," + solution.stats().clauses() +
- "," + solution.stats().variables() +
- "," + solution.stats().primaryVariables() + "). ");
+ System.out.println("stats(" + solution.stats().translationTime() +
+ "," + solution.stats().solvingTime() +
+ "," + solution.stats().clauses() +
+ "," + solution.stats().variables() +
+ "," + solution.stats().primaryVariables() + "). ");
} else {
instance = null;
}
--
GitLab