MTTFHelper.h File Reference

#include "storm-dft/storage/DFT.h"

Include dependency graph for MTTFHelper.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::dft
namespace	storm::dft::utility

Functions
double	storm::dft::utility::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	storm::dft::utility::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)