MTTFHelper.cpp File Reference

#include "storm-dft/utility/MTTFHelper.h"
#include "storm-dft/modelchecker/DftModularizationChecker.h"

Include dependency graph for MTTFHelper.cpp:

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)