From 844062c58ee1e22836147580f7571a3a28c61be3 Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Fri, 29 Jan 2021 08:09:48 +0100
Subject: [PATCH] gameForumlas now gather referenced variables

---
 src/storm/logic/GameFormula.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/storm/logic/GameFormula.cpp b/src/storm/logic/GameFormula.cpp
index a3e3cc649..8387e38fd 100644
--- a/src/storm/logic/GameFormula.cpp
+++ b/src/storm/logic/GameFormula.cpp
@@ -24,6 +24,10 @@ namespace storm {
             return coalition;
         }
 
+        void GameFormula::gatherReferencedRewardModels(std::set<std::string>& referencedRewardModels) const {
+            this->getSubformula().gatherReferencedRewardModels(referencedRewardModels);
+        }
+
         boost::any GameFormula::accept(FormulaVisitor const& visitor, boost::any const& data) const {
             return visitor.visit(*this, data);
         }