From 5ebbe698d1ce9d3379655f042daa15147aca4ec2 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Tue, 11 Dec 2018 20:58:55 +0100 Subject: [PATCH] Simulation results (GUI): Note if nondeterminism was resolved uniformly Indicate in the "Method" part of the result in the GUI that nondeterminism in the model was resolved uniformly by the statistical model checking engine. --- .../properties/computation/SimulateModelCheckThread.java | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/prism/src/userinterface/properties/computation/SimulateModelCheckThread.java b/prism/src/userinterface/properties/computation/SimulateModelCheckThread.java index 3a35e8c7..c6daaa93 100644 --- a/prism/src/userinterface/properties/computation/SimulateModelCheckThread.java +++ b/prism/src/userinterface/properties/computation/SimulateModelCheckThread.java @@ -139,11 +139,18 @@ public class SimulateModelCheckThread extends GUIComputationThread } } } + // store results + ModelType currentModelType = prism.getModelType(); + String methodString = "Simulation"; + if (currentModelType.nondeterministic() && currentModelType.removeNondeterminism() != currentModelType) { + methodString += " (nondeterminism in " + currentModelType.name() + " resolved uniformly)"; + } + for (int i = 0; i < guiProps.size(); i++) { GUIProperty gp = guiProps.get(i); gp.setResult((results == null) ? new Result(resultError) : results[i]); - gp.setMethodString("Simulation"); + gp.setMethodString(methodString); gp.setNumberOfWarnings(prism.getMainLog().getNumberOfWarnings()); } }