From 92fe0519241453933f80d261d233b2ef439c7634 Mon Sep 17 00:00:00 2001 From: dehnert Date: Wed, 22 May 2013 14:07:54 +0200 Subject: [PATCH] Added some newlines. --- src/modelchecker/GmmxxMdpPrctlModelChecker.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/modelchecker/GmmxxMdpPrctlModelChecker.h b/src/modelchecker/GmmxxMdpPrctlModelChecker.h index 3b340dadf..d742d55ed 100644 --- a/src/modelchecker/GmmxxMdpPrctlModelChecker.h +++ b/src/modelchecker/GmmxxMdpPrctlModelChecker.h @@ -68,9 +68,11 @@ private: // Now perform matrix-vector multiplication as long as we meet the bound of the formula. for (uint_fast64_t i = 0; i < n; ++i) { gmm::mult(*gmmxxMatrix, x, multiplyResult); + if (b != nullptr) { gmm::add(*b, multiplyResult); } + if (this->minimumOperatorStack.top()) { storm::utility::reduceVectorMin(multiplyResult, &x, nondeterministicChoiceIndices); } else { @@ -119,7 +121,7 @@ private: // Compute x' = A*x + b. gmm::mult(*gmmxxMatrix, *currentX, multiplyResult); gmm::add(b, multiplyResult); - + // Reduce the vector x' by applying min/max for all non-deterministic choices. if (this->minimumOperatorStack.top()) { storm::utility::reduceVectorMin(multiplyResult, newX, nondeterministicChoiceIndices);