From 3e49feef724f6257bd311d79ea427ab37c790613 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 13 Jul 2010 14:46:55 +0000 Subject: [PATCH] Comments git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1981 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/sparse/PS_NondetReachReward.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/sparse/PS_NondetReachReward.cc b/prism/src/sparse/PS_NondetReachReward.cc index 679f076c..71f3253c 100644 --- a/prism/src/sparse/PS_NondetReachReward.cc +++ b/prism/src/sparse/PS_NondetReachReward.cc @@ -268,8 +268,8 @@ jboolean min // min or max probabilities (true = min, false = max) h1 = h2 = h2_r = 0; // loop through states for (i = 0; i < n; i++) { - d1 = 0.0; - first = true; + d1 = 0.0; // initial value doesn't matter + first = true; // (because we also remember 'first') adv_new = false; // get pointers to nondeterministic choices for state i if (!use_counts) { l1 = row_starts[i]; h1 = row_starts[i+1]; }