From c19639d1560135854e20b760c4cfc72713ed42a5 Mon Sep 17 00:00:00 2001 From: Stefan Pranger Date: Fri, 3 Sep 2021 14:51:35 +0200 Subject: [PATCH] added missing method to visitor --- src/storm/logic/ToPrefixStringVisitor.cpp | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/storm/logic/ToPrefixStringVisitor.cpp b/src/storm/logic/ToPrefixStringVisitor.cpp index 300a53d97..fcfede03f 100644 --- a/src/storm/logic/ToPrefixStringVisitor.cpp +++ b/src/storm/logic/ToPrefixStringVisitor.cpp @@ -59,6 +59,11 @@ namespace storm { return result; } + boost::any ToPrefixStringVisitor::visit(BoundedGloballyFormula const&, boost::any const&) const { + STORM_LOG_THROW(false, storm::exceptions::InvalidOperationException, "Can not convert to prefix string"); + } + + boost::any ToPrefixStringVisitor::visit(BoundedUntilFormula const&, boost::any const&) const { STORM_LOG_THROW(false, storm::exceptions::InvalidOperationException, "Can not convert to prefix string"); }