From 5d3070365489d71c7441c6fb978f93118f17bb1f Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Thu, 13 Aug 2015 11:30:09 +0000 Subject: [PATCH] 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 | 6 +++--- prism/src/prism/StateValuesMTBDD.java | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/prism/src/prism/StateValuesDV.java b/prism/src/prism/StateValuesDV.java index cae5f6d8..085bb1d9 100644 --- a/prism/src/prism/StateValuesDV.java +++ b/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(); diff --git a/prism/src/prism/StateValuesMTBDD.java b/prism/src/prism/StateValuesMTBDD.java index a18d9b93..26dd0a97 100644 --- a/prism/src/prism/StateValuesMTBDD.java +++ b/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();