Add clearBuiltModel to Prism API.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4529 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/Prism.java

@@ -1317,7 +1317,7 @@ public class Prism implements PrismSettingsListener
 		// Store PRISM model
 		currentModulesFile = modulesFile;
 		// Reset dependent info
-		currentModelType = currentModulesFile.getModelType();
+		currentModelType = currentModulesFile == null ? null : currentModulesFile.getModelType();
 		currentModel = null;
 	}
 
@@ -1350,7 +1350,7 @@ public class Prism implements PrismSettingsListener
 		currentModulesFile = modulesFile;
 		currentModel = model;
 		// Reset dependent info
-		currentModelType = currentModulesFile.getModelType();
+		currentModelType = currentModulesFile == null ? null : currentModulesFile.getModelType();
 	}
 
 	/**
@@ -1365,7 +1365,7 @@ public class Prism implements PrismSettingsListener
 		currentModulesFile = null;
 		currentModel = model;
 		// Reset dependent info
-		currentModelType = currentModel.getModelType();
+		currentModelType = currentModel == null ? null : currentModel.getModelType();
 	}
 
 	/**
@@ -2334,6 +2334,16 @@ public class Prism implements PrismSettingsListener
 			tmpLog.close();
 	}
 
+	/**
+	 * Clear the built model (free/deallocate memory etc)
+	 */
+	public void clearBuiltModel()
+	{
+		if (currentModel != null)
+			currentModel.clear();
+		loadBuiltModel(null);
+	}
+	
 	/**
 	 * Clear up and close down.
 	 */