diff --git a/src/storm/utility/DirectEncodingExporter.cpp b/src/storm/utility/DirectEncodingExporter.cpp index b3f6bf63e..f4798bc0d 100644 --- a/src/storm/utility/DirectEncodingExporter.cpp +++ b/src/storm/utility/DirectEncodingExporter.cpp @@ -81,6 +81,11 @@ namespace storm { writeValue(os, exitRates.at(group), placeholders); } + + if (sparseModel->getType() == storm::models::ModelType::Pomdp) { + os << " {" << sparseModel->template as>()->getObservation(group) << "}"; + } + // Write state rewards bool first = true; for (auto const& rewardModelEntry : sparseModel->getRewardModels()) { @@ -102,10 +107,6 @@ namespace storm { os << "]"; } - if (sparseModel->getType() == storm::models::ModelType::Pomdp) { - os << " {" << sparseModel->template as>()->getObservation(group) << "}"; - } - // Write labels. Only labels with a whitespace are put in (double) quotation marks. for (auto const& label : sparseModel->getStateLabeling().getLabelsOfState(group)) { STORM_LOG_THROW(std::count(label.begin(), label.end(), '\"') == 0, storm::exceptions::NotSupportedException,