From 3a769b3149d86fc62409357049b4879c38f56169 Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Thu, 11 Mar 2021 07:58:49 +0100 Subject: [PATCH] ToPrefixStringVisitor: Added missing case for GameFormula --- src/storm/logic/ToPrefixStringVisitor.cpp | 4 ++++ src/storm/logic/ToPrefixStringVisitor.h | 1 + 2 files changed, 5 insertions(+) diff --git a/src/storm/logic/ToPrefixStringVisitor.cpp b/src/storm/logic/ToPrefixStringVisitor.cpp index a3d55b994..6fc7640e4 100644 --- a/src/storm/logic/ToPrefixStringVisitor.cpp +++ b/src/storm/logic/ToPrefixStringVisitor.cpp @@ -85,6 +85,10 @@ namespace storm { return std::string("G ") + subexpression; } + boost::any ToPrefixStringVisitor::visit(GameFormula const&, boost::any const&) const { + STORM_LOG_THROW(false, storm::exceptions::InvalidOperationException, "Can not convert to prefix string"); + } + boost::any ToPrefixStringVisitor::visit(InstantaneousRewardFormula const&, boost::any const&) const { STORM_LOG_THROW(false, storm::exceptions::InvalidOperationException, "Can not convert to prefix string"); } diff --git a/src/storm/logic/ToPrefixStringVisitor.h b/src/storm/logic/ToPrefixStringVisitor.h index 95d1bc585..16b8fad4a 100644 --- a/src/storm/logic/ToPrefixStringVisitor.h +++ b/src/storm/logic/ToPrefixStringVisitor.h @@ -22,6 +22,7 @@ namespace storm { virtual boost::any visit(EventuallyFormula const& f, boost::any const& data) const override; virtual boost::any visit(TimeOperatorFormula const& f, boost::any const& data) const override; virtual boost::any visit(GloballyFormula const& f, boost::any const& data) const override; + virtual boost::any visit(GameFormula const& f, boost::any const& data) const override; virtual boost::any visit(InstantaneousRewardFormula const& f, boost::any const& data) const override; virtual boost::any visit(LongRunAverageOperatorFormula const& f, boost::any const& data) const override; virtual boost::any visit(LongRunAverageRewardFormula const& f, boost::any const& data) const override;