Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
ParsSettings.cpp
Go to the documentation of this file.
1#include "storm-pars/settings/ParsSettings.h"
2
3#include "storm-pars/settings/modules/DerivativeSettings.h"
4#include "storm-pars/settings/modules/FeasibilitySettings.h"
5#include "storm-pars/settings/modules/MonotonicitySettings.h"
6#include "storm-pars/settings/modules/ParametricSettings.h"
7#include "storm-pars/settings/modules/PartitionSettings.h"
8#include "storm-pars/settings/modules/RegionSettings.h"
9#include "storm-pars/settings/modules/SamplingSettings.h"
10
11#include "storm-pars/settings/modules/RegionVerificationSettings.h"
12
13#include "storm/settings/SettingsManager.h"
14#include "storm/settings/modules/BisimulationSettings.h"
15#include "storm/settings/modules/BuildSettings.h"
16#include "storm/settings/modules/CoreSettings.h"
17#include "storm/settings/modules/DebugSettings.h"
18#include "storm/settings/modules/EigenEquationSolverSettings.h"
19#include "storm/settings/modules/EliminationSettings.h"
20#include "storm/settings/modules/GameSolverSettings.h"
21#include "storm/settings/modules/GeneralSettings.h"
22#include "storm/settings/modules/GmmxxEquationSolverSettings.h"
23#include "storm/settings/modules/HintSettings.h"
24#include "storm/settings/modules/IOSettings.h"
25#include "storm/settings/modules/LongRunAverageSolverSettings.h"
26#include "storm/settings/modules/MinMaxEquationSolverSettings.h"
27#include "storm/settings/modules/ModelCheckerSettings.h"
28#include "storm/settings/modules/MultiplierSettings.h"
29#include "storm/settings/modules/NativeEquationSolverSettings.h"
30#include "storm/settings/modules/OviSolverSettings.h"
31#include "storm/settings/modules/ResourceSettings.h"
32#include "storm/settings/modules/SylvanSettings.h"
33#include "storm/settings/modules/TimeBoundedSolverSettings.h"
34#include "storm/settings/modules/TopologicalEquationSolverSettings.h"
35#include "storm/settings/modules/TransformationSettings.h"
36
37namespace storm {
38namespace settings {
39void initializeParsSettings(std::string const& name, std::string const& executableName) {
40 storm::settings::mutableManager().setName(name, executableName);
41
42 // Register relevant settings modules.
43 storm::settings::addModule<storm::settings::modules::GeneralSettings>();
44 storm::settings::addModule<storm::settings::modules::IOSettings>();
45 storm::settings::addModule<storm::settings::modules::CoreSettings>();
46 storm::settings::addModule<storm::settings::modules::ParametricSettings>();
47 storm::settings::addModule<storm::settings::modules::MonotonicitySettings>();
48 storm::settings::addModule<storm::settings::modules::DerivativeSettings>();
49 storm::settings::addModule<storm::settings::modules::FeasibilitySettings>();
50 storm::settings::addModule<storm::settings::modules::PartitionSettings>();
51 storm::settings::addModule<storm::settings::modules::RegionVerificationSettings>();
52 storm::settings::addModule<storm::settings::modules::SamplingSettings>();
53 storm::settings::addModule<storm::settings::modules::RegionSettings>();
54 storm::settings::addModule<storm::settings::modules::BuildSettings>();
55 storm::settings::addModule<storm::settings::modules::ModelCheckerSettings>();
56 storm::settings::addModule<storm::settings::modules::DebugSettings>();
57 storm::settings::addModule<storm::settings::modules::SylvanSettings>();
58 storm::settings::addModule<storm::settings::modules::GmmxxEquationSolverSettings>();
59 storm::settings::addModule<storm::settings::modules::EigenEquationSolverSettings>();
60 storm::settings::addModule<storm::settings::modules::NativeEquationSolverSettings>();
61 storm::settings::addModule<storm::settings::modules::TopologicalEquationSolverSettings>();
62 storm::settings::addModule<storm::settings::modules::EliminationSettings>();
63 storm::settings::addModule<storm::settings::modules::LongRunAverageSolverSettings>();
64 storm::settings::addModule<storm::settings::modules::MinMaxEquationSolverSettings>();
65 storm::settings::addModule<storm::settings::modules::GameSolverSettings>();
66 storm::settings::addModule<storm::settings::modules::BisimulationSettings>();
67 storm::settings::addModule<storm::settings::modules::ResourceSettings>();
68 storm::settings::addModule<storm::settings::modules::MultiplierSettings>();
69 storm::settings::addModule<storm::settings::modules::TransformationSettings>();
70 storm::settings::addModule<storm::settings::modules::OviSolverSettings>();
71 storm::settings::addModule<storm::settings::modules::TimeBoundedSolverSettings>();
72
73 storm::settings::addModule<storm::settings::modules::HintSettings>();
74}
75
76} // namespace settings
77} // namespace storm
storm::settings::SettingsManager::setName
void setName(std::string const &name, std::string const &executableName)
Sets the name of the tool.
Definition SettingsManager.cpp:62
storm::settings::initializeParsSettings
void initializeParsSettings(std::string const &name, std::string const &executableName)
Definition ParsSettings.cpp:39
storm::settings::mutableManager
SettingsManager & mutableManager()
Retrieves the settings manager.
Definition SettingsManager.cpp:666
storm
LabParser.cpp.
Definition cli.cpp:18