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

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