Storm
A Modern Probabilistic Model Checker
|
This is the complete list of members for storm::solver::GmmxxMultiplier< ValueType >, including all inherited members.
cachedVector | storm::solver::Multiplier< ValueType > | mutableprotected |
clearCache() const override | storm::solver::GmmxxMultiplier< ValueType > | virtual |
GmmxxMultiplier(storm::storage::SparseMatrix< ValueType > const &matrix) | storm::solver::GmmxxMultiplier< ValueType > | |
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::GmmxxMultiplier< ValueType > | 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::GmmxxMultiplier< ValueType > | 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::GmmxxMultiplier< ValueType > | 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::GmmxxMultiplier< ValueType > | virtual |
multiplyRow(uint64_t const &rowIndex, std::vector< ValueType > const &x, ValueType &value) const override | storm::solver::GmmxxMultiplier< ValueType > | virtual |
multiplyRow2(uint64_t const &rowIndex, std::vector< ValueType > const &x1, ValueType &val1, std::vector< ValueType > const &x2, ValueType &val2) const | storm::solver::Multiplier< ValueType > | virtual |
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 > | |
~GmmxxMultiplier()=default | storm::solver::GmmxxMultiplier< ValueType > | virtual |
~Multiplier()=default | storm::solver::Multiplier< ValueType > | virtual |