StateValues: small rename for consistency

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

prism/src/prism/StateValuesDV.java

@@ -69,15 +69,15 @@ public class StateValuesDV implements StateValues
 
 	// CONSTRUCTORS
 
-	public StateValuesDV(DoubleVector p, Model m)
+	public StateValuesDV(DoubleVector values, Model model)
 	{
 		int i;
 
 		// store values vector
-		values = p;
+		this.values = values;
 
 		// get info from model
-		model = m;
+		this.model = model;
 		vars = model.getAllDDRowVars();
 		numVars = vars.n();
 		odd = model.getODD();

prism/src/prism/StateValuesMTBDD.java

@@ -64,15 +64,15 @@ public class StateValuesMTBDD implements StateValues
 
 	// CONSTRUCTOR
 	
-	public StateValuesMTBDD(JDDNode p, Model m)
+	public StateValuesMTBDD(JDDNode values, Model model)
 	{
 		int i;
 		
 		// store values vector mtbdd
-		values = p;
+		this.values = values;
 		
 		// get info from model
-		model = m;
+		this.model = model;
 		vars = model.getAllDDRowVars();
 		reach = model.getReach();
 		numDDRowVars = model.getNumDDRowVars();