From cbbafaddfd1bf6fdd9a0a4c66c5e0e4d54415ebb Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Thu, 19 Nov 2020 18:13:20 +0100
Subject: [PATCH] added Coalition class

will be used in rPATL formulas
---
 src/storm/logic/Coalition.cpp | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 src/storm/logic/Coalition.cpp

diff --git a/src/storm/logic/Coalition.cpp b/src/storm/logic/Coalition.cpp
new file mode 100644
index 000000000..ff67d735b
--- /dev/null
+++ b/src/storm/logic/Coalition.cpp
@@ -0,0 +1,23 @@
+#include "storm/logic/Coalition.h"
+
+namespace storm {
+    namespace logic {
+
+        Coalition::Coalition(std::vector<std::string> const& playerNames,
+                             std::vector<uint_fast32_t> const& playerIds) : playerNames(playerNames), playerIds(playerIds) {
+            // Intentionally left empty.
+        }
+
+        std::ostream& operator<<(std::ostream& stream, Coalition const& coalition) {
+            stream << "<<";
+            for (auto const& playerName : coalition.playerNames) {
+                stream << playerName << ", ";
+            }
+            for (auto const& playerId : coalition.playerIds) {
+                stream << playerId << ", ";
+            }
+            stream << ">>";
+            return stream;
+        }
+    }
+}