PlayerCoalition: Added a getter for players

src/storm/logic/PlayerCoalition.cpp

@@ -7,6 +7,10 @@ namespace storm {
             // Intentionally left empty.
         }
         
+        std::vector<boost::variant<std::string, storm::storage::PlayerIndex>> const& PlayerCoalition::getPlayers() const {
+            return _playerIds;
+        }
+
         std::ostream& operator<<(std::ostream& stream, PlayerCoalition const& coalition) {
             bool firstItem = true;
             for (auto const& id : coalition._playerIds) {

src/storm/logic/PlayerCoalition.h

@@ -15,6 +15,8 @@ namespace storm {
             PlayerCoalition(std::vector<boost::variant<std::string, storm::storage::PlayerIndex>> playerIds);
             PlayerCoalition(PlayerCoalition const& other) = default;
 
+            std::vector<boost::variant<std::string, storm::storage::PlayerIndex>> const& getPlayers() const;
+            
             friend std::ostream& operator<<(std::ostream& stream, PlayerCoalition const& playerCoalition);
 
         private: