storm::solver::detail::MultiplierBackend< ValueType, Dir, TrackChoices > Class Template Reference

This backend stores the best (maximal or minimal) value of the current row group. More...

Public Member Functions
	MultiplierBackend ()
	MultiplierBackend (std::vector< uint64_t > &choices, std::vector< uint64_t > const &rowGroupIndices)
void	startNewIteration ()
void	firstRow (ValueType &&value, uint64_t rowGroup, uint64_t row)
void	nextRow (ValueType &&value, uint64_t rowGroup, uint64_t row)
void	applyUpdate (ValueType &currValue, uint64_t rowGroup)
void	endOfIteration () const
bool	converged () const
bool constexpr	abort () const

Detailed Description

template<typename ValueType, BackendOptimizationDirection Dir = BackendOptimizationDirection::None, bool TrackChoices = false>
class storm::solver::detail::MultiplierBackend< ValueType, Dir, TrackChoices >

This backend stores the best (maximal or minimal) value of the current row group.

It also allows to track the choices made by the scheduler.

Definition at line 23 of file ViOperatorMultiplier.cpp.

Constructor & Destructor Documentation

MultiplierBackend() [1/2]

template<typename ValueType , BackendOptimizationDirection Dir = BackendOptimizationDirection::None, bool TrackChoices = false>

storm::solver::detail::MultiplierBackend< ValueType, Dir, TrackChoices >::MultiplierBackend ( )

inline

Definition at line 25 of file ViOperatorMultiplier.cpp.

MultiplierBackend() [2/2]

template<typename ValueType , BackendOptimizationDirection Dir = BackendOptimizationDirection::None, bool TrackChoices = false>

storm::solver::detail::MultiplierBackend< ValueType, Dir, TrackChoices >::MultiplierBackend ( std::vector< uint64_t > &  choices, std::vector< uint64_t > const &  rowGroupIndices  )

inline

Definition at line 29 of file ViOperatorMultiplier.cpp.

Member Function Documentation

abort()

template<typename ValueType , BackendOptimizationDirection Dir = BackendOptimizationDirection::None, bool TrackChoices = false>

bool constexpr storm::solver::detail::MultiplierBackend< ValueType, Dir, TrackChoices >::abort ( ) const

inlineconstexpr

Definition at line 84 of file ViOperatorMultiplier.cpp.

applyUpdate()

template<typename ValueType , BackendOptimizationDirection Dir = BackendOptimizationDirection::None, bool TrackChoices = false>

void storm::solver::detail::MultiplierBackend< ValueType, Dir, TrackChoices >::applyUpdate ( ValueType &  currValue, uint64_t  rowGroup  )

inline

Definition at line 65 of file ViOperatorMultiplier.cpp.

converged()

template<typename ValueType , BackendOptimizationDirection Dir = BackendOptimizationDirection::None, bool TrackChoices = false>

bool storm::solver::detail::MultiplierBackend< ValueType, Dir, TrackChoices >::converged ( ) const

inline

Definition at line 80 of file ViOperatorMultiplier.cpp.

endOfIteration()

template<typename ValueType , BackendOptimizationDirection Dir = BackendOptimizationDirection::None, bool TrackChoices = false>

void storm::solver::detail::MultiplierBackend< ValueType, Dir, TrackChoices >::endOfIteration ( ) const

inline

Definition at line 76 of file ViOperatorMultiplier.cpp.

firstRow()

template<typename ValueType , BackendOptimizationDirection Dir = BackendOptimizationDirection::None, bool TrackChoices = false>

void storm::solver::detail::MultiplierBackend< ValueType, Dir, TrackChoices >::firstRow ( ValueType &&  value, uint64_t  rowGroup, uint64_t  row  )

inline

Definition at line 39 of file ViOperatorMultiplier.cpp.

nextRow()

template<typename ValueType , BackendOptimizationDirection Dir = BackendOptimizationDirection::None, bool TrackChoices = false>

void storm::solver::detail::MultiplierBackend< ValueType, Dir, TrackChoices >::nextRow ( ValueType &&  value, uint64_t  rowGroup, uint64_t  row  )

inline

Definition at line 46 of file ViOperatorMultiplier.cpp.

startNewIteration()

template<typename ValueType , BackendOptimizationDirection Dir = BackendOptimizationDirection::None, bool TrackChoices = false>

void storm::solver::detail::MultiplierBackend< ValueType, Dir, TrackChoices >::startNewIteration ( )

inline

Definition at line 35 of file ViOperatorMultiplier.cpp.

---

The documentation for this class was generated from the following file:

• src/storm/solver/multiplier/ViOperatorMultiplier.cpp