(HOA path) StateModelChecker (symbolic, explicit): Provide access to the ModulesFile / PropertiesFile stored in the model checker

prism/src/explicit/StateModelChecker.java

@@ -1572,4 +1572,17 @@ public class StateModelChecker extends PrismComponent
 			}
 		}
 	}
+
+	/** Get the optionally stored ModulesFile (may be {@code null}) */
+	public ModulesFile getModulesFile()
+	{
+		return modulesFile;
+	}
+
+	/** Get the optionally stored ModulesFile (may be {@code null}) */
+	public PropertiesFile getPropertiesFile()
+	{
+		return propertiesFile;
+	}
+
 }

prism/src/prism/StateModelChecker.java

@@ -1632,6 +1632,22 @@ public class StateModelChecker extends PrismComponent implements ModelChecker
 			JDD.Deref(labels[i]);
 		}
 	}
+
+	
+	/** Get the optionally stored ModulesFile (may be {@code null}) */
+	public ModulesFile getModulesFile()
+	{
+		if (propertiesFile != null) {
+			return propertiesFile.getModulesFile();
+		}
+		return null;
+	}
+
+	/** Get the optionally stored ModulesFile (may be {@code null}) */
+	public PropertiesFile getPropertiesFile()
+	{
+		return propertiesFile;
+	}
 }
 
 // ------------------------------------------------------------------------------