storm::dft::simulator Namespace Reference

Classes
class	BECountImportanceFunction
	Importance function based on counting the number of currently failed BEs. More...
class	DFTTraceSimulator
	Simulator for DFTs. More...
class	ImportanceFunction
	Abstract class for importance functions. More...

Enumerations
enum class	SimulationStepResult { SUCCESSFUL , UNSUCCESSFUL , INVALID }
	Result of a single simulation step. More...
enum class	SimulationTraceResult { SUCCESSFUL , UNSUCCESSFUL , INVALID , CONTINUE }
	Result of a simulation trace. More...

Enumeration Type Documentation

SimulationStepResult

enum class storm::dft::simulator::SimulationStepResult

strong

Result of a single simulation step.

Enumerator
SUCCESSFUL
UNSUCCESSFUL
INVALID

Definition at line 17 of file DFTTraceSimulator.h.

SimulationTraceResult

enum class storm::dft::simulator::SimulationTraceResult

strong

Result of a simulation trace.

CONTINUE is only used for partial traces to indicate that no conclusive outcome has been reached yet.

Enumerator
SUCCESSFUL
UNSUCCESSFUL
INVALID
CONTINUE

Definition at line 23 of file DFTTraceSimulator.h.