Storm
A Modern Probabilistic Model Checker
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
BEProbability.cpp
Go to the documentation of this file.
1#include "BEProbability.h"
2
3namespace storm::dft {
4namespace storage {
5namespace elements {
6
7template<typename ValueType>
8ValueType BEProbability<ValueType>::getUnreliability(ValueType time) const {
9 return this->activeFailureProbability();
10}
11
12// Explicitly instantiate the class.
13template class BEProbability<double>;
14template class BEProbability<RationalFunction>;
15
16} // namespace elements
17} // namespace storage
18} // namespace storm::dft
storm::dft::storage::elements::BEProbability
BE with constant (Bernoulli) failure probability distribution.
Definition BEProbability.h:13
storm::dft::storage::elements::BEProbability::getUnreliability
ValueType getUnreliability(ValueType time) const override
Return the unreliability of the BE up to the given time point.
Definition BEProbability.cpp:8