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

cachedVector	storm::solver::Multiplier< ValueType, SolutionType >	mutableprotected
clearCache() const	storm::solver::Multiplier< ValueType, SolutionType >	virtual
matrix	storm::solver::Multiplier< ValueType, SolutionType >	protected
Multiplier(storm::storage::SparseMatrix< ValueType > const &matrix)	storm::solver::Multiplier< ValueType, SolutionType >
multiply(Environment const &env, std::vector< SolutionType > const &x, std::vector< ValueType > const *b, std::vector< SolutionType > &result) const =0	storm::solver::Multiplier< ValueType, SolutionType >	pure virtual
multiplyAndReduce(Environment const &env, OptimizationDirection const &dir, std::vector< SolutionType > const &x, std::vector< ValueType > const b, std::vector< SolutionType > &result, UncertaintyResolutionMode const &uncertaintyResolutionMode=UncertaintyResolutionMode::Unset, std::vector< uint_fast64_t > choices=nullptr) const	storm::solver::Multiplier< ValueType, SolutionType >
multiplyAndReduce(Environment const &env, OptimizationDirection const &dir, std::vector< uint64_t > const &rowGroupIndices, std::vector< SolutionType > const &x, std::vector< ValueType > const b, std::vector< SolutionType > &result, UncertaintyResolutionMode const &uncertaintyResolutionMode=UncertaintyResolutionMode::Unset, std::vector< uint_fast64_t > choices=nullptr) const =0	storm::solver::Multiplier< ValueType, SolutionType >	pure virtual
multiplyAndReduceGaussSeidel(Environment const &env, OptimizationDirection const &dir, std::vector< SolutionType > &x, std::vector< ValueType > const b, std::vector< uint_fast64_t > choices=nullptr, bool backwards=true) const	storm::solver::Multiplier< ValueType, SolutionType >
multiplyAndReduceGaussSeidel(Environment const &env, OptimizationDirection const &dir, std::vector< uint64_t > const &rowGroupIndices, std::vector< SolutionType > &x, std::vector< ValueType > const b, std::vector< uint_fast64_t > choices=nullptr, bool backwards=true) const =0	storm::solver::Multiplier< ValueType, SolutionType >	pure virtual
multiplyGaussSeidel(Environment const &env, std::vector< SolutionType > &x, std::vector< ValueType > const *b, bool backwards=true) const =0	storm::solver::Multiplier< ValueType, SolutionType >	pure virtual
provideCachedVector(uint64_t size) const	storm::solver::Multiplier< ValueType, SolutionType >	protected
repeatedMultiply(Environment const &env, std::vector< SolutionType > &x, std::vector< ValueType > const *b, uint64_t n) const	storm::solver::Multiplier< ValueType, SolutionType >
repeatedMultiplyAndReduce(Environment const &env, OptimizationDirection const &dir, std::vector< SolutionType > &x, std::vector< ValueType > const *b, uint64_t n, UncertaintyResolutionMode const &uncertaintyResolutionMode=UncertaintyResolutionMode::Unset) const	storm::solver::Multiplier< ValueType, SolutionType >
repeatedMultiplyAndReduceWithFactor(Environment const &env, OptimizationDirection const &dir, std::vector< SolutionType > &x, std::vector< ValueType > const *b, uint64_t n, SolutionType factor, UncertaintyResolutionMode const &uncertaintyResolutionMode=UncertaintyResolutionMode::Unset) const	storm::solver::Multiplier< ValueType, SolutionType >
repeatedMultiplyWithFactor(Environment const &env, std::vector< SolutionType > &x, std::vector< ValueType > const *b, uint64_t n, SolutionType factor) const	storm::solver::Multiplier< ValueType, SolutionType >
~Multiplier()=default	storm::solver::Multiplier< ValueType, SolutionType >	virtual