Code to export bisimulation minimised model (commented out).

prismmodelchecker · Jun 10, 2024 · a7d9f8a · a7d9f8a
1 parent 294a8b6
commit a7d9f8a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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