ParametricSettings.h

Go to the documentation of this file.

#pragma once
#include "storm-pars/utility/ParametricMode.h"
#include "storm/settings/modules/ModuleSettings.h"
 
namespace storm::settings::modules {
class ParametricSettings : public ModuleSettings {
   public:
    ParametricSettings();
 
    bool exportResultToFile() const;
 
    std::string exportResultPath() const;
 
    bool transformContinuousModel() const;
 
    bool isUseMonotonicitySet() const;
 
    bool hasOperationModeBeenSet() const;
 
    pars::utility::ParametricMode getOperationMode() const;
 
    bool isBigStepEnabled() const;
 
    uint64_t getBigStepHorizon() const;
 
    bool isLinearToSimpleEnabled() const;
 
    const static std::string moduleName;
};
}  // namespace storm::settings::modules