From f5b8aa9fd7ee0e2b6bf12353772207958adfb272 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Wed, 19 Jul 2017 12:30:20 +0000 Subject: [PATCH] prism.NondetModelChecker: add createNewModelChecker Analogous to ProbModelChecker.createNewModelChecker git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12057 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/NondetModelChecker.java | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/prism/src/prism/NondetModelChecker.java b/prism/src/prism/NondetModelChecker.java index 1d1a5e22..a6018c6a 100644 --- a/prism/src/prism/NondetModelChecker.java +++ b/prism/src/prism/NondetModelChecker.java @@ -140,6 +140,11 @@ public class NondetModelChecker extends NonProbModelChecker PrismNative.setExportAdvFilename(prism.getExportAdvFilename()); } + public NondetModelChecker createNewModelChecker(Prism prism, Model m, PropertiesFile pf) throws PrismException + { + return new NondetModelChecker(prism, m, pf); + } + // Model checking functions @Override