storm::logic::PlayerCoalition Member List

This is the complete list of members for storm::logic::PlayerCoalition, including all inherited members.

getPlayers() const	storm::logic::PlayerCoalition
operator<<	storm::logic::PlayerCoalition	friend
PlayerCoalition()=default	storm::logic::PlayerCoalition
PlayerCoalition(std::vector< std::variant< std::string, storm::storage::PlayerIndex > > const &playerIds)	storm::logic::PlayerCoalition