Storm
A Modern Probabilistic Model Checker
|
This is the complete list of members for storm::solver::ViOperatorMultiplier< ValueType, TrivialRowGrouping >, including all inherited members.
cachedVector | storm::solver::Multiplier< ValueType > | mutableprotected |
clearCache() const override | storm::solver::ViOperatorMultiplier< ValueType, TrivialRowGrouping > | virtual |
matrix | storm::solver::Multiplier< ValueType > | protected |
Multiplier(storm::storage::SparseMatrix< ValueType > const &matrix) | storm::solver::Multiplier< ValueType > | |
multiply(Environment const &env, std::vector< ValueType > const &x, std::vector< ValueType > const *b, std::vector< ValueType > &result) const override | storm::solver::ViOperatorMultiplier< ValueType, TrivialRowGrouping > | virtual |
multiplyAndReduce(Environment const &env, OptimizationDirection const &dir, std::vector< uint64_t > const &rowGroupIndices, std::vector< ValueType > const &x, std::vector< ValueType > const *b, std::vector< ValueType > &result, std::vector< uint_fast64_t > *choices=nullptr) const override | storm::solver::ViOperatorMultiplier< ValueType, TrivialRowGrouping > | virtual |
storm::solver::Multiplier::multiplyAndReduce(Environment const &env, OptimizationDirection const &dir, std::vector< ValueType > const &x, std::vector< ValueType > const *b, std::vector< ValueType > &result, std::vector< uint_fast64_t > *choices=nullptr) const | storm::solver::Multiplier< ValueType > | |
multiplyAndReduceGaussSeidel(Environment const &env, OptimizationDirection const &dir, std::vector< uint64_t > const &rowGroupIndices, std::vector< ValueType > &x, std::vector< ValueType > const *b, std::vector< uint_fast64_t > *choices=nullptr, bool backwards=true) const override | storm::solver::ViOperatorMultiplier< ValueType, TrivialRowGrouping > | virtual |
storm::solver::Multiplier::multiplyAndReduceGaussSeidel(Environment const &env, OptimizationDirection const &dir, std::vector< ValueType > &x, std::vector< ValueType > const *b, std::vector< uint_fast64_t > *choices=nullptr, bool backwards=true) const | storm::solver::Multiplier< ValueType > | |
multiplyGaussSeidel(Environment const &env, std::vector< ValueType > &x, std::vector< ValueType > const *b, bool backwards=true) const override | storm::solver::ViOperatorMultiplier< ValueType, TrivialRowGrouping > | virtual |
provideCachedVector(uint64_t size) const | storm::solver::Multiplier< ValueType > | protected |
repeatedMultiply(Environment const &env, std::vector< ValueType > &x, std::vector< ValueType > const *b, uint64_t n) const | storm::solver::Multiplier< ValueType > | |
repeatedMultiplyAndReduce(Environment const &env, OptimizationDirection const &dir, std::vector< ValueType > &x, std::vector< ValueType > const *b, uint64_t n) const | storm::solver::Multiplier< ValueType > | |
ViOperatorMultiplier(storm::storage::SparseMatrix< ValueType > const &matrix) | storm::solver::ViOperatorMultiplier< ValueType, TrivialRowGrouping > | |
~Multiplier()=default | storm::solver::Multiplier< ValueType > | virtual |
~ViOperatorMultiplier()=default | storm::solver::ViOperatorMultiplier< ValueType, TrivialRowGrouping > | virtual |