From f122876abf02a5a2bc30c9c35b5d77daac8db51c Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Mon, 31 Jul 2017 10:58:47 +0200
Subject: Improves solution displaying.

---
 instr-to-kodkod/src/VariableManager.java | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

(limited to 'instr-to-kodkod/src/VariableManager.java')

diff --git a/instr-to-kodkod/src/VariableManager.java b/instr-to-kodkod/src/VariableManager.java
index 4753341..bbef943 100644
--- a/instr-to-kodkod/src/VariableManager.java
+++ b/instr-to-kodkod/src/VariableManager.java
@@ -144,6 +144,27 @@ public class VariableManager
       return result;
    }
 
+   public void print_solution (final Map<Relation, TupleSet> solution)
+   {
+      System.out.print("(");
+
+      for (final TaggedVariable tg: tagged_variables.values())
+      {
+         System.out.print("\n   (");
+         System.out.print(tg.name);
+         System.out.print(" ");
+         System.out.print
+         (
+            solution.get(tg.as_relation).iterator().next().atom(0)
+         );
+         System.out.print(" ");
+         System.out.print(tg.tag);
+         System.out.print(")");
+      }
+
+      System.out.println("\n)");
+   }
+
    private static class TaggedVariable
    {
       private final String name;
-- 
cgit v1.2.3-70-g09d2