Classes
class	DftInstantiator
	Instantiator to yield a concrete DFT from a parametric DFT (with parametric failure rates). More...

class	DftToGspnTransformator
	Transformator for DFT -> GSPN. More...

class	DftTransformer
	Transformer for operations on DFT. More...

class	SftToBddTransformator
	Transformator for DFT -> BDD. More...

Variables
static constexpr const uint64_t	defaultCapacity = 1

Variable Documentation

◆ defaultCapacity

constexpr const uint64_t storm::dft::transformations::defaultCapacity = 1

staticconstexpr

Definition at line 9 of file DftToGspnTransformator.cpp.