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 (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 (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	(	std::shared_ptr< storm::dft::storage::DFT< double > > const	dft,
		double const	stepsize,
		double const	precision )

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

Definition at line 24 of file MTTFHelper.cpp.

MTTFHelperVariableChange()

double storm::dft::utility::MTTFHelperVariableChange	(	std::shared_ptr< storm::dft::storage::DFT< double > > const	dft,
		double const	stepsize )

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).

Definition at line 65 of file MTTFHelper.cpp.