storm::prism::Player Class Reference

#include <Player.h>

Inheritance diagram for storm::prism::Player:

Collaboration diagram for storm::prism::Player:

Public Member Functions
	Player (std::string const &playerName, std::unordered_set< std::string > const &controlledModules, std::unordered_set< std::string > const &controlledActions, std::string const &filename="", uint_fast32_t lineNumber=0)
	Creates a player with the given name, controlled modules and actions.
	Player ()=default
	Player (Player const &other)=default
Player &	operator= (Player const &other)=default
	Player (Player &&other)=default
Player &	operator= (Player &&other)=default
std::string const &	getName () const
	Retrieves the name of the player.
std::unordered_set< std::string > const &	getModules () const
	Retrieves all controlled Modules of the player.
std::unordered_set< std::string > const &	getActions () const
	Retrieves all controlled Actions of the player.
Public Member Functions inherited from storm::prism::LocatedInformation
	LocatedInformation (std::string const &filename, uint_fast64_t lineNumber)
	Constructs a located information with the given filename and line number.
	LocatedInformation ()=default
	LocatedInformation (LocatedInformation const &other)=default
LocatedInformation &	operator= (LocatedInformation const &other)=default
	LocatedInformation (LocatedInformation &&other)=default
LocatedInformation &	operator= (LocatedInformation &&other)=default
std::string const &	getFilename () const
	Retrieves the name of the file in which the information was found.
void	setFilename (std::string const &filename)
	Sets the filename of this information.
uint_fast64_t	getLineNumber () const
	Retrieves the line number in which the information was found.
void	setLineNumber (uint_fast64_t lineNumber)
	Sets the line number of this information.

Friends
std::ostream &	operator<< (std::ostream &stream, Player const &player)

Detailed Description

Definition at line 11 of file Player.h.

Constructor & Destructor Documentation

Player() [1/4]

storm::prism::Player::Player	(	std::string const &	playerName,
		std::unordered_set< std::string > const &	controlledModules,
		std::unordered_set< std::string > const &	controlledActions,
		std::string const &	filename = "",
		uint_fast32_t	lineNumber = 0
	)

Creates a player with the given name, controlled modules and actions.

Parameters

playerName	The name of the player.
controlledModules	The controlled modules.
controlledActions	The controlled actions.
filename	The filename in which the player is defined.
lineNumber	The line number in which the player is defined.

Definition at line 6 of file Player.cpp.

Player() [2/4]

storm::prism::Player::Player ( )

default

Player() [3/4]

storm::prism::Player::Player ( Player const &  other )

default

Player() [4/4]

storm::prism::Player::Player ( Player &&  other )

default

Member Function Documentation

getActions()

std::unordered_set< std::string > const & storm::prism::Player::getActions

(

)

const

Retrieves all controlled Actions of the player.

Returns

The Actions controlled by the player.

Definition at line 20 of file Player.cpp.

getModules()

std::unordered_set< std::string > const & storm::prism::Player::getModules

(

)

const

Retrieves all controlled Modules of the player.

Returns

The modules controlled by the player.

Definition at line 16 of file Player.cpp.

getName()

std::string const & storm::prism::Player::getName

(

)

const

Retrieves the name of the player.

Returns

The name of the player.

Definition at line 12 of file Player.cpp.

operator=() [1/2]

Player & storm::prism::Player::operator= ( Player &&  other )

default

operator=() [2/2]

Player & storm::prism::Player::operator= ( Player const &  other )

default

Friends And Related Symbol Documentation

operator<<

std::ostream & operator<< ( std::ostream &  stream, Player const &  player  )

friend

Definition at line 24 of file Player.cpp.

---

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

• src/storm/storage/prism/Player.h
• src/storm/storage/prism/Player.cpp