From a7d9f8aceab7450f2041bd7228cfd8ae5967b56f Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 10 Jun 2024 17:31:25 +0100
Subject: [PATCH] Code to export bisimulation minimised model (commented out).

---
 prism/src/explicit/StateModelChecker.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/prism/src/explicit/StateModelChecker.java b/prism/src/explicit/StateModelChecker.java
index 743f80b4d..72d619a15 100644
--- a/prism/src/explicit/StateModelChecker.java
+++ b/prism/src/explicit/StateModelChecker.java
@@ -577,6 +577,8 @@ public <Value> Result check(Model<Value> model, Expression expr) throws PrismExc
 			model = bisim.minimise(model, propNames, propBSs);
 			mainLog.println("Modified property: " + exprNew);
 			expr = exprNew;
+			//model.exportToPrismExplicitTra("bisim.tra");
+			//model.exportStates(Prism.EXPORT_PLAIN, modelInfo.createVarList(), new PrismFileLog("bisim.sta"));
 		}
 
 		// Do model checking and store result vector