AbstractEquationSolver() | storm::solver::AbstractEquationSolver< ValueType > | |
BoundType enum name | storm::solver::AbstractEquationSolver< ValueType > | |
clearBounds() | storm::solver::AbstractEquationSolver< ValueType > | |
clearCache() const override | storm::solver::StandardGameSolver< ValueType > | virtual |
clearRelevantValues() | storm::solver::AbstractEquationSolver< ValueType > | |
computePlayer1Scheduler() const | storm::solver::GameSolver< ValueType > | |
computePlayer2Scheduler() const | storm::solver::GameSolver< ValueType > | |
createLowerBoundsVector(std::vector< ValueType > &lowerBoundsVector) const | storm::solver::AbstractEquationSolver< ValueType > | protected |
createUpperBoundsVector(std::vector< ValueType > &upperBoundsVector) const | storm::solver::AbstractEquationSolver< ValueType > | protected |
createUpperBoundsVector(std::unique_ptr< std::vector< ValueType > > &upperBoundsVector, uint64_t length) const | storm::solver::AbstractEquationSolver< ValueType > | protected |
GameSolver() | storm::solver::GameSolver< ValueType > | protected |
getLowerBound() const | storm::solver::AbstractEquationSolver< ValueType > | |
getLowerBound(uint64_t const &index) const | storm::solver::AbstractEquationSolver< ValueType > | |
getLowerBound(bool convertLocalBounds) const | storm::solver::AbstractEquationSolver< ValueType > | |
getLowerBounds() const | storm::solver::AbstractEquationSolver< ValueType > | |
getOptionalRelevantValues() const | storm::solver::AbstractEquationSolver< ValueType > | |
getPlayer1SchedulerChoices() const | storm::solver::GameSolver< ValueType > | |
getPlayer2SchedulerChoices() const | storm::solver::GameSolver< ValueType > | |
getRelevantValues() const | storm::solver::AbstractEquationSolver< ValueType > | |
getShowProgressDelay() const | storm::solver::AbstractEquationSolver< ValueType > | |
getTerminationCondition() const | storm::solver::AbstractEquationSolver< ValueType > | protected |
getTerminationConditionPointer() const | storm::solver::AbstractEquationSolver< ValueType > | protected |
getUpperBound() const | storm::solver::AbstractEquationSolver< ValueType > | |
getUpperBound(uint64_t const &index) const | storm::solver::AbstractEquationSolver< ValueType > | |
getUpperBound(bool convertLocalBounds) const | storm::solver::AbstractEquationSolver< ValueType > | |
getUpperBounds() const | storm::solver::AbstractEquationSolver< ValueType > | |
hasCustomTerminationCondition() const | storm::solver::AbstractEquationSolver< ValueType > | |
hasLowerBound(BoundType const &type=BoundType::Any) const | storm::solver::AbstractEquationSolver< ValueType > | |
hasRelevantValues() const | storm::solver::AbstractEquationSolver< ValueType > | |
hasSchedulerHints() const | storm::solver::GameSolver< ValueType > | |
hasSchedulers() const | storm::solver::GameSolver< ValueType > | |
hasUniqueSolution() const | storm::solver::GameSolver< ValueType > | |
hasUpperBound(BoundType const &type=BoundType::Any) const | storm::solver::AbstractEquationSolver< ValueType > | |
isCachingEnabled() const | storm::solver::GameSolver< ValueType > | |
isShowProgressSet() const | storm::solver::AbstractEquationSolver< ValueType > | |
isTrackSchedulersSet() const | storm::solver::GameSolver< ValueType > | |
lowerBound | storm::solver::AbstractEquationSolver< ValueType > | protected |
lowerBounds | storm::solver::AbstractEquationSolver< ValueType > | protected |
player1ChoicesHint | storm::solver::GameSolver< ValueType > | protected |
player1SchedulerChoices | storm::solver::GameSolver< ValueType > | mutableprotected |
player2ChoicesHint | storm::solver::GameSolver< ValueType > | protected |
player2SchedulerChoices | storm::solver::GameSolver< ValueType > | mutableprotected |
relevantValues | storm::solver::AbstractEquationSolver< ValueType > | protected |
repeatedMultiply(Environment const &env, OptimizationDirection player1Dir, OptimizationDirection player2Dir, std::vector< ValueType > &x, std::vector< ValueType > const *b, uint_fast64_t n=1) const override | storm::solver::StandardGameSolver< ValueType > | virtual |
reportStatus(SolverStatus status, boost::optional< uint64_t > const &iterations=boost::none) const | storm::solver::AbstractEquationSolver< ValueType > | protected |
resetTerminationCondition() | storm::solver::AbstractEquationSolver< ValueType > | |
setBounds(ValueType const &lower, ValueType const &upper) | storm::solver::AbstractEquationSolver< ValueType > | |
setBounds(std::vector< ValueType > const &lower, std::vector< ValueType > const &upper) | storm::solver::AbstractEquationSolver< ValueType > | |
setBoundsFromOtherSolver(AbstractEquationSolver< ValueType > const &other) | storm::solver::AbstractEquationSolver< ValueType > | |
setCachingEnabled(bool value) | storm::solver::GameSolver< ValueType > | |
setHasUniqueSolution(bool value=true) | storm::solver::GameSolver< ValueType > | |
setLowerBound(ValueType const &value) | storm::solver::AbstractEquationSolver< ValueType > | |
setLowerBounds(std::vector< ValueType > const &values) | storm::solver::AbstractEquationSolver< ValueType > | |
setLowerBounds(std::vector< ValueType > &&values) | storm::solver::AbstractEquationSolver< ValueType > | |
setRelevantValues(storm::storage::BitVector &&valuesOfInterest) | storm::solver::AbstractEquationSolver< ValueType > | |
setRelevantValues(storm::storage::BitVector const &valuesOfInterest) | storm::solver::AbstractEquationSolver< ValueType > | |
setSchedulerHints(std::vector< uint_fast64_t > &&player1Choices, std::vector< uint_fast64_t > &&player2Choices) | storm::solver::GameSolver< ValueType > | |
setTerminationCondition(std::unique_ptr< TerminationCondition< ValueType > > terminationCondition) | storm::solver::AbstractEquationSolver< ValueType > | |
setTrackSchedulers(bool value=true) | storm::solver::GameSolver< ValueType > | |
setUpperBound(ValueType const &value) | storm::solver::AbstractEquationSolver< ValueType > | |
setUpperBounds(std::vector< ValueType > const &values) | storm::solver::AbstractEquationSolver< ValueType > | |
setUpperBounds(std::vector< ValueType > &&values) | storm::solver::AbstractEquationSolver< ValueType > | |
showProgressIterative(uint64_t iterations, boost::optional< uint64_t > const &bound=boost::none) const | storm::solver::AbstractEquationSolver< ValueType > | |
solveGame(Environment const &env, OptimizationDirection player1Dir, OptimizationDirection player2Dir, std::vector< ValueType > &x, std::vector< ValueType > const &b, std::vector< uint64_t > *player1Choices=nullptr, std::vector< uint64_t > *player2Choices=nullptr) const override | storm::solver::StandardGameSolver< ValueType > | virtual |
StandardGameSolver(storm::storage::SparseMatrix< storm::storage::sparse::state_type > const &player1Matrix, storm::storage::SparseMatrix< ValueType > const &player2Matrix, std::unique_ptr< LinearEquationSolverFactory< ValueType > > &&linearEquationSolverFactory) | storm::solver::StandardGameSolver< ValueType > | |
StandardGameSolver(storm::storage::SparseMatrix< storm::storage::sparse::state_type > &&player1Matrix, storm::storage::SparseMatrix< ValueType > &&player2Matrix, std::unique_ptr< LinearEquationSolverFactory< ValueType > > &&linearEquationSolverFactory) | storm::solver::StandardGameSolver< ValueType > | |
StandardGameSolver(std::vector< uint64_t > const &player1Groups, storm::storage::SparseMatrix< ValueType > const &player2Matrix, std::unique_ptr< LinearEquationSolverFactory< ValueType > > &&linearEquationSolverFactory) | storm::solver::StandardGameSolver< ValueType > | |
StandardGameSolver(std::vector< uint64_t > &&player1Groups, storm::storage::SparseMatrix< ValueType > &&player2Matrix, std::unique_ptr< LinearEquationSolverFactory< ValueType > > &&linearEquationSolverFactory) | storm::solver::StandardGameSolver< ValueType > | |
startMeasureProgress(uint64_t startingIteration=0) const | storm::solver::AbstractEquationSolver< ValueType > | |
terminateNow(std::vector< ValueType > const &values, SolverGuarantee const &guarantee) const | storm::solver::AbstractEquationSolver< ValueType > | |
terminationCondition | storm::solver::AbstractEquationSolver< ValueType > | protected |
trackSchedulers | storm::solver::GameSolver< ValueType > | protected |
updateStatus(SolverStatus status, std::vector< ValueType > const &x, SolverGuarantee const &guarantee, uint64_t iterations, uint64_t maximalNumberOfIterations) const | storm::solver::AbstractEquationSolver< ValueType > | protected |
updateStatus(SolverStatus status, bool earlyTermination, uint64_t iterations, uint64_t maximalNumberOfIterations) const | storm::solver::AbstractEquationSolver< ValueType > | protected |
upperBound | storm::solver::AbstractEquationSolver< ValueType > | protected |
upperBounds | storm::solver::AbstractEquationSolver< ValueType > | protected |
~GameSolver()=default | storm::solver::GameSolver< ValueType > | virtual |