From 490642291d460b40dfde23492906a913c9842d7c Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Thu, 20 Aug 2015 06:24:57 +0000 Subject: [PATCH] jltl2dstar.DA: fix print (ltl2dstar format output) git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10527 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/jltl2dstar/DA.java | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/prism/src/jltl2dstar/DA.java b/prism/src/jltl2dstar/DA.java index 98d6d7dc..94183495 100644 --- a/prism/src/jltl2dstar/DA.java +++ b/prism/src/jltl2dstar/DA.java @@ -25,6 +25,7 @@ import java.io.PrintStream; import java.util.*; import jltl2ba.APElement; +import jltl2ba.APElementIterator; import jltl2ba.APSet; import prism.PrismException; @@ -261,6 +262,8 @@ public class DA { throw new PrismException("No start state in DA!"); } + out.println(da_type+" v2 explicit"); + if (_comment != "") { out.println("Comment: \"" + _comment + "\""); } @@ -289,9 +292,11 @@ public class DA { _acceptance.outputAcceptanceForState(out, i_state); - // the entry set isn't sorted so we need to print the transition label too - for (Map.Entry transition : cur_state.edges().entrySet()) { - out.println(transition.getKey().toString(_ap_set, true) + " -> " + transition.getValue().getName()); + Iterator it = _ap_set.elementIterator(); + while (it.hasNext()) { + APElement e = it.next(); + DA_State to = cur_state.edges().get(e); + out.println(to.getName()); } } }