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> model, std::vector> 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::getRegionsFromSettings(); std::shared_ptr, 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>()->getTransitionMatrix().getNonconstantRowGroupCount() << ";" << modelProgramPair.model->as>()->getTransitionMatrix().getNonconstantEntryCount() << std::endl; // Preprocess the model if needed. BRANCH_ON_MODELTYPE(modelProgramPair.model, modelProgramPair.model, ValueType, LibraryType, preprocessModel, formulas);