PlayerCoalition.cpp File Reference

#include "storm/logic/PlayerCoalition.h"
#include <ostream>

Include dependency graph for PlayerCoalition.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::logic

Functions
template<typename T0 , typename... Ts>
std::ostream &	storm::logic::operator<< (std::ostream &s, std::variant< T0, Ts... > const &v)
std::ostream &	storm::logic::operator<< (std::ostream &stream, PlayerCoalition const &coalition)