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

@@ -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
 	 */