IOSettings.h

Go to the documentation of this file.

#ifndef STORM_SETTINGS_MODULES_IOSETTINGS_H_
#define STORM_SETTINGS_MODULES_IOSETTINGS_H_
 
#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 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 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
 
#endif /* STORM_SETTINGS_MODULES_IOSETTINGS_H_ */