Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
PomdpSettings.cpp
Go to the documentation of this file.
1#include "storm-pomdp-cli/settings/PomdpSettings.h"
2
3#include "storm/settings/SettingsManager.h"
4
5#include "storm/settings/modules/AbstractionSettings.h"
6#include "storm/settings/modules/BisimulationSettings.h"
7#include "storm/settings/modules/BuildSettings.h"
8#include "storm/settings/modules/CoreSettings.h"
9#include "storm/settings/modules/CuddSettings.h"
10#include "storm/settings/modules/DebugSettings.h"
11#include "storm/settings/modules/EigenEquationSolverSettings.h"
12#include "storm/settings/modules/EliminationSettings.h"
13#include "storm/settings/modules/ExplorationSettings.h"
14#include "storm/settings/modules/GameSolverSettings.h"
15#include "storm/settings/modules/GeneralSettings.h"
16#include "storm/settings/modules/GlpkSettings.h"
17#include "storm/settings/modules/GmmxxEquationSolverSettings.h"
18#include "storm/settings/modules/GurobiSettings.h"
19#include "storm/settings/modules/HintSettings.h"
20#include "storm/settings/modules/IOSettings.h"
21#include "storm/settings/modules/MinMaxEquationSolverSettings.h"
22#include "storm/settings/modules/ModelCheckerSettings.h"
23#include "storm/settings/modules/MultiplierSettings.h"
24#include "storm/settings/modules/NativeEquationSolverSettings.h"
25#include "storm/settings/modules/OviSolverSettings.h"
26#include "storm/settings/modules/ResourceSettings.h"
27#include "storm/settings/modules/Smt2SmtSolverSettings.h"
28#include "storm/settings/modules/SylvanSettings.h"
29#include "storm/settings/modules/TopologicalEquationSolverSettings.h"
30#include "storm/settings/modules/TransformationSettings.h"
31
32#include "storm-pomdp-cli/settings/modules/BeliefExplorationSettings.h"
33#include "storm-pomdp-cli/settings/modules/POMDPSettings.h"
34#include "storm-pomdp-cli/settings/modules/QualitativePOMDPAnalysisSettings.h"
35#include "storm-pomdp-cli/settings/modules/ToParametricSettings.h"
36
37namespace storm {
38namespace settings {
39void initializePomdpSettings(std::string const& name, std::string const& executableName) {
40 storm::settings::mutableManager().setName(name, executableName);
41
42 storm::settings::addModule<storm::settings::modules::GeneralSettings>();
43 storm::settings::addModule<storm::settings::modules::IOSettings>();
44 storm::settings::addModule<storm::settings::modules::CoreSettings>();
45 storm::settings::addModule<storm::settings::modules::DebugSettings>();
46 storm::settings::addModule<storm::settings::modules::BuildSettings>();
47 storm::settings::addModule<storm::settings::modules::SylvanSettings>();
48
49 storm::settings::addModule<storm::settings::modules::POMDPSettings>();
50 storm::settings::addModule<storm::settings::modules::QualitativePOMDPAnalysisSettings>();
51 storm::settings::addModule<storm::settings::modules::BeliefExplorationSettings>();
52 storm::settings::addModule<storm::settings::modules::ToParametricSettings>();
53
54 storm::settings::addModule<storm::settings::modules::TransformationSettings>();
55 storm::settings::addModule<storm::settings::modules::GmmxxEquationSolverSettings>();
56 storm::settings::addModule<storm::settings::modules::EigenEquationSolverSettings>();
57 storm::settings::addModule<storm::settings::modules::NativeEquationSolverSettings>();
58 storm::settings::addModule<storm::settings::modules::EliminationSettings>();
59 storm::settings::addModule<storm::settings::modules::MinMaxEquationSolverSettings>();
60 storm::settings::addModule<storm::settings::modules::GameSolverSettings>();
61 storm::settings::addModule<storm::settings::modules::BisimulationSettings>();
62 storm::settings::addModule<storm::settings::modules::GlpkSettings>();
63 storm::settings::addModule<storm::settings::modules::GurobiSettings>();
64 storm::settings::addModule<storm::settings::modules::ExplorationSettings>();
65 storm::settings::addModule<storm::settings::modules::ResourceSettings>();
66 storm::settings::addModule<storm::settings::modules::TopologicalEquationSolverSettings>();
67 storm::settings::addModule<storm::settings::modules::ModelCheckerSettings>();
68 storm::settings::addModule<storm::settings::modules::MultiplierSettings>();
69 storm::settings::addModule<storm::settings::modules::HintSettings>();
70 storm::settings::addModule<storm::settings::modules::OviSolverSettings>();
71}
72} // namespace settings
73} // 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:63
storm::settings::initializePomdpSettings
void initializePomdpSettings(std::string const &name, std::string const &executableName)
Initialize the settings manager.
Definition PomdpSettings.cpp:39
storm::settings::addModule
void addModule(bool doRegister=true)
Add new module to use for the settings.
Definition SettingsManager.h:272
storm::settings::mutableManager
SettingsManager & mutableManager()
Retrieves the settings manager.
Definition SettingsManager.cpp:667