From ff8a0cc65561d6385f78b62b77e798e2cbd67d0a Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Fri, 29 Jan 2021 08:27:29 +0100
Subject: [PATCH] removed old Coalition files

have been renamed to PlayerCoalition
---
 src/storm/logic/Coalition.cpp | 25 -------------------------
 src/storm/logic/Coalition.h   | 32 --------------------------------
 2 files changed, 57 deletions(-)
 delete mode 100644 src/storm/logic/Coalition.cpp
 delete mode 100644 src/storm/logic/Coalition.h

diff --git a/src/storm/logic/Coalition.cpp b/src/storm/logic/Coalition.cpp
deleted file mode 100644
index baa0736c4..000000000
--- a/src/storm/logic/Coalition.cpp
+++ /dev/null
@@ -1,25 +0,0 @@
-#include "storm/logic/Coalition.h"
-
-namespace storm {
-    namespace logic {
-
-        Coalition::Coalition(std::vector<boost::variant<std::string, uint_fast64_t>> playerIds) : playerIds(playerIds) {
-            // Intentionally left empty.
-        }
-
-        std::vector<boost::variant<std::string, uint_fast64_t>> Coalition::getPlayerIds() const {
-            return playerIds;
-        }
-
-        std::ostream& operator<<(std::ostream& stream, Coalition const& coalition) {
-            bool firstItem = true;
-            stream << "<<";
-            for (auto const& id : coalition.playerIds) {
-                if(firstItem) { firstItem = false; } else { stream << ","; }
-                stream << id;
-            }
-            stream << ">> ";
-            return stream;
-        }
-    }
-}
diff --git a/src/storm/logic/Coalition.h b/src/storm/logic/Coalition.h
deleted file mode 100644
index 9f3966dd1..000000000
--- a/src/storm/logic/Coalition.h
+++ /dev/null
@@ -1,32 +0,0 @@
-#ifndef STORM_LOGIC_COALITION_H_
-#define STORM_LOGIC_COALITION_H_
-
-#include <vector>
-#include <string>
-
-#include <boost/optional.hpp>
-#include <boost/variant.hpp>
-#include "storm/storage/BoostTypes.h"
-#include "storm/utility/OsDetection.h"
-
-namespace storm {
-    namespace logic {
-
-        class Coalition {
-        public:
-            Coalition() = default;
-            Coalition(std::vector<boost::variant<std::string, uint_fast64_t>>);
-            Coalition(Coalition const& other) = default;
-
-            std::vector<boost::variant<std::string, uint_fast64_t>> getPlayerIds() const;
-
-            friend std::ostream& operator<<(std::ostream& stream, Coalition const& coalition);
-
-        private:
-            std::vector<boost::variant<std::string, uint_fast64_t>> playerIds;
-        };
-    }
-}
-
-
-#endif /* STORM_LOGIC_COALITION_H_ */