Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
storm::solver::GameSolverFactory< ValueType > Class Template Reference

#include <GameSolver.h>

Public Member Functions

 GameSolverFactory ()
 
virtual ~GameSolverFactory ()=default
 
virtual std::unique_ptr< GameSolver< ValueType > > create (Environment const &env, storm::storage::SparseMatrix< storm::storage::sparse::state_type > const &player1Matrix, storm::storage::SparseMatrix< ValueType > const &player2Matrix) const
 
virtual std::unique_ptr< GameSolver< ValueType > > create (Environment const &env, storm::storage::SparseMatrix< storm::storage::sparse::state_type > &&player1Matrix, storm::storage::SparseMatrix< ValueType > &&player2Matrix) const
 
virtual std::unique_ptr< GameSolver< ValueType > > create (Environment const &env, std::vector< uint64_t > const &player1Grouping, storm::storage::SparseMatrix< ValueType > const &player2Matrix) const
 
virtual std::unique_ptr< GameSolver< ValueType > > create (Environment const &env, std::vector< uint64_t > &&player1Grouping, storm::storage::SparseMatrix< ValueType > &&player2Matrix) const
 

Detailed Description

template<typename ValueType>
class storm::solver::GameSolverFactory< ValueType >

Definition at line 155 of file GameSolver.h.

Constructor & Destructor Documentation

◆ GameSolverFactory()

template<typename ValueType >
storm::solver::GameSolverFactory< ValueType >::GameSolverFactory ( )

Definition at line 116 of file GameSolver.cpp.

◆ ~GameSolverFactory()

template<typename ValueType >
virtual storm::solver::GameSolverFactory< ValueType >::~GameSolverFactory ( )
virtualdefault

Member Function Documentation

◆ create() [1/4]

template<typename ValueType >
std::unique_ptr< GameSolver< ValueType > > storm::solver::GameSolverFactory< ValueType >::create ( Environment const &  env,
std::vector< uint64_t > &&  player1Grouping,
storm::storage::SparseMatrix< ValueType > &&  player2Matrix 
) const
virtual

Definition at line 142 of file GameSolver.cpp.

◆ create() [2/4]

template<typename ValueType >
std::unique_ptr< GameSolver< ValueType > > storm::solver::GameSolverFactory< ValueType >::create ( Environment const &  env,
std::vector< uint64_t > const &  player1Grouping,
storm::storage::SparseMatrix< ValueType > const &  player2Matrix 
) const
virtual

Definition at line 136 of file GameSolver.cpp.

◆ create() [3/4]

template<typename ValueType >
std::unique_ptr< GameSolver< ValueType > > storm::solver::GameSolverFactory< ValueType >::create ( Environment const &  env,
storm::storage::SparseMatrix< storm::storage::sparse::state_type > &&  player1Matrix,
storm::storage::SparseMatrix< ValueType > &&  player2Matrix 
) const
virtual

Definition at line 128 of file GameSolver.cpp.

◆ create() [4/4]

template<typename ValueType >
std::unique_ptr< GameSolver< ValueType > > storm::solver::GameSolverFactory< ValueType >::create ( Environment const &  env,
storm::storage::SparseMatrix< storm::storage::sparse::state_type > const &  player1Matrix,
storm::storage::SparseMatrix< ValueType > const &  player2Matrix 
) const
virtual

Definition at line 121 of file GameSolver.cpp.

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