From cfe1bf9b3bd88b43caab7d00913556f3742b1114 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@rwth-aachen.de>
Date: Thu, 21 Jan 2016 17:27:29 +0100
Subject: [PATCH] printing model information in csv format

Former-commit-id: d02257c696ba6795d7ed808d10ad16e8f53baf70
---
 src/cli/entrypoints.h | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/src/cli/entrypoints.h b/src/cli/entrypoints.h
index 75ac5421d..c534039fb 100644
--- a/src/cli/entrypoints.h
+++ b/src/cli/entrypoints.h
@@ -198,7 +198,12 @@ namespace storm {
 
             STORM_LOG_THROW(settings.isExplicitSet(), storm::exceptions::InvalidStateException, "Unable to build explicit model without model files.");
             std::shared_ptr<storm::models::ModelBase> model = buildExplicitModel<ValueType>(settings.getTransitionFilename(), settings.getLabelingFilename(), settings.isStateRewardsSet() ? settings.getStateRewardsFilename() : boost::optional<std::string>(), settings.isTransitionRewardsSet() ? settings.getTransitionRewardsFilename() : boost::optional<std::string>(), settings.isChoiceLabelingSet() ? settings.getChoiceLabelingFilename() : boost::optional<std::string>());
-            
+                    std::cout << "PrintingInfo;Filename;Constants;NumStates;NumTransitions"; << std::endl;
+        std::cout << "INPUTMODEL_INFO;" << 
+                storm::settings::generalSettings().getSymbolicModelFilename() << ";" <<
+                storm::settings::generalSettings().getConstantDefinitionString() << ";" <<
+                model->getNumberOfStates() << ";" <<
+                model->getNumberOfTransitions() << ";" << std::endl;
             // Preprocess the model if needed.
             BRANCH_ON_MODELTYPE(model, model, ValueType, storm::dd::DdType::CUDD, preprocessModel, formulas);
 
@@ -210,6 +215,13 @@ namespace storm {
                 STORM_LOG_THROW(model->isSparseModel(), storm::exceptions::InvalidStateException, "Expected sparse model.");
                 verifySparseModel<ValueType>(model->as<storm::models::sparse::Model<ValueType>>(), formulas);
             }
+        std::cout << "PrintingInfo;Filename;Constants;NumStates;NumTransitions"; << std::endl;
+        std::cout << "DONE_MODEL_INFO;" << 
+                storm::settings::generalSettings().getSymbolicModelFilename() << ";" <<
+                storm::settings::generalSettings().getConstantDefinitionString() << ";" <<
+                model->getNumberOfStates() << ";" <<
+                model->getNumberOfTransitions() << ";" << std::endl;
+            
         }
     }
 }