From e2dc274977a5bf67ba8f1d830d3f23a81992d8ec Mon Sep 17 00:00:00 2001 From: TimQu Date: Thu, 11 Apr 2019 15:10:52 +0200 Subject: [PATCH] Added export for globally properties in JANI. --- src/storm/storage/jani/JSONExporter.cpp | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/storm/storage/jani/JSONExporter.cpp b/src/storm/storage/jani/JSONExporter.cpp index 61995ed86..be2c98e9f 100644 --- a/src/storm/storage/jani/JSONExporter.cpp +++ b/src/storm/storage/jani/JSONExporter.cpp @@ -342,8 +342,11 @@ namespace storm { return opDecl; } - boost::any FormulaToJaniJson::visit(storm::logic::GloballyFormula const&, boost::any const&) const { - STORM_LOG_THROW(false, storm::exceptions::NotImplementedException, "Jani currently does not support conversion of a globally formulae"); + boost::any FormulaToJaniJson::visit(storm::logic::GloballyFormula const& f, boost::any const& data) const { + modernjson::json opDecl; + opDecl["op"] = "G"; + opDecl["exp"] = anyToJson(f.getSubformula().accept(*this, data)); + return opDecl; } boost::any FormulaToJaniJson::visit(storm::logic::InstantaneousRewardFormula const&, boost::any const&) const {