From 5dcec7306f6c50c2209eed84f7f2eb6d6806251b Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Wed, 5 Oct 2016 12:04:58 +0200
Subject: [PATCH] =?UTF-8?q?we=20now=20return=20stats(=E2=80=A6)=20fact=20f?=
=?UTF-8?q?or=20Kodkod=20statistics?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
src/main/java/de/stups/probkodkod/Request.java | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/src/main/java/de/stups/probkodkod/Request.java b/src/main/java/de/stups/probkodkod/Request.java
index bf641ae..bea96d2 100644
--- a/src/main/java/de/stups/probkodkod/Request.java
+++ b/src/main/java/de/stups/probkodkod/Request.java
@@ -9,6 +9,7 @@ import java.util.logging.Logger;
import kodkod.ast.Relation;
import kodkod.engine.Solution;
+import kodkod.engine.Statistics;
import kodkod.instance.Instance;
import kodkod.instance.Tuple;
import kodkod.instance.TupleSet;
@@ -161,6 +162,14 @@ public final class Request {
if (iterator.hasNext()) {
Solution solution = iterator.next();
instance = solution.instance();
+ /* 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() + "). ");
} else {
instance = null;
}
--
GitLab