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

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

cachedVectorstorm::solver::Multiplier< ValueType >mutableprotected
clearCache() const overridestorm::solver::ViOperatorMultiplier< ValueType, TrivialRowGrouping >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::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 overridestorm::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) 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::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) conststorm::solver::Multiplier< ValueType >
multiplyGaussSeidel(Environment const &env, std::vector< ValueType > &x, std::vector< ValueType > const *b, bool backwards=true) const overridestorm::solver::ViOperatorMultiplier< ValueType, TrivialRowGrouping >virtual
provideCachedVector(uint64_t size) conststorm::solver::Multiplier< ValueType >protected
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 >
ViOperatorMultiplier(storm::storage::SparseMatrix< ValueType > const &matrix)storm::solver::ViOperatorMultiplier< ValueType, TrivialRowGrouping >
~Multiplier()=defaultstorm::solver::Multiplier< ValueType >virtual
~ViOperatorMultiplier()=defaultstorm::solver::ViOperatorMultiplier< ValueType, TrivialRowGrouping >virtual