From 95a5f843f64445da070bf1c88864899cca567131 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Fri, 12 Oct 2018 14:26:44 +0200 Subject: [PATCH] imported patch ProbModel-comments-for-constructor.patch --- prism/src/prism/ProbModel.java | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/prism/src/prism/ProbModel.java b/prism/src/prism/ProbModel.java index 6ba33322..00ae1024 100644 --- a/prism/src/prism/ProbModel.java +++ b/prism/src/prism/ProbModel.java @@ -419,6 +419,26 @@ public class ProbModel implements Model // constructor + /** + * Constructor. + * @param tr the transitions + * @param s the start state + * @param sr array with state rewards + * @param trr array with transition rewards (same length as sr) + * @param rsn array of reward structure names (same length as sr and trr) + * @param arv JDDVars, the state (row) DD variables + * @param acv JDDVars, the state (column) DD variables + * @param mvdd the model variables + * @param nm the number of modules + * @param mn array of module names + * @param mrv array of JDDVars, the state (row) DD variables per module + * @param mcv array of JDDVars, the state (column) DD variables per module + * @param nv the number of variables + * @param vl the variable list + * @param vrv array of JDDVars, the state (row) DD variables per variable + * @param vcv array of JDDVars, the state (column) DD variables per variable + * @param cv constant values for this model + */ public ProbModel(JDDNode tr, JDDNode s, JDDNode sr[], JDDNode trr[], String rsn[], JDDVars arv, JDDVars acv, ModelVariablesDD mvdd, int nm, String[] mn, JDDVars[] mrv, JDDVars[] mcv, int nv, VarList vl, JDDVars[] vrv, JDDVars[] vcv, Values cv) {