ImportanceFunction.h

Go to the documentation of this file.

#pragma once
 
#include "storm-dft/storage/DFT.h"
#include "storm-dft/storage/DFTState.h"
 
namespace storm::dft {
namespace simulator {
 
template<typename ValueType>
class ImportanceFunction {
   protected:
    using DFTStatePointer = std::shared_ptr<storm::dft::storage::DFTState<ValueType>>;
 
   public:
    ImportanceFunction(storm::dft::storage::DFT<ValueType> const& dft);
 
    virtual double getImportance(DFTStatePointer state) const = 0;
 
    virtual std::pair<double, double> getImportanceRange() const = 0;
 
   protected:
    // The DFT used for the generation of next states.
    storm::dft::storage::DFT<ValueType> const& dft;
};
 
template<typename ValueType>
class BECountImportanceFunction : public ImportanceFunction<ValueType> {
   public:
    BECountImportanceFunction(storm::dft::storage::DFT<ValueType> const& dft);
 
    double getImportance(typename ImportanceFunction<ValueType>::DFTStatePointer state) const override;
 
    std::pair<double, double> getImportanceRange() const override;
};
 
}  // namespace simulator
}  // namespace storm::dft