FaultTreeSettings.h

Go to the documentation of this file.

#pragma once
 
#include "storm-config.h"
#include "storm-dft/builder/DftExplorationHeuristic.h"
#include "storm/settings/modules/ModuleSettings.h"
 
namespace storm::dft {
namespace settings {
namespace modules {
 
class FaultTreeSettings : public storm::settings::modules::ModuleSettings {
   public:
    FaultTreeSettings();
 
    bool useSymmetryReduction() const;
 
    bool useModularisation() const;
 
    bool isDisableDC() const;
 
    bool isAllowDCForRelevantEvents() const;
 
    bool areRelevantEventsSet() const;
 
    std::vector<std::string> getRelevantEvents() const;
 
    bool isAddLabelsClaiming() const;
 
    bool isApproximationErrorSet() const;
 
    double getApproximationError() const;
 
    storm::dft::builder::ApproximationHeuristic getApproximationHeuristic() const;
 
    bool isMaxDepthSet() const;
 
    uint_fast64_t getMaxDepth() const;
 
    bool isTakeFirstDependency() const;
 
    bool isUniqueFailedBE() const;
 
#ifdef STORM_HAVE_Z3
 
    bool solveWithSMT() const;
 
#endif
 
    bool isChunksizeSet() const;
 
    size_t getChunksize() const;
 
    double getMttfPrecision() const;
 
    double getMttfStepsize() const;
 
    std::string getMttfAlgorithm() const;
 
    bool check() const override;
 
    void finalize() override;
 
    // The name of the module.
    static const std::string moduleName;
 
   private:
    // Define the string names of the options as constants.
    static const std::string noSymmetryReductionOptionName;
    static const std::string noSymmetryReductionOptionShortName;
    static const std::string modularisationOptionName;
    static const std::string disableDCOptionName;
    static const std::string allowDCRelevantOptionName;
    static const std::string relevantEventsOptionName;
    static const std::string addLabelsClaimingOptionName;
    static const std::string approximationErrorOptionName;
    static const std::string approximationErrorOptionShortName;
    static const std::string approximationHeuristicOptionName;
    static const std::string maxDepthOptionName;
    static const std::string firstDependencyOptionName;
    static const std::string uniqueFailedBEOptionName;
#ifdef STORM_HAVE_Z3
    static const std::string solveWithSmtOptionName;
#endif
    static const std::string chunksizeOptionName;
    static const std::string mttfPrecisionName;
    static const std::string mttfStepsizeName;
    static const std::string mttfAlgorithmName;
};
 
}  // namespace modules
}  // namespace settings
}  // namespace storm::dft