Improves solution displaying.

1 files changed, 21 insertions, 0 deletions

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;