Storm 1.10.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
CoreSettings.h
Go to the documentation of this file.
1#ifndef STORM_SETTINGS_MODULES_CoreSettings_H_
2#define STORM_SETTINGS_MODULES_CoreSettings_H_
3
4#include "storm-config.h"
6
9
10namespace storm {
11namespace solver {
12enum class EquationSolverType;
13enum class LpSolverType;
14enum class MinMaxMethod;
15enum class SmtSolverType;
16} // namespace solver
17
18namespace dd {
19enum class DdType;
20}
21
22namespace settings {
23namespace modules {
24
29 public:
34
40 storm::solver::EquationSolverType getEquationSolver() const;
41
47 bool isEquationSolverSet() const;
48
55
61 storm::solver::LpSolverType getLpSolver() const;
62
69
75 storm::solver::SmtSolverType getSmtSolver() const;
76
83
90
96 bool isShowStatisticsSet() const;
97
104
108 void setEngine(storm::utility::Engine const& engine);
109
110 bool check() const override;
111 void finalize() override;
112
113 // The name of the module.
114 static const std::string moduleName;
115
116 private:
118
119 // Define the string names of the options as constants.
120 static const std::string eqSolverOptionName;
121 static const std::string lpSolverOptionName;
122 static const std::string smtSolverOptionName;
123 static const std::string statisticsOptionName;
124 static const std::string statisticsOptionShortName;
125 static const std::string engineOptionName;
126 static const std::string engineOptionShortName;
127 static const std::string ddLibraryOptionName;
128};
129
130} // namespace modules
131} // namespace settings
132} // namespace storm
133
134#endif /* STORM_SETTINGS_MODULES_CoreSettings_H_ */
This class represents the core settings.
storm::solver::LpSolverType getLpSolver() const
Retrieves the selected LP solver.
storm::dd::DdType getDdLibraryType() const
Retrieves the selected library for DD-related operations.
bool isShowStatisticsSet() const
Retrieves whether statistics are to be shown.
storm::solver::EquationSolverType getEquationSolver() const
Retrieves the selected equation solver.
bool isEquationSolverSetFromDefaultValue() const
Retrieves whether the equation solver has been set from its default value.
bool isEquationSolverSet() const
Retrieves whether a equation solver has been set.
CoreSettings()
Creates a new set of core settings.
bool isLpSolverSetFromDefaultValue() const
Retrieves whether the lp solver has been set from its default value.
void finalize() override
Prepares the modules for further usage, should be called at the end of the initialization,...
void setEngine(storm::utility::Engine const &engine)
Sets the engine for further usage.
bool check() const override
Checks whether the settings are consistent.
storm::solver::SmtSolverType getSmtSolver() const
Retrieves the selected SMT solver.
bool isDdLibraryTypeSetFromDefaultValue() const
Retrieves whether the selected DD library is set from its default value.
static const std::string moduleName
storm::utility::Engine getEngine() const
Retrieves the selected engine.
This is the base class of the settings for a particular module.
Engine
An enumeration of all engines.
Definition Engine.h:31
LabParser.cpp.
Definition cli.cpp:18