storm::dft::utility Namespace Reference

Classes
class	DftModularizer
	Find modules (independent subtrees) in DFT. More...
class	DftValidator
class	FailureBoundFinder
class	FDEPConflictFinder
class	RelevantEvents
class	SymmetryFinder

Functions
double	MTTFHelperProceeding (storm::dft::DftEnvironment const &env, std::shared_ptr< storm::dft::storage::DFT< double > > const dft, double const stepsize=1e-10, double const precision=1e-12)
	Tries to numerically approximate the mttf of the given dft by integrating 1 - cdf(dft) with Simpson's rule.
double	MTTFHelperVariableChange (storm::dft::DftEnvironment const &env, std::shared_ptr< storm::dft::storage::DFT< double > > const dft, double const stepsize=1e-6)
	Tries to numerically approximate the mttf of the given dft by integrating 1 - cdf(dft) by changing the variable such that the interval is (0,1) instead of (0,oo).

Function Documentation

MTTFHelperProceeding()

double storm::dft::utility::MTTFHelperProceeding	(	storm::dft::DftEnvironment const &	env,
		std::shared_ptr< storm::dft::storage::DFT< double > > const	dft,
		double const	stepsize = 1e-10,
		double const	precision = 1e-12 )

Tries to numerically approximate the mttf of the given dft by integrating 1 - cdf(dft) with Simpson's rule.

Parameters

env	Environment used for analysing the dynamic modules.

Definition at line 24 of file MTTFHelper.cpp.

MTTFHelperVariableChange()

double storm::dft::utility::MTTFHelperVariableChange	(	storm::dft::DftEnvironment const &	env,
		std::shared_ptr< storm::dft::storage::DFT< double > > const	dft,
		double const	stepsize = 1e-6 )

Tries to numerically approximate the mttf of the given dft by integrating 1 - cdf(dft) by changing the variable such that the interval is (0,1) instead of (0,oo).

Parameters

env	Environment used for analysing the dynamic modules.

Definition at line 66 of file MTTFHelper.cpp.