storm::dft::builder Namespace Reference

Classes
class	DFTBuilder
class	DFTExplorationHeuristic
	General super class for approximation heuristics. More...
class	DFTExplorationHeuristicBoundDifference
class	DFTExplorationHeuristicDepth
class	DFTExplorationHeuristicProbability
class	ExplicitDFTModelBuilder
	Build a Markov chain from DFT. More...

Enumerations
enum class	ApproximationHeuristic { DEPTH , PROBABILITY , BOUNDDIFFERENCE }
	Enum representing the heuristic used for deciding which states to expand. More...

Enumeration Type Documentation

ApproximationHeuristic

enum class storm::dft::builder::ApproximationHeuristic

strong

Enum representing the heuristic used for deciding which states to expand.

Enumerator
DEPTH
PROBABILITY
BOUNDDIFFERENCE

Definition at line 15 of file DftExplorationHeuristic.h.