storm::modelchecker::exploration_detail Namespace Reference

Classes
class	ExplorationInformation
class	Bounds
class	StateGeneration
struct	Statistics

Enumerations
enum class	PrecomputationType { Local , Global }
enum class	NextStateHeuristic { DifferenceProbabilitySum , Probability , Uniform }

Enumeration Type Documentation

NextStateHeuristic

enum class storm::modelchecker::exploration_detail::NextStateHeuristic

strong

Enumerator
DifferenceProbabilitySum
Probability
Uniform

Definition at line 13 of file ExplorationTypes.h.

PrecomputationType

enum class storm::modelchecker::exploration_detail::PrecomputationType

strong

Enumerator
Local
Global

Definition at line 10 of file ExplorationTypes.h.