..

Former-commit-id: cf690a1f38

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);