Storm 1.11.1.1
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/RegionVerificationSettings.h"
10#include "storm-pars/settings/modules/SamplingSettings.h"
11#include "storm/settings/SettingsManager.h"
12#include "storm/settings/modules/BisimulationSettings.h"
13#include "storm/settings/modules/BuildSettings.h"
14#include "storm/settings/modules/CoreSettings.h"
15#include "storm/settings/modules/DebugSettings.h"
16#include "storm/settings/modules/EigenEquationSolverSettings.h"
17#include "storm/settings/modules/EliminationSettings.h"
18#include "storm/settings/modules/GameSolverSettings.h"
19#include "storm/settings/modules/GeneralSettings.h"
20#include "storm/settings/modules/GmmxxEquationSolverSettings.h"
21#include "storm/settings/modules/HintSettings.h"
22#include "storm/settings/modules/IOSettings.h"
23#include "storm/settings/modules/LongRunAverageSolverSettings.h"
24#include "storm/settings/modules/MinMaxEquationSolverSettings.h"
25#include "storm/settings/modules/ModelCheckerSettings.h"
26#include "storm/settings/modules/MultiplierSettings.h"
27#include "storm/settings/modules/NativeEquationSolverSettings.h"
28#include "storm/settings/modules/OviSolverSettings.h"
29#include "storm/settings/modules/ResourceSettings.h"
30#include "storm/settings/modules/SylvanSettings.h"
31#include "storm/settings/modules/TimeBoundedSolverSettings.h"
32#include "storm/settings/modules/TopologicalEquationSolverSettings.h"
33#include "storm/settings/modules/TransformationSettings.h"
34
35namespace storm {
36namespace settings {
37void initializeParsSettings(std::string const& name, std::string const& executableName) {
38 storm::settings::mutableManager().setName(name, executableName);
39
40 // Register relevant settings modules.
41 storm::settings::addModule<storm::settings::modules::GeneralSettings>();
42 storm::settings::addModule<storm::settings::modules::IOSettings>();
43 storm::settings::addModule<storm::settings::modules::CoreSettings>();
44 storm::settings::addModule<storm::settings::modules::ParametricSettings>();
45 storm::settings::addModule<storm::settings::modules::MonotonicitySettings>();
46 storm::settings::addModule<storm::settings::modules::DerivativeSettings>();
47 storm::settings::addModule<storm::settings::modules::FeasibilitySettings>();
48 storm::settings::addModule<storm::settings::modules::PartitionSettings>();
49 storm::settings::addModule<storm::settings::modules::RegionVerificationSettings>();
50 storm::settings::addModule<storm::settings::modules::SamplingSettings>();
51 storm::settings::addModule<storm::settings::modules::RegionSettings>();
52 storm::settings::addModule<storm::settings::modules::BuildSettings>();
53 storm::settings::addModule<storm::settings::modules::ModelCheckerSettings>();
54 storm::settings::addModule<storm::settings::modules::DebugSettings>();
55 storm::settings::addModule<storm::settings::modules::SylvanSettings>();
56 storm::settings::addModule<storm::settings::modules::GmmxxEquationSolverSettings>();
57 storm::settings::addModule<storm::settings::modules::EigenEquationSolverSettings>();
58 storm::settings::addModule<storm::settings::modules::NativeEquationSolverSettings>();
59 storm::settings::addModule<storm::settings::modules::TopologicalEquationSolverSettings>();
60 storm::settings::addModule<storm::settings::modules::EliminationSettings>();
61 storm::settings::addModule<storm::settings::modules::LongRunAverageSolverSettings>();
62 storm::settings::addModule<storm::settings::modules::MinMaxEquationSolverSettings>();
63 storm::settings::addModule<storm::settings::modules::GameSolverSettings>();
64 storm::settings::addModule<storm::settings::modules::BisimulationSettings>();
65 storm::settings::addModule<storm::settings::modules::ResourceSettings>();
66 storm::settings::addModule<storm::settings::modules::MultiplierSettings>();
67 storm::settings::addModule<storm::settings::modules::TransformationSettings>();
68 storm::settings::addModule<storm::settings::modules::OviSolverSettings>();
69 storm::settings::addModule<storm::settings::modules::TimeBoundedSolverSettings>();
70
71 storm::settings::addModule<storm::settings::modules::HintSettings>();
72}
73
74} // namespace settings
75} // 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:37
storm::settings::mutableManager
SettingsManager & mutableManager()
Retrieves the settings manager.
Definition SettingsManager.cpp:666