Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::solver::NativeMultiplier< ValueType > Member List

This is the complete list of members for storm::solver::NativeMultiplier< ValueType >, including all inherited members.

cachedVectorstorm::solver::Multiplier< ValueType >mutableprotected
clearCache() conststorm::solver::Multiplier< ValueType >virtual
matrixstorm::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 overridestorm::solver::NativeMultiplier< 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 overridestorm::solver::NativeMultiplier< 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) conststorm::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 overridestorm::solver::NativeMultiplier< 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) conststorm::solver::Multiplier< ValueType >
multiplyGaussSeidel(Environment const &env, std::vector< ValueType > &x, std::vector< ValueType > const *b, bool backwards=true) const overridestorm::solver::NativeMultiplier< ValueType >virtual
multiplyRow(uint64_t const &rowIndex, std::vector< ValueType > const &x, ValueType &value) const overridestorm::solver::NativeMultiplier< ValueType >virtual
multiplyRow2(uint64_t const &rowIndex, std::vector< ValueType > const &x1, ValueType &val1, std::vector< ValueType > const &x2, ValueType &val2) const overridestorm::solver::NativeMultiplier< ValueType >virtual
NativeMultiplier(storm::storage::SparseMatrix< ValueType > const &matrix)storm::solver::NativeMultiplier< ValueType >
repeatedMultiply(Environment const &env, std::vector< ValueType > &x, std::vector< ValueType > const *b, uint64_t n) conststorm::solver::Multiplier< ValueType >
repeatedMultiplyAndReduce(Environment const &env, OptimizationDirection const &dir, std::vector< ValueType > &x, std::vector< ValueType > const *b, uint64_t n) conststorm::solver::Multiplier< ValueType >
~Multiplier()=defaultstorm::solver::Multiplier< ValueType >virtual
~NativeMultiplier()=defaultstorm::solver::NativeMultiplier< ValueType >virtual