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(); + } } }