| 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 > | |
| 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 =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 > | |
| 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 =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 |
| 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 |
1.9.8