From a6841c0a4d1077dc089d341f9757408d75ee2a9f Mon Sep 17 00:00:00 2001 From: dehnert Date: Sat, 1 Mar 2014 15:39:59 +0100 Subject: [PATCH] Removed reference to obsolete method. Former-commit-id: b215303f562db21c8683977de8f285f137458a5f --- src/models/MarkovAutomaton.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/models/MarkovAutomaton.h b/src/models/MarkovAutomaton.h index 2e8f6f840..1f9250c10 100644 --- a/src/models/MarkovAutomaton.h +++ b/src/models/MarkovAutomaton.h @@ -145,7 +145,7 @@ namespace storm { this->markovianStates.set(state, false); } - for (uint_fast64_t row = this->getNondeterminsticChoiceIndices()[state] + (this->isHybridState(state) ? 1 : 0); row < this->getNondeterminsticChoiceIndices()[state + 1]; ++row) { + for (uint_fast64_t row = this->getTransitionMatrix().getRowGroupIndices()[state] + (this->isHybridState(state) ? 1 : 0); row < this->getTransitionMatrix().getRowGroupIndices()[state + 1]; ++row) { for (auto const& entry : this->transitionMatrix.getRow(row)) { newTransitionMatrixBuilder.addNextValue(currentChoice, entry.first, entry.second); }