Player.h

Go to the documentation of this file.

#pragma once
 
#include <string>
#include <unordered_set>
 
#include "storm/storage/prism/LocatedInformation.h"
 
namespace storm {
namespace prism {
 
class Player : public LocatedInformation {
   public:
    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);
 
    // Create default implementations of constructors/assignment.
    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;
 
    std::unordered_set<std::string> const& getModules() const;
 
    std::unordered_set<std::string> const& getActions() const;
 
    friend std::ostream& operator<<(std::ostream& stream, Player const& player);
 
   private:
    // The name of the player.
    std::string playerName;
 
    // The modules associated with this player.
    std::unordered_set<std::string> controlledModules;
 
    // The Actions associated with this player.
    std::unordered_set<std::string> controlledActions;
};
 
}  // namespace prism
}  // namespace storm