storm::solver::stateelimination Namespace Reference

Classes
class	ConditionalStateEliminator
class	DynamicStatePriorityQueue
class	EliminatorBase
class	EquationSystemEliminator
class	MultiValueStateEliminator
class	NondeterministicModelStateEliminator
class	PrioritizedStateEliminator
struct	PriorityComparator
class	StateEliminator
class	StatePriorityQueue
class	StaticStatePriorityQueue

Enumerations
enum class	ScalingMode { Divide , DivideOneMinus }

Enumeration Type Documentation

ScalingMode

enum class storm::solver::stateelimination::ScalingMode

strong

Enumerator
Divide
DivideOneMinus

Definition at line 11 of file EliminatorBase.h.