Browse Source

fixed storm-pomdp output a little.

tempestpy_adaptions
Tim Quatmann 5 years ago
parent
commit
16ad9d3a83
  1. 6
      src/storm-pomdp-cli/storm-pomdp.cpp

6
src/storm-pomdp-cli/storm-pomdp.cpp

@ -287,20 +287,20 @@ namespace storm {
// Note that formulaInfo contains state-based information which potentially needs to be updated during preprocessing // Note that formulaInfo contains state-based information which potentially needs to be updated during preprocessing
if (performPreprocessing<ValueType, DdType>(pomdp, formulaInfo, *formula)) { if (performPreprocessing<ValueType, DdType>(pomdp, formulaInfo, *formula)) {
sw.stop(); sw.stop();
STORM_PRINT_AND_LOG("Time for graph-based POMDP (pre-)processing: " << sw << "s." << std::endl);
STORM_PRINT_AND_LOG("Time for graph-based POMDP (pre-)processing: " << sw << "." << std::endl);
pomdp->printModelInformationToStream(std::cout); pomdp->printModelInformationToStream(std::cout);
} }
sw.restart(); sw.restart();
if (performAnalysis<ValueType, DdType>(pomdp, formulaInfo, *formula)) { if (performAnalysis<ValueType, DdType>(pomdp, formulaInfo, *formula)) {
sw.stop(); sw.stop();
STORM_PRINT_AND_LOG("Time for POMDP analysis: " << sw << "s." << std::endl);
STORM_PRINT_AND_LOG("Time for POMDP analysis: " << sw << "." << std::endl);
} }
sw.restart(); sw.restart();
if (performTransformation<ValueType, DdType>(pomdp, *formula)) { if (performTransformation<ValueType, DdType>(pomdp, *formula)) {
sw.stop(); sw.stop();
STORM_PRINT_AND_LOG("Time for POMDP transformation(s): " << sw << "s." << std::endl);
STORM_PRINT_AND_LOG("Time for POMDP transformation(s): " << sw << "." << std::endl);
} }
} else { } else {
STORM_LOG_WARN("Nothing to be done. Did you forget to specify a formula?"); STORM_LOG_WARN("Nothing to be done. Did you forget to specify a formula?");

Loading…
Cancel
Save