From 2b320523b5b05b05b91ca500d805ec6e719599f9 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@rwth-aachen.de>
Date: Thu, 28 Jan 2016 09:15:18 +0100
Subject: [PATCH] fixed displaying of non const states and transitions

Former-commit-id: 6f621d6980b64765f5707feb113398dd951081ae
---
 src/cli/entrypoints.h        | 4 ++--
 src/storage/SparseMatrix.cpp | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/cli/entrypoints.h b/src/cli/entrypoints.h
index ab5869684..cd134568b 100644
--- a/src/cli/entrypoints.h
+++ b/src/cli/entrypoints.h
@@ -28,8 +28,8 @@ namespace storm {
         template<>
         inline void verifySparseModel(std::shared_ptr<storm::models::sparse::Model<storm::RationalFunction>> model, std::vector<std::shared_ptr<storm::logic::Formula>> const& formulas) {
             if (storm::settings::generalSettings().isParametricRegionSet()){
-                std::cout << "Num of states with nonconstant transitions; Num of nonconstant transitions" << std::endl;
-                std::cout << "NUM_PARS" << model->getTransitionMatrix().getNonconstantRowGroupCount() << ";" << model->getTransitionMatrix().getNonconstantEntryCount() << std::endl;
+     //           std::cout << "Num of states with nonconstant transitions; Num of nonconstant transitions" << std::endl;
+     //           std::cout << "NUM_PARS;" << model->getTransitionMatrix().getNonconstantRowGroupCount() << ";" << model->getTransitionMatrix().getNonconstantEntryCount() << std::endl;
                 auto regions=storm::modelchecker::region::ParameterRegion<storm::RationalFunction>::getRegionsFromSettings();
                 std::shared_ptr<storm::modelchecker::region::AbstractSparseRegionModelChecker<storm::models::sparse::Model<storm::RationalFunction>, double>> modelchecker;
                 if(model->isOfType(storm::models::ModelType::Dtmc)){
diff --git a/src/storage/SparseMatrix.cpp b/src/storage/SparseMatrix.cpp
index 8469f80d3..945bfb251 100644
--- a/src/storage/SparseMatrix.cpp
+++ b/src/storage/SparseMatrix.cpp
@@ -1157,7 +1157,7 @@ namespace storm {
         template<typename ValueType>
         typename SparseMatrix<ValueType>::index_type SparseMatrix<ValueType>::getNonconstantRowGroupCount() const {
             index_type nonConstRowGroups = 0;
-            for (index_type rowGroup=0; rowGroup < this->getRowGroupIndices().size(); ++rowGroup) {
+            for (index_type rowGroup=0; rowGroup < this->getRowGroupCount(); ++rowGroup) {
                 for( auto const& entry : this->getRowGroup(rowGroup)){
                     if(!storm::utility::isConstant(entry.getValue())){
                         ++nonConstRowGroups;