DftIOSettings.h

Go to the documentation of this file.

#pragma once
 
#include "storm/settings/modules/ModuleSettings.h"
 
namespace storm::dft {
namespace settings {
namespace modules {
 
class DftIOSettings : public storm::settings::modules::ModuleSettings {
   public:
    DftIOSettings();
 
    bool isDftFileSet() const;
 
    std::string getDftFilename() const;
 
    bool isDftJsonFileSet() const;
 
    std::string getDftJsonFilename() const;
 
    bool usePropExpectedTime() const;
 
    bool usePropProbability() const;
 
    bool usePropTimebound() const;
 
    double getPropTimebound() const;
 
    bool usePropTimepoints() const;
 
    std::vector<double> getPropTimepoints() const;
 
    bool isComputeMinimalValue() const;
 
    bool isComputeMaximalValue() const;
 
    bool isExportToJson() const;
 
    bool isExportToSmt() const;
 
    bool isAnalyzeWithBdds() const;
 
    bool isMinimalCutSets() const;
 
    bool isExportToBddDot() const;
 
    std::string getExportJsonFilename() const;
 
    std::string getExportSmtFilename() const;
 
    std::string getExportBddDotFilename() const;
 
    bool isShowDftStatisticsSet() const;
 
    bool isImportanceMeasureSet() const;
 
    std::string getImportanceMeasure() 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 dftFileOptionName;
    static const std::string dftFileOptionShortName;
    static const std::string dftJsonFileOptionName;
    static const std::string dftJsonFileOptionShortName;
    static const std::string propExpectedTimeOptionName;
    static const std::string propExpectedTimeOptionShortName;
    static const std::string propProbabilityOptionName;
    static const std::string propTimeboundOptionName;
    static const std::string propTimepointsOptionName;
    static const std::string minValueOptionName;
    static const std::string maxValueOptionName;
    static const std::string analyzeWithBdds;
    static const std::string minimalCutSets;
    static const std::string exportToJsonOptionName;
    static const std::string exportToSmtOptionName;
    static const std::string exportToBddDotOptionName;
    static const std::string dftStatisticsOptionName;
    static const std::string dftStatisticsOptionShortName;
    static const std::string importanceMeasureOptionName;
};
 
}  // namespace modules
}  // namespace settings
}  // namespace storm::dft