storm::solver::detail Namespace Reference

Classes
class	MultiplierBackend
	This backend stores the best (maximal or minimal) value of the current row group. More...
class	PlainMultiplicationBackend
	This backend simply stores the row results in a vector. More...

Enumerations
enum class	BackendOptimizationDirection { None , Minimize , Maximize }

Enumeration Type Documentation

BackendOptimizationDirection

enum class storm::solver::detail::BackendOptimizationDirection

strong

Enumerator
None
Minimize
Maximize

Definition at line 16 of file ViOperatorMultiplier.cpp.