From 8f0769da665158bfec6ab94034271f24c881dc39 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 16 Oct 2020 16:25:52 +0100
Subject: [PATCH] Add (explicit engine) tra file export for LTSs.

---
 prism/src/explicit/LTS.java | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/prism/src/explicit/LTS.java b/prism/src/explicit/LTS.java
index a3d1df96..05501140 100644
--- a/prism/src/explicit/LTS.java
+++ b/prism/src/explicit/LTS.java
@@ -49,7 +49,17 @@ public interface LTS extends NondetModel
 	@Override
 	default void exportToPrismExplicitTra(PrismLog out)
 	{
-		throw new UnsupportedOperationException();
+		// Output transitions to .tra file
+		int numStates = getNumStates();
+		out.print(numStates + " " + getNumChoices() + "\n");
+		for (int i = 0; i < numStates; i++) {
+			int numChoices = getNumChoices(i);
+			for (int j = 0; j < numChoices; j++) {
+				out.print(i + " " + j + " " + getSuccessor(i, j));
+				Object action = getAction(i, j);
+				out.print(action == null ? "\n" : (" " + action + "\n"));
+			}
+		}
 	}
 
 	@Override