From 7439b66d71e70f1f4caf8bee6930f586194fac68 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Mon, 5 Nov 2018 15:24:01 +0100 Subject: [PATCH] jani origins, implemented missing compute identifier infos --- src/storm/storage/sparse/JaniChoiceOrigins.cpp | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) diff --git a/src/storm/storage/sparse/JaniChoiceOrigins.cpp b/src/storm/storage/sparse/JaniChoiceOrigins.cpp index d012c4418..c4d1c365b 100644 --- a/src/storm/storage/sparse/JaniChoiceOrigins.cpp +++ b/src/storm/storage/sparse/JaniChoiceOrigins.cpp @@ -36,7 +36,20 @@ namespace storm { } void JaniChoiceOrigins::computeIdentifierInfos() const { - STORM_LOG_ASSERT(false, "Jani choice origins not properly implemented"); + this->identifierToInfo.clear(); + this->identifierToInfo.reserve(this->getNumberOfIdentifiers()); + + for(auto const& edgeSet : identifierToEdgeIndexSet) { + std::stringstream ss; + + for(auto const& edgeIndex : edgeSet) { + auto autAndEdgeOffset = model->decodeAutomatonAndEdgeIndices(edgeIndex); + ss << model->getAutomaton(autAndEdgeOffset.first).getEdge(autAndEdgeOffset.second).toString(); + ss << "," << std::endl; + } + this->identifierToInfo.emplace_back(ss.str()); + ss.clear(); + } } }