gameForumlas now gather referenced variables

src/storm/logic/GameFormula.cpp

@@ -20,6 +20,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);
         }

src/storm/logic/GameFormula.h

@@ -20,6 +20,8 @@ namespace storm {
             Formula const& getSubformula() const;
             Coalition getCoalition() const;
 
+            virtual void gatherReferencedRewardModels(std::set<std::string>& referencedRewardModels) const;
+
             boost::any accept(FormulaVisitor const& visitor, boost::any const& data) const;
 
             std::ostream& writeToStream(std::ostream& out) const;