Storm
A Modern Probabilistic Model Checker
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
MultiObjectiveSettings.h
Go to the documentation of this file.
1#ifndef STORM_SETTINGS_MODULES_MULTIOBJECTIVESETTINGS_H_
2#define STORM_SETTINGS_MODULES_MULTIOBJECTIVESETTINGS_H_
3
7
8namespace storm {
9namespace settings {
10namespace modules {
11
16 public:
21
25 storm::modelchecker::multiobjective::MultiObjectiveMethod getMultiObjectiveMethod() const;
26
31 bool isExportPlotSet() const;
32
37 std::string getExportPlotDirectory() const;
38
43 double getPrecision() const;
44
48 bool getPrecisionAbsolute() const;
49
53 bool getPrecisionRelativeToDiff() const;
54
60 bool isMaxStepsSet() const;
61
68
72 bool hasSchedulerRestriction() const;
73
78
82 bool isPrintResultsSet() const;
83
87 bool isClassicEncodingSet() const;
88
92 bool isFlowEncodingSet() const;
93
97 bool isAutoEncodingSet() const;
98
103
108
112 bool isBigMConstraintsSet() const;
113
117 bool isIndicatorConstraintsSet() const;
118
123
128
134 virtual bool check() const override;
135
136 const static std::string moduleName;
137
138 private:
139 const static std::string methodOptionName;
140 const static std::string exportPlotOptionName;
141 const static std::string precisionOptionName;
142 const static std::string maxStepsOptionName;
143 const static std::string schedulerRestrictionOptionName;
144 const static std::string printResultsOptionName;
145 const static std::string encodingOptionName;
146 const static std::string lexicographicOptionName;
147};
148
149} // namespace modules
150} // namespace settings
151} // namespace storm
152
153#endif /* STORM_SETTINGS_MODULES_MULTIOBJECTIVESETTINGS_H_ */
This is the base class of the settings for a particular module.
This class represents the settings for multi-objective model checking.
bool isClassicEncodingSet() const
Retrieves whether the classic encoding for constraint-based methods is to be preferred.
storm::modelchecker::multiobjective::MultiObjectiveMethod getMultiObjectiveMethod() const
Returns the preferred method for multi objective model checking.
bool isPrintResultsSet() const
Retrieves whether output of intermediate results is enabled.
bool isAutoEncodingSet() const
Retrieves whether the encoding for constraint-based methods should be picked automatically.
storm::storage::SchedulerClass getSchedulerRestriction() const
Retrieves the scheduler restriction if it has been set.
bool isRedundantBsccConstraintsSet() const
Retrieves whether redundant BSCC constraints are to be added.
bool getPrecisionAbsolute() const
Retrieves whether the desired precision is considered to be absolute.
bool isBsccDetectionViaFlowConstraintsSet() const
Retrieves whether the encoding for constraint-based methods should use flow constraints for BSCC dete...
bool isMaxStepsSet() const
Retrieves whether or not a threshold for the number of performed refinement steps is given.
bool getPrecisionRelativeToDiff() const
Retrieves whether the desired precision is considered to be relative to the difference between highes...
std::string getExportPlotDirectory() const
The path to a directory in which the plot data should be stored.
virtual bool check() const override
Checks whether the settings are consistent.
MultiObjectiveSettings()
Creates a new set of multi-objective model checking settings.
bool hasSchedulerRestriction() const
Retrieves whether a scheduler restriction has been set.
uint_fast64_t getMaxSteps() const
Retrieves The maximum number of refinement steps that should be performed (if given).
bool isFlowEncodingSet() const
Retrieves whether the flow encoding for constraint-based methods is to be preferred.
bool isBsccDetectionViaOrderConstraintsSet() const
Retrieves whether the encoding for constraint-based methods should use order constraints for BSCC det...
bool isLexicographicModelCheckingSet() const
Retrieves whether lexicographic model checking has been set.
double getPrecision() const
Retrieves the desired precision for quantitative- and pareto queries.
bool isIndicatorConstraintsSet() const
Retrieves whether the encoding for constraint-based methods should use indicator constraints.
bool isBigMConstraintsSet() const
Retrieves whether the encoding for constraint-based methods should use BigM constraints.
bool isExportPlotSet() const
Retrieves whether the data for plotting should be exported.
SettingsType const & getModule()
Get module.
LabParser.cpp.
Definition cli.cpp:18