Provide getConstantValues() for model checkers, allowing other classes to access the constants. [Joachim Klein]

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

prism/src/explicit/StateModelChecker.java

@@ -252,6 +252,12 @@ public class StateModelChecker extends PrismComponent
 		return doBisim;
 	}
 
+	/** Get the constant values (both from the modules file and the properties file) */
+	public Values getConstantValues()
+	{
+		return constantValues;
+	}
+
 	// Other setters/getters
 
 	/**

prism/src/prism/ModelChecker.java

@@ -27,6 +27,7 @@
 package prism;
 
 import jdd.JDDNode;
+import parser.Values;
 import parser.ast.*;
 
 // interface for model checker classes
@@ -36,6 +37,7 @@ public interface ModelChecker
 	public Result check(Expression expr) throws PrismException;
 	public StateValues checkExpression(Expression expr) throws PrismException;
 	public JDDNode checkExpressionDD(Expression expr) throws PrismException;
+	public Values getConstantValues();
 }
 
 //------------------------------------------------------------------------------

prism/src/prism/StateModelChecker.java

@@ -1392,6 +1392,13 @@ public class StateModelChecker implements ModelChecker
 			throw new PrismException("Invalid reward structure index \"" + rs + "\"");
 		return transRewards; 
 	}
+
+	/** Get the constant values (both from the modules file and the properties file) */
+	@Override
+	public Values getConstantValues()
+	{
+		return constantValues;
+	}
 }
 
 // ------------------------------------------------------------------------------