From c2ceb299ddf33fa197e96f08b50c06b63111a5a6 Mon Sep 17 00:00:00 2001
From: Sascha Wunderlich <sascha.wunderlich@tu-dresden.de>
Date: Fri, 7 Dec 2018 17:41:39 +0100
Subject: [PATCH] accumulation: add track status to Product.toDot

---
 prism/src/explicit/AccumulationProduct.java | 18 +++++++++++++++++-
 1 file changed, 17 insertions(+), 1 deletion(-)

diff --git a/prism/src/explicit/AccumulationProduct.java b/prism/src/explicit/AccumulationProduct.java
index 1a0e36db..b85e24cb 100644
--- a/prism/src/explicit/AccumulationProduct.java
+++ b/prism/src/explicit/AccumulationProduct.java
@@ -292,6 +292,20 @@ public abstract class AccumulationProduct<M extends Model,Component> extends Pro
 		return initialAccStateId;
 	}
 	
+	private String labelString(Integer stateId) {
+		StringBuffer result = new StringBuffer();
+
+		for(int t=0; t<numberOfTracks; t++) {
+			result.append("  " + t);
+			if(initStates.get(t).get(stateId)) { result.append("I"); continue; }
+			if(goalStates.get(t).get(stateId)) { result.append("G"); continue; }
+			if(runStates.get(t).get(stateId))  { result.append("R"); continue; }
+			result.append("_");
+		}
+
+		return result.toString();
+	}
+
 	@Override
 	public String toDot() {
 		StringBuffer result = new StringBuffer();
@@ -309,7 +323,9 @@ public abstract class AccumulationProduct<M extends Model,Component> extends Pro
 					+ "<TR>"
 					+ "<TD>" + i + "=" + fromState + "</TD>"
 					+ "</TR><TR>"
-					+ "<TD> " + accState	+ "</TD>"
+					+ "<TD> " + accState + "</TD>"
+					+ "</TR><TR>"
+					+ "<TD> " + labelString(i) + "</TD>"
 					+ "</TR><TR>"
 					+ "<TD>\"" + Dottable.quoteForDot(tracker.toString()) + "\"</TD>"
 					+ "</TR>"