Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
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
 
Playeroperator= (Player const &other)=default
 
 Player (Player &&other)=default
 
Playeroperator= (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
 
LocatedInformationoperator= (LocatedInformation const &other)=default
 
 LocatedInformation (LocatedInformation &&other)=default
 
LocatedInformationoperator= (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
playerNameThe name of the player.
controlledModulesThe controlled modules.
controlledActionsThe controlled actions.
filenameThe filename in which the player is defined.
lineNumberThe 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: