StochasticTwoPlayerGame.h

Go to the documentation of this file.

#pragma once
 
#include "storm/models/sparse/NondeterministicModel.h"
 
namespace storm {
namespace models {
namespace sparse {
 
template<class ValueType, typename RewardModelType = StandardRewardModel<ValueType>>
class StochasticTwoPlayerGame : public NondeterministicModel<ValueType, RewardModelType> {
   public:
    StochasticTwoPlayerGame(storm::storage::SparseMatrix<storm::storage::sparse::state_type> const& player1Matrix,
                            storm::storage::SparseMatrix<ValueType> const& player2Matrix, storm::models::sparse::StateLabeling const& stateLabeling,
                            std::unordered_map<std::string, RewardModelType> const& rewardModels = std::unordered_map<std::string, RewardModelType>()),
 
        StochasticTwoPlayerGame(storm::storage::SparseMatrix<storm::storage::sparse::state_type>&& player1Matrix,
                                storm::storage::SparseMatrix<ValueType>&& player2Matrix, storm::models::sparse::StateLabeling&& stateLabeling,
                                std::unordered_map<std::string, RewardModelType>&& rewardModels = std::unordered_map<std::string, RewardModelType>()),
 
        StochasticTwoPlayerGame(storm::storage::sparse::ModelComponents<ValueType, RewardModelType> const& components);
    StochasticTwoPlayerGame(storm::storage::sparse::ModelComponents<ValueType, RewardModelType>&& components);
 
    StochasticTwoPlayerGame(StochasticTwoPlayerGame const& other) = default;
    StochasticTwoPlayerGame& operator=(StochasticTwoPlayerGame const& other) = default;
 
    StochasticTwoPlayerGame(StochasticTwoPlayerGame&& other) = default;
    StochasticTwoPlayerGame& operator=(StochasticTwoPlayerGame&& other) = default;
 
    storm::storage::SparseMatrix<storm::storage::sparse::state_type> const& getPlayer1Matrix() const;
 
    storm::storage::SparseMatrix<ValueType> const& getPlayer2Matrix() const;
 
    bool hasPlayer2ChoiceLabeling() const;
 
    storm::models::sparse::ChoiceLabeling const& getPlayer2ChoiceLabeling() const;
 
   private:
    // A matrix that stores the player 1 choices. This matrix contains a row group for each player 1 node. Every
    // row group contains a row for each choice in that player 1 node. Each such row contains exactly one
    // (non-zero) entry at a column that indicates the player 2 node this choice leads to (which is essentially
    // the index of a row group in the matrix for player 2).
    storm::storage::SparseMatrix<storm::storage::sparse::state_type> player1Matrix;
 
    // The matrix for player 2 are stored in the superclass.
};
 
}  // namespace sparse
}  // namespace models
}  // namespace storm