From 5030efd3639889ac5b20f96f8cb996dfc3767daf Mon Sep 17 00:00:00 2001
From: Lukas Posch <lukas.posch@student.tugraz.at>
Date: Thu, 4 Mar 2021 16:13:09 +0100
Subject: [PATCH] Set up BoundedGloballyFormula to methods of
 FormulaInformationVisitor.*

---
 src/storm/logic/FormulaInformationVisitor.cpp | 4 ++++
 src/storm/logic/FormulaInformationVisitor.h   | 1 +
 2 files changed, 5 insertions(+)

diff --git a/src/storm/logic/FormulaInformationVisitor.cpp b/src/storm/logic/FormulaInformationVisitor.cpp
index 41976aa57..41417eeed 100644
--- a/src/storm/logic/FormulaInformationVisitor.cpp
+++ b/src/storm/logic/FormulaInformationVisitor.cpp
@@ -24,6 +24,10 @@ namespace storm {
         boost::any FormulaInformationVisitor::visit(BooleanLiteralFormula const&, boost::any const&) const {
             return FormulaInformation();
         }
+
+        boost::any FormulaInformationVisitor::visit(BoundedGloballyFormula const& f, boost::any const& data) const {
+            return f.getSubformula().accept(*this, data);
+        }
         
         boost::any FormulaInformationVisitor::visit(BoundedUntilFormula const& f, boost::any const& data) const {
             FormulaInformation result;
diff --git a/src/storm/logic/FormulaInformationVisitor.h b/src/storm/logic/FormulaInformationVisitor.h
index 617386961..ecf5a1ab7 100644
--- a/src/storm/logic/FormulaInformationVisitor.h
+++ b/src/storm/logic/FormulaInformationVisitor.h
@@ -15,6 +15,7 @@ namespace storm {
             virtual boost::any visit(AtomicLabelFormula const& f, boost::any const& data) const override;
             virtual boost::any visit(BinaryBooleanStateFormula const& f, boost::any const& data) const override;
             virtual boost::any visit(BooleanLiteralFormula const& f, boost::any const& data) const override;
+            virtual boost::any visit(BoundedGloballyFormula const& f, boost::any const& data) const override;
             virtual boost::any visit(BoundedUntilFormula const& f, boost::any const& data) const override;
             virtual boost::any visit(ConditionalFormula const& f, boost::any const& data) const override;
             virtual boost::any visit(CumulativeRewardFormula const& f, boost::any const& data) const override;