A | storm::solver::SymbolicGameSolver< Type, ValueType > | protected |
allRows | storm::solver::SymbolicGameSolver< Type, ValueType > | protected |
columnMetaVariables | storm::solver::SymbolicGameSolver< Type, ValueType > | protected |
generatePlayer1Strategy | storm::solver::SymbolicGameSolver< Type, ValueType > | protected |
generatePlayer2Strategy | storm::solver::SymbolicGameSolver< Type, ValueType > | protected |
getPlayer1Strategy() const | storm::solver::SymbolicGameSolver< Type, ValueType > | |
getPlayer2Strategy() const | storm::solver::SymbolicGameSolver< Type, ValueType > | |
illegalPlayer1Mask | storm::solver::SymbolicGameSolver< Type, ValueType > | protected |
illegalPlayer2Mask | storm::solver::SymbolicGameSolver< Type, ValueType > | protected |
player1Strategy | storm::solver::SymbolicGameSolver< Type, ValueType > | protected |
player1Variables | storm::solver::SymbolicGameSolver< Type, ValueType > | protected |
player2Strategy | storm::solver::SymbolicGameSolver< Type, ValueType > | protected |
player2Variables | storm::solver::SymbolicGameSolver< Type, ValueType > | protected |
rowColumnMetaVariablePairs | storm::solver::SymbolicGameSolver< Type, ValueType > | protected |
rowMetaVariables | storm::solver::SymbolicGameSolver< Type, ValueType > | protected |
setGeneratePlayer1Strategy(bool value) | storm::solver::SymbolicGameSolver< Type, ValueType > | |
setGeneratePlayer2Strategy(bool value) | storm::solver::SymbolicGameSolver< Type, ValueType > | |
setGeneratePlayersStrategies(bool value) | storm::solver::SymbolicGameSolver< Type, ValueType > | |
solveGame(Environment const &env, OptimizationDirection player1Goal, OptimizationDirection player2Goal, storm::dd::Add< Type, ValueType > const &x, storm::dd::Add< Type, ValueType > const &b, boost::optional< storm::dd::Bdd< Type > > const &basePlayer1Strategy=boost::none, boost::optional< storm::dd::Bdd< Type > > const &basePlayer2Strategy=boost::none) | storm::solver::SymbolicGameSolver< Type, ValueType > | virtual |
SymbolicGameSolver(storm::dd::Add< Type, ValueType > const &A, storm::dd::Bdd< Type > const &allRows, storm::dd::Bdd< Type > const &illegalPlayer1Mask, storm::dd::Bdd< Type > const &illegalPlayer2Mask, std::set< storm::expressions::Variable > const &rowMetaVariables, std::set< storm::expressions::Variable > const &columnMetaVariables, std::vector< std::pair< storm::expressions::Variable, storm::expressions::Variable > > const &rowColumnMetaVariablePairs, std::set< storm::expressions::Variable > const &player1Variables, std::set< storm::expressions::Variable > const &player2Variables) | storm::solver::SymbolicGameSolver< Type, ValueType > | |
~SymbolicGameSolver()=default | storm::solver::SymbolicGameSolver< Type, ValueType > | virtual |