DFTBE.h

Go to the documentation of this file.

#pragma once
 
#include "DFTElement.h"
 
namespace storm::dft {
namespace storage {
namespace elements {
 
template<typename ValueType>
class DFTBE : public DFTElement<ValueType> {
   public:
    DFTBE(size_t id, std::string const& name) : DFTElement<ValueType>(id, name) {
        // Intentionally empty
    }
 
    storm::dft::storage::elements::DFTElementType type() const override {
        return storm::dft::storage::elements::DFTElementType::BE;
    }
 
    virtual storm::dft::storage::elements::BEType beType() const = 0;
 
    bool isBasicElement() const override {
        return true;
    }
 
    bool isStaticElement() const override {
        return true;
    }
 
    size_t nrChildren() const override {
        return 0;
    }
 
    virtual ValueType getUnreliability(ValueType time) const = 0;
 
    virtual bool canFail() const = 0;
 
    void addIngoingDependency(std::shared_ptr<DFTDependency<ValueType>> const& dependency) {
        STORM_LOG_ASSERT(dependency->containsDependentEvent(this->id()), "Dependency " << *dependency << " has no dependent BE " << *this << ".");
        STORM_LOG_ASSERT(std::find(mIngoingDependencies.begin(), mIngoingDependencies.end(), dependency) == mIngoingDependencies.end(),
                         "Ingoing Dependency " << dependency << " already present.");
        mIngoingDependencies.push_back(dependency);
    }
 
    bool hasIngoingDependencies() const {
        return !mIngoingDependencies.empty();
    }
 
    size_t nrIngoingDependencies() const {
        return mIngoingDependencies.size();
    }
 
    std::vector<std::shared_ptr<DFTDependency<ValueType>>> const& ingoingDependencies() const {
        return mIngoingDependencies;
    }
 
    void extendSubDft(std::set<size_t>& elemsInSubtree, std::vector<size_t> const& parentsOfSubRoot, bool blockParents, bool sparesAsLeaves) const override;
 
    bool checkDontCareAnymore(storm::dft::storage::DFTState<ValueType>& state,
                              storm::dft::storage::DFTStateSpaceGenerationQueues<ValueType>& queues) const override {
        if (DFTElement<ValueType>::checkDontCareAnymore(state, queues)) {
            state.beNoLongerFailable(this->id());
            return true;
        }
        return false;
    }
 
    virtual std::string distributionString() const = 0;
 
    virtual std::string toString() const override {
        std::stringstream stream;
        stream << "{" << this->name() << "} BE(" << this->distributionString() << ")";
        return stream.str();
    }
 
   private:
    std::vector<std::shared_ptr<DFTDependency<ValueType>>> mIngoingDependencies;
};
 
}  // namespace elements
}  // namespace storage
}  // namespace storm::dft