MTTFHelper.h

Go to the documentation of this file.

#pragma once
 
#include "storm-dft/environment/DftEnvironment.h"
#include "storm-dft/storage/DFT.h"
 
namespace storm::dft {
namespace utility {

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

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