From 2721f24b9b2f5e0bc358f037b0cd646139b28d53 Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Mon, 23 Nov 2020 13:44:46 +0100
Subject: [PATCH] added Coalition default ctor

---
 src/storm/logic/Coalition.h | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 src/storm/logic/Coalition.h

diff --git a/src/storm/logic/Coalition.h b/src/storm/logic/Coalition.h
new file mode 100644
index 000000000..108ea53ef
--- /dev/null
+++ b/src/storm/logic/Coalition.h
@@ -0,0 +1,30 @@
+#ifndef STORM_LOGIC_COALITION_H_
+#define STORM_LOGIC_COALITION_H_
+
+#include <vector>
+#include <string>
+
+#include <boost/optional.hpp>
+#include "storm/storage/BoostTypes.h"
+#include "storm/utility/OsDetection.h"
+
+namespace storm {
+    namespace logic {
+
+        class Coalition {
+        public:
+            Coalition() = default;
+            Coalition(std::vector<std::string> const& playerNames, std::vector<uint_fast32_t> const& playerIds);
+            Coalition(Coalition const& other) = default;
+
+            friend std::ostream& operator<<(std::ostream& stream, Coalition const& coalition);
+
+        private:
+            std::vector<std::string> playerNames;
+            std::vector<uint_fast32_t> playerIds;
+        };
+    }
+}
+
+
+#endif /* STORM_LOGIC_COALITION_H_ */