Storm 1.11.1.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::solver::detail::MultiplierBackend< ValueType, Dir, TrackChoices > Member List

This is the complete list of members for storm::solver::detail::MultiplierBackend< ValueType, Dir, TrackChoices >, including all inherited members.

abort() conststorm::solver::detail::MultiplierBackend< ValueType, Dir, TrackChoices >inline
applyUpdate(ValueType &currValue, uint64_t rowGroup)storm::solver::detail::MultiplierBackend< ValueType, Dir, TrackChoices >inline
converged() conststorm::solver::detail::MultiplierBackend< ValueType, Dir, TrackChoices >inline
endOfIteration() conststorm::solver::detail::MultiplierBackend< ValueType, Dir, TrackChoices >inline
firstRow(ValueType &&value, uint64_t rowGroup, uint64_t row)storm::solver::detail::MultiplierBackend< ValueType, Dir, TrackChoices >inline
MultiplierBackend()storm::solver::detail::MultiplierBackend< ValueType, Dir, TrackChoices >inline
MultiplierBackend(std::vector< uint64_t > &choices, std::vector< uint64_t > const &rowGroupIndices)storm::solver::detail::MultiplierBackend< ValueType, Dir, TrackChoices >inline
nextRow(ValueType &&value, uint64_t rowGroup, uint64_t row)storm::solver::detail::MultiplierBackend< ValueType, Dir, TrackChoices >inline
startNewIteration()storm::solver::detail::MultiplierBackend< ValueType, Dir, TrackChoices >inline