IOSettings.h

Go to the documentation of this file.

#pragma once
 
#include <boost/optional.hpp>
 
#include "storm-config.h"
#include "storm/builder/ExplorationOrder.h"
#include "storm/io/CompressionMode.h"
#include "storm/io/ModelExportFormat.h"
#include "storm/modelchecker/helper/infinitehorizon/SteadyStateDistributionAlgorithm.h"
#include "storm/settings/modules/ModuleSettings.h"
#include "storm/solver/UncertaintyResolutionMode.h"
 
namespace storm {
namespace settings {
namespace modules {

class IOSettings : public ModuleSettings {
   public:
    IOSettings();

    bool isExportDotSet() const;

    std::string getExportDotFilename() const;

    size_t getExportDotMaxWidth() const;

    bool isExportBuildSet() const;

    std::string getExportBuildFilename() const;

    storm::io::ModelExportFormat getExportBuildFormat() const;

    bool isCompressionSet() const;

    storm::io::CompressionMode getCompressionMode() const;

    bool isExportDigitsSet() const;

    size_t getExportDigits() const;

    bool isExportJaniDotSet() const;

    std::string getExportJaniDotFilename() const;

    bool isExportExplicitSet() const;

    std::string getExportExplicitFilename() const;

    bool isExportDdSet() const;

    std::string getExportDdFilename() const;

    bool isExportCdfSet() const;

    std::string getExportCdfDirectory() const;

    bool isExportSchedulerSet() const;

    std::string getExportSchedulerFilename() const;

    bool isExportCheckResultSet() const;

    std::string getExportCheckResultFilename() const;

    bool isExplicitSet() const;

    std::string getTransitionFilename() const;

    std::string getLabelingFilename() const;

    bool isExplicitDRNSet() const;

    std::string getExplicitDRNFilename() const;

    bool isExplicitExportPlaceholdersDisabled() const;

    bool isExplicitUmbSet() const;

    std::string getExplicitUmbFilename() const;

    bool isExplicitIMCASet() const;

    std::string getExplicitIMCAFilename() const;

    bool isPrismInputSet() const;

    bool isJaniInputSet() const;

    bool isPrismOrJaniInputSet() const;

    bool isPrismToJaniSet() const;

    std::string getPrismInputFilename() const;

    std::string getJaniInputFilename() const;

    bool isTransitionRewardsSet() const;

    std::string getTransitionRewardsFilename() const;

    bool isStateRewardsSet() const;

    std::string getStateRewardsFilename() const;

    bool isChoiceLabelingSet() const;

    std::string getChoiceLabelingFilename() const;

    bool isConstantsSet() const;

    std::string getConstantDefinitionString() const;

    bool isJaniPropertiesSet() const;

    bool areJaniPropertiesSelected() const;

    std::vector<std::string> getSelectedJaniProperties() const;

    bool isPropertySet() const;

    std::string getProperty() const;

    std::string getPropertyFilter() const;

    bool isComputeSteadyStateDistributionSet() const;

    storm::SteadyStateDistributionAlgorithm getSteadyStateDistributionAlgorithm() const;

    bool isComputeExpectedVisitingTimesSet() const;

    bool isQvbsInputSet() const;

    std::string getQvbsModelName() const;

    uint64_t getQvbsInstanceIndex() const;

    boost::optional<std::vector<std::string>> getQvbsPropertyFilter() const;

    std::string getQvbsRoot() const;

    bool isPropertiesAsMultiSet() const;

    UncertaintyResolutionModeSetting getUncertaintyResolutionMode() const;

    bool isUncertaintyResolutionModeSet() 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 exportDotOptionName;
    static const std::string exportDotMaxWidthOptionName;
    static const std::string exportBuildOptionName;
    static const std::string exportJaniDotOptionName;
    static const std::string exportExplicitOptionName;
    static const std::string exportDdOptionName;
    static const std::string exportCdfOptionName;
    static const std::string exportCdfOptionShortName;
    static const std::string exportSchedulerOptionName;
    static const std::string exportCheckResultOptionName;
    static const std::string exportCompressionOptionName;
    static const std::string exportDigitsOptionName;
    static const std::string explicitOptionName;
    static const std::string explicitOptionShortName;
    static const std::string explicitDrnOptionName;
    static const std::string explicitDrnOptionShortName;
    static const std::string explicitUmbOptionName;
    static const std::string explicitUmbOptionShortName;
    static const std::string explicitImcaOptionName;
    static const std::string explicitImcaOptionShortName;
    static const std::string prismInputOptionName;
    static const std::string janiInputOptionName;
    static const std::string prismToJaniOptionName;
    static const std::string transitionRewardsOptionName;
    static const std::string stateRewardsOptionName;
    static const std::string choiceLabelingOptionName;
    static const std::string constantsOptionName;
    static const std::string constantsOptionShortName;
    static const std::string janiPropertyOptionName;
    static const std::string janiPropertyOptionShortName;
    static const std::string propertyOptionName;
    static const std::string propertyOptionShortName;
    static const std::string steadyStateDistrOptionName;
    static const std::string expectedVisitingTimesOptionName;
    static const std::string qvbsInputOptionName;
    static const std::string qvbsInputOptionShortName;
    static const std::string qvbsRootOptionName;
    static const std::string propertiesAsMultiOptionName;
    static const std::string uncertaintyResolutionModeName;
};
 
}  // namespace modules
}  // namespace settings
}  // namespace storm