From 8833a6ef1d50a097579f5d1314c47a8d3dfa7703 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 30 Apr 2013 12:35:54 +0000
Subject: [PATCH] Option 'snaphot' for -simpath also displays state/step
 indices.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6726 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/simulator/PathToText.java | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/prism/src/simulator/PathToText.java b/prism/src/simulator/PathToText.java
index 82b5d2b9..b0ed7787 100644
--- a/prism/src/simulator/PathToText.java
+++ b/prism/src/simulator/PathToText.java
@@ -114,8 +114,8 @@ public class PathToText extends PathDisplayer
 			log.print(getColSep() + "action");
 			if (showProbs)
 				log.print(getColSep() + "probability");
-			log.print(getColSep() + "step");
 		}
+		log.print(getColSep() + "step");
 		if (contTime && showTimeCumul)
 			log.print(getColSep() + "time");
 		if (varsToShow == null)
@@ -150,8 +150,8 @@ public class PathToText extends PathDisplayer
 			log.print(getColSep() + "-");
 			if (showProbs)
 				log.print(getColSep() + "-");
-			log.print(getColSep() + "0");
 		}
+		log.print(getColSep() + "0");
 		if (contTime && showTimeCumul)
 			log.print(getColSep() + "0.0");
 		lastState = new State(initialState.varValues.length);
@@ -213,6 +213,8 @@ public class PathToText extends PathDisplayer
 	{
 		firstCol = true;
 
+		// display state index
+		log.print(getColSep() + newStateIndex);
 		// display cumulative time
 		if (contTime && showTimeCumul)
 			log.print(getColSep() + timeCumul);