Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
MTTFHelper.h
Go to the documentation of this file.
1#pragma once
2
3#include "storm-dft/storage/DFT.h"
4
5namespace storm::dft {
6namespace utility {
7
12double MTTFHelperProceeding(std::shared_ptr<storm::dft::storage::DFT<double>> const dft, double const stepsize = 1e-10, double const precision = 1e-12);
13
19double MTTFHelperVariableChange(std::shared_ptr<storm::dft::storage::DFT<double>> const dft, double const stepsize = 1e-6);
20
21} // namespace utility
22} // namespace storm::dft
storm::dft::storage::DFT
Represents a Dynamic Fault Tree.
Definition DFT.h:52
storm::dft::utility::MTTFHelperVariableChange
double 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 th...
Definition MTTFHelper.cpp:65
storm::dft::utility::MTTFHelperProceeding
double 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...
Definition MTTFHelper.cpp:24