From 79d07a6bbd6cac5a33841a8dcadd6cb2a5bea9e1 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@rwth-aachen.de>
Date: Wed, 27 Jan 2016 18:26:07 +0100
Subject: [PATCH] ..

Former-commit-id: cf690a1f383c243c4e48e96f3f4370da18e639f4
---
 src/cli/entrypoints.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/cli/entrypoints.h b/src/cli/entrypoints.h
index 05b765a08..ab5869684 100644
--- a/src/cli/entrypoints.h
+++ b/src/cli/entrypoints.h
@@ -28,6 +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;
                 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)){
@@ -156,8 +158,6 @@ namespace storm {
                     storm::settings::generalSettings().getConstantDefinitionString() << ";" <<
                     modelProgramPair.model->getNumberOfStates() << ";" <<
                     modelProgramPair.model->getNumberOfTransitions() << ";" << std::endl;
-                std::cout << "Num of states with nonconstant transitions; Num of nonconstant transitions" << std::endl;
-                std::cout << "NUM_PARS" << modelProgramPair.model->as<storm::models::sparse::Model<ValueType>>()->getTransitionMatrix().getNonconstantRowGroupCount() << ";" << modelProgramPair.model->as<storm::models::sparse::Model<ValueType>>()->getTransitionMatrix().getNonconstantEntryCount() << std::endl;
                 // Preprocess the model if needed.
                 BRANCH_ON_MODELTYPE(modelProgramPair.model, modelProgramPair.model, ValueType, LibraryType, preprocessModel, formulas);