added GameFormula class

src/storm/logic/GameFormula.cpp

@@ -23,7 +23,7 @@ namespace storm {
         PlayerCoalition const& GameFormula::getCoalition() const {
             return coalition;
         }
-        
+
         boost::any GameFormula::accept(FormulaVisitor const& visitor, boost::any const& data) const {
             return visitor.visit(*this, data);
         }

src/storm/logic/GameFormula.h

@@ -19,7 +19,7 @@ namespace storm {
             virtual bool isGameFormula() const override;
             virtual bool hasQualitativeResult() const override;
             virtual bool hasQuantitativeResult() const override;
-            
+
             virtual boost::any accept(FormulaVisitor const& visitor, boost::any const& data) const override;
 
             virtual std::ostream& writeToStream(std::ostream& out) const override;