storm::dft::storage::elements Namespace Reference

Classes
class	BEConst
	BE which is either constant failed or constant failsafe. More...
class	BEErlang
	BE with Erlang failure distribution. More...
class	BEExponential
	BE with exponential failure distribution. More...
class	BELogNormal
	BE with log-normal failure distribution. More...
class	BEProbability
	BE with constant (Bernoulli) failure probability distribution. More...
class	BESamples
	BE where the failure distribution is defined by samples. More...
class	BEWeibull
	BE with Weibull failure distribution. More...
class	DFTAnd
	AND gate. More...
class	DFTBE
	Abstract base class for basic events (BEs) in DFTs. More...
class	DFTChildren
	Abstract base class for a DFT element with children. More...
class	DFTDependency
	Dependency gate with probability p. More...
class	DFTElement
	Abstract base class for DFT elements. More...
class	DFTGate
	Abstract base class for gates. More...
class	DFTMutex
	Mutex restriction (MUTEX). More...
class	DFTOr
	OR gate. More...
class	DFTPand
	Priority AND (PAND) gate. More...
class	DFTPor
	Priority OR (POR) gate. More...
class	DFTRestriction
	Abstract base class for restrictions. More...
class	DFTSeq
	Sequence enforcer (SEQ). More...
class	DFTSpare
	SPARE gate. More...
class	DFTVot
	VOT gate with threshold k. More...

Enumerations
enum class	DFTElementType {   BE , AND , OR , VOT ,   PAND , POR , SPARE , PDEP ,   SEQ , MUTEX }
	Element types in a DFT. More...
enum class	BEType {   CONSTANT , PROBABILITY , EXPONENTIAL , ERLANG ,   WEIBULL , LOGNORMAL , SAMPLES }
	BE types in a DFT. More...

Functions
template<typename ValueType >
std::ostream &	operator<< (std::ostream &os, DFTElement< ValueType > const &element)
std::string	toString (DFTElementType const &type)
std::string	toString (BEType const &type)
std::ostream &	operator<< (std::ostream &os, DFTElementType const &type)
std::ostream &	operator<< (std::ostream &os, BEType const &type)

Enumeration Type Documentation

BEType

enum class storm::dft::storage::elements::BEType

strong

BE types in a DFT.

Enumerator
CONSTANT
PROBABILITY
EXPONENTIAL
ERLANG
WEIBULL
LOGNORMAL
SAMPLES

Definition at line 17 of file DFTElementType.h.

DFTElementType

enum class storm::dft::storage::elements::DFTElementType

strong

Element types in a DFT.

Enumerator
BE
AND
OR
VOT
PAND
POR
SPARE
PDEP
SEQ
MUTEX

Definition at line 12 of file DFTElementType.h.

Function Documentation

operator<<() [1/3]

std::ostream & storm::dft::storage::elements::operator<< ( std::ostream &  os, BEType const &  type  )

inline

Definition at line 73 of file DFTElementType.h.

operator<<() [2/3]

template<typename ValueType >

std::ostream & storm::dft::storage::elements::operator<< ( std::ostream &  os, DFTElement< ValueType > const &  element  )

inline

Definition at line 390 of file DFTElement.h.

operator<<() [3/3]

std::ostream & storm::dft::storage::elements::operator<< ( std::ostream &  os, DFTElementType const &  type  )

inline

Definition at line 69 of file DFTElementType.h.

toString() [1/2]

std::string storm::dft::storage::elements::toString ( BEType const &  type )

inline

Definition at line 47 of file DFTElementType.h.

toString() [2/2]

std::string storm::dft::storage::elements::toString ( DFTElementType const &  type )

inline

Definition at line 19 of file DFTElementType.h.