removed old Coalition files

have been renamed to PlayerCoalition

src/storm/logic/Coalition.cpp

@@ -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;
-        }
-    }
-}

src/storm/logic/Coalition.h

@@ -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_ */