| AbstractEquationSolver() | storm::solver::AbstractEquationSolver< ValueType > | |
| BoundType enum name | storm::solver::AbstractEquationSolver< ValueType > | |
| clearBounds() | storm::solver::AbstractEquationSolver< ValueType > | |
| clearCache() const | storm::solver::GameSolver< ValueType > | virtual |
| clearRelevantValues() | storm::solver::AbstractEquationSolver< ValueType > | |
| clearSolutionBounds() const | storm::solver::AbstractEquationSolver< ValueType > | protected |
| 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 |
| finalizeSolutionBounds(std::vector< ValueType > const &x) const | storm::solver::AbstractEquationSolver< ValueType > | protected |
| GameSolver() | storm::solver::GameSolver< ValueType > | protected |
| getLowerBound() 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 > | |
| getSolutionBounds() const | storm::solver::AbstractEquationSolver< ValueType > | |
| getSolutionLowerBounds() const | storm::solver::AbstractEquationSolver< ValueType > | |
| getSolutionUpperBounds() 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 > | |
| getUpperBounds() const | storm::solver::AbstractEquationSolver< ValueType > | |
| hasCustomTerminationCondition() const | storm::solver::AbstractEquationSolver< ValueType > | |
| hasExactSolutionBounds() 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 > | |
| hasSolutionLowerBounds() const | storm::solver::AbstractEquationSolver< ValueType > | |
| hasSolutionUpperBounds() const | storm::solver::AbstractEquationSolver< 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 =0 | storm::solver::GameSolver< ValueType > | pure 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 > | |
| 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 > | |
| setRelevantValues(storm::storage::BitVector &&valuesOfInterest) | storm::solver::AbstractEquationSolver< ValueType > | |
| setSchedulerHints(std::vector< uint_fast64_t > &&player1Choices, std::vector< uint_fast64_t > &&player2Choices) | storm::solver::GameSolver< ValueType > | |
| setShowProgress(bool verbose, uint64_t delay=5) | storm::solver::AbstractEquationSolver< ValueType > | |
| setSolutionBounds(SolutionBounds< ValueType > bounds) const | storm::solver::AbstractEquationSolver< ValueType > | protected |
| setSolutionBoundsExact(std::vector< ValueType > const &x) const | storm::solver::AbstractEquationSolver< ValueType > | protected |
| setSolutionBoundsFromPrecision(std::vector< ValueType > const &x, ValueType const &precision, bool relative) const | storm::solver::AbstractEquationSolver< ValueType > | protected |
| 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 > | |
| 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 =0 | storm::solver::GameSolver< ValueType > | pure virtual |
| 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 |
| upperBound | storm::solver::AbstractEquationSolver< ValueType > | protected |
| upperBounds | storm::solver::AbstractEquationSolver< ValueType > | protected |
| ~GameSolver()=default | storm::solver::GameSolver< ValueType > | virtual |
1.15.0