From ff8332bd624bf0fd6bab6f4abe4e01d3cae799f1 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@rwth-aachen.de>
Date: Wed, 20 Jan 2016 18:55:12 +0100
Subject: [PATCH] display model statistics before bisimiulation

Former-commit-id: f88658e07f3e78b71012f8ca31b68f680850e4fd
---
 src/utility/storm.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/utility/storm.h b/src/utility/storm.h
index fecd67bf8..8a9176789 100644
--- a/src/utility/storm.h
+++ b/src/utility/storm.h
@@ -163,7 +163,8 @@ namespace storm {
     template<typename ModelType, typename ValueType = typename ModelType::ValueType, typename std::enable_if<std::is_base_of<storm::models::sparse::Model<ValueType>, ModelType>::value, bool>::type = 0>
     std::shared_ptr<storm::models::ModelBase> preprocessModel(std::shared_ptr<ModelType> model, std::vector<std::shared_ptr<storm::logic::Formula>> const& formulas) {
         if (storm::settings::generalSettings().isBisimulationSet()) {
-            
+            std::cout << "Model before preprocessing: " << std::endl;
+            model->printModelInformationToStream(std::cout);
             STORM_LOG_THROW(model->isSparseModel(), storm::exceptions::InvalidSettingsException, "Bisimulation minimization is currently only available for sparse models.");
             STORM_LOG_THROW(model->isOfType(storm::models::ModelType::Dtmc) || model->isOfType(storm::models::ModelType::Ctmc) || model->isOfType(storm::models::ModelType::Mdp), storm::exceptions::InvalidSettingsException, "Bisimulation minimization is currently only available for DTMCs, CTMCs and MDPs.");