From 109a885c65bce278fea32e207c85a91930d5ef64 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 13 Jan 2021 12:10:53 +0100
Subject: [PATCH] PlayerCoalition: Added a getter for players
---
src/storm/logic/PlayerCoalition.cpp | 4 ++++
src/storm/logic/PlayerCoalition.h | 2 ++
2 files changed, 6 insertions(+)
diff --git a/src/storm/logic/PlayerCoalition.cpp b/src/storm/logic/PlayerCoalition.cpp
index 0c93092bf..e744fbe1c 100644
--- a/src/storm/logic/PlayerCoalition.cpp
+++ b/src/storm/logic/PlayerCoalition.cpp
@@ -6,6 +6,10 @@ namespace storm {
PlayerCoalition::PlayerCoalition(std::vector<boost::variant<std::string, storm::storage::PlayerIndex>> playerIds) : _playerIds(playerIds) {
// 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;
diff --git a/src/storm/logic/PlayerCoalition.h b/src/storm/logic/PlayerCoalition.h
index 53d82574d..0ddebba34 100644
--- a/src/storm/logic/PlayerCoalition.h
+++ b/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: