#include <Player.h>
Definition at line 11 of file Player.h.
◆ 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 |
◆ 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]
◆ operator=() [2/2]
Player & storm::prism::Player::operator= |
( |
Player const & |
other | ) |
|
|
default |
◆ operator<<
std::ostream & operator<< |
( |
std::ostream & |
stream, |
|
|
Player const & |
player |
|
) |
| |
|
friend |
The documentation for this class was generated from the following files: