| AbstractEquationSolver() | storm::solver::AbstractEquationSolver< ValueType > | |
| BoundType enum name | storm::solver::AbstractEquationSolver< ValueType > | |
| cachedRowVector | storm::solver::LinearEquationSolver< ValueType > | mutableprotected |
| clearBounds() | storm::solver::AbstractEquationSolver< ValueType > | |
| clearCache() const | storm::solver::LinearEquationSolver< ValueType > | virtual |
| clearRelevantValues() | storm::solver::AbstractEquationSolver< ValueType > | |
| clearSolutionBounds() const | storm::solver::AbstractEquationSolver< ValueType > | protected |
| 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 |
| getEquationProblemFormat(Environment const &env) const =0 | storm::solver::LinearEquationSolver< ValueType > | pure virtual |
| getLowerBound() const | storm::solver::AbstractEquationSolver< ValueType > | |
| getLowerBounds() const | storm::solver::AbstractEquationSolver< ValueType > | |
| getOptionalRelevantValues() const | storm::solver::AbstractEquationSolver< ValueType > | |
| getRelevantValues() const | storm::solver::AbstractEquationSolver< ValueType > | |
| getRequirements(Environment const &env) const | storm::solver::LinearEquationSolver< ValueType > | virtual |
| 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 > | |
| hasSolutionLowerBounds() const | storm::solver::AbstractEquationSolver< ValueType > | |
| hasSolutionUpperBounds() const | storm::solver::AbstractEquationSolver< ValueType > | |
| hasUpperBound(BoundType const &type=BoundType::Any) const | storm::solver::AbstractEquationSolver< ValueType > | |
| internalSolveEquations(Environment const &env, std::vector< ValueType > &x, std::vector< ValueType > const &b) const =0 | storm::solver::LinearEquationSolver< ValueType > | protectedpure virtual |
| isCachingEnabled() const | storm::solver::LinearEquationSolver< ValueType > | |
| isShowProgressSet() const | storm::solver::AbstractEquationSolver< ValueType > | |
| LinearEquationSolver() | storm::solver::LinearEquationSolver< ValueType > | |
| lowerBound | storm::solver::AbstractEquationSolver< ValueType > | protected |
| lowerBounds | storm::solver::AbstractEquationSolver< ValueType > | protected |
| relevantValues | storm::solver::AbstractEquationSolver< ValueType > | protected |
| 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) const | storm::solver::LinearEquationSolver< ValueType > | |
| setLowerBound(ValueType const &value) | storm::solver::AbstractEquationSolver< ValueType > | |
| setLowerBounds(std::vector< ValueType > const &values) | storm::solver::AbstractEquationSolver< ValueType > | |
| setMatrix(storm::storage::SparseMatrix< ValueType > const &A)=0 | storm::solver::LinearEquationSolver< ValueType > | pure virtual |
| setMatrix(storm::storage::SparseMatrix< ValueType > &&A)=0 | storm::solver::LinearEquationSolver< ValueType > | pure virtual |
| setRelevantValues(storm::storage::BitVector &&valuesOfInterest) | storm::solver::AbstractEquationSolver< 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 > | |
| 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 > | |
| solveEquations(Environment const &env, std::vector< ValueType > &x, std::vector< ValueType > const &b) const | storm::solver::LinearEquationSolver< 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 |
| 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 |
| ~LinearEquationSolver() | storm::solver::LinearEquationSolver< ValueType > | inlinevirtual |
1.15.0