From 39c9f435494b9d69b6564c2badc21d82628af248 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Wed, 19 Jul 2017 12:30:37 +0000 Subject: [PATCH] prism.StateModelChecker: add createModelChecker() helper method git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12058 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/StateModelChecker.java | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/prism/src/prism/StateModelChecker.java b/prism/src/prism/StateModelChecker.java index 71ccc8ed..c2badabd 100644 --- a/prism/src/prism/StateModelChecker.java +++ b/prism/src/prism/StateModelChecker.java @@ -186,6 +186,16 @@ public class StateModelChecker extends PrismComponent implements ModelChecker return mc; } + /** + * Create a model checker (a subclass of this one) for a given model, + * deducing the model type and reusing the PropertiesFile and Prism objects + * of the current model checker. + */ + public ModelChecker createModelChecker(Model newModel) throws PrismException + { + return createModelChecker(newModel.getModelType(), prism, newModel, propertiesFile); + } + /** * Clean up the dummy model created when using the abbreviated constructor */