6template<
typename ValueType>
9template<
typename ValueType>
12template<
typename ValueType>
15 for (
auto be : this->dft.getBasicElements()) {
16 if (state->hasFailed(be->id())) {
23template<
typename ValueType>
25 return std::make_pair(0, this->dft.nrBasicElements());
Importance function based on counting the number of currently failed BEs.
double getImportance(typename ImportanceFunction< ValueType >::DFTStatePointer state) const override
Get the importance for a given state.
BECountImportanceFunction(storm::dft::storage::DFT< ValueType > const &dft)
Constructor.
std::pair< double, double > getImportanceRange() const override
Get the lower and upper bounds of possible importance values computed by this importance function.
Abstract class for importance functions.
std::shared_ptr< storm::dft::storage::DFTState< ValueType > > DFTStatePointer
ImportanceFunction(storm::dft::storage::DFT< ValueType > const &dft)
Constructor.
Represents a Dynamic Fault Tree.