storm::logic::PlayerCoalition Class Reference

#include <PlayerCoalition.h>

Public Member Functions
	PlayerCoalition ()=default
	PlayerCoalition (std::vector< std::variant< std::string, storm::storage::PlayerIndex > > const &playerIds)
std::vector< std::variant< std::string, storm::storage::PlayerIndex > > const &	getPlayers () const

Friends
std::ostream &	operator<< (std::ostream &stream, PlayerCoalition const &playerCoalition)

Detailed Description

Definition at line 12 of file PlayerCoalition.h.

Constructor & Destructor Documentation

PlayerCoalition() [1/2]

storm::logic::PlayerCoalition::PlayerCoalition ( )

default

PlayerCoalition() [2/2]

storm::logic::PlayerCoalition::PlayerCoalition

(

std::vector< std::variant< std::string, storm::storage::PlayerIndex > > const &

playerIds

)

Definition at line 7 of file PlayerCoalition.cpp.

Member Function Documentation

getPlayers()

std::vector< std::variant< std::string, storm::storage::PlayerIndex > > const & storm::logic::PlayerCoalition::getPlayers

(

)

const

Definition at line 11 of file PlayerCoalition.cpp.

Friends And Related Symbol Documentation

operator<<

std::ostream & operator<< ( std::ostream & stream, PlayerCoalition const & playerCoalition )

friend

Definition at line 21 of file PlayerCoalition.cpp.

---

The documentation for this class was generated from the following files:

• src/storm/logic/PlayerCoalition.h
• src/storm/logic/PlayerCoalition.cpp