Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
DftSettings.cpp
Go to the documentation of this file.
1#include "storm-dft/settings/DftSettings.h"
2
3#include "storm-dft/settings/modules/DftGspnSettings.h"
4#include "storm-dft/settings/modules/DftIOSettings.h"
5#include "storm-dft/settings/modules/FaultTreeSettings.h"
6
7#include "storm-conv/settings/modules/JaniExportSettings.h"
8#include "storm-gspn/settings/modules/GSPNExportSettings.h"
9#include "storm-gspn/settings/modules/GSPNSettings.h"
10#include "storm/settings/SettingsManager.h"
11#include "storm/settings/modules/BisimulationSettings.h"
12#include "storm/settings/modules/CoreSettings.h"
13#include "storm/settings/modules/CuddSettings.h"
14#include "storm/settings/modules/DebugSettings.h"
15#include "storm/settings/modules/EigenEquationSolverSettings.h"
16#include "storm/settings/modules/EliminationSettings.h"
17#include "storm/settings/modules/GameSolverSettings.h"
18#include "storm/settings/modules/GeneralSettings.h"
19#include "storm/settings/modules/GmmxxEquationSolverSettings.h"
20#include "storm/settings/modules/HintSettings.h"
21#include "storm/settings/modules/IOSettings.h"
22#include "storm/settings/modules/MinMaxEquationSolverSettings.h"
23#include "storm/settings/modules/ModelCheckerSettings.h"
24#include "storm/settings/modules/MultiplierSettings.h"
25#include "storm/settings/modules/NativeEquationSolverSettings.h"
26#include "storm/settings/modules/OviSolverSettings.h"
27#include "storm/settings/modules/ResourceSettings.h"
28#include "storm/settings/modules/SylvanSettings.h"
29#include "storm/settings/modules/TimeBoundedSolverSettings.h"
30#include "storm/settings/modules/TopologicalEquationSolverSettings.h"
31#include "storm/settings/modules/TransformationSettings.h"
32
33namespace storm::dft {
34namespace settings {
35
36void initializeDftSettings(std::string const& name, std::string const& executableName) {
37 storm::settings::mutableManager().setName(name, executableName);
38
39 // Register relevant settings modules.
40 storm::settings::addModule<storm::settings::modules::GeneralSettings>();
41 storm::settings::addModule<storm::dft::settings::modules::DftIOSettings>();
42 storm::settings::addModule<storm::dft::settings::modules::FaultTreeSettings>();
43 storm::settings::addModule<storm::dft::settings::modules::DftGspnSettings>();
44 storm::settings::addModule<storm::settings::modules::IOSettings>();
45 storm::settings::addModule<storm::settings::modules::CoreSettings>();
46 storm::settings::addModule<storm::settings::modules::TransformationSettings>();
47 storm::settings::addModule<storm::settings::modules::HintSettings>();
48
49 storm::settings::addModule<storm::settings::modules::DebugSettings>();
50 storm::settings::addModule<storm::settings::modules::ModelCheckerSettings>();
51 storm::settings::addModule<storm::settings::modules::GmmxxEquationSolverSettings>();
52 storm::settings::addModule<storm::settings::modules::EigenEquationSolverSettings>();
53 storm::settings::addModule<storm::settings::modules::NativeEquationSolverSettings>();
54 storm::settings::addModule<storm::settings::modules::TopologicalEquationSolverSettings>();
55 storm::settings::addModule<storm::settings::modules::EliminationSettings>();
56 storm::settings::addModule<storm::settings::modules::MinMaxEquationSolverSettings>();
57 storm::settings::addModule<storm::settings::modules::MultiplierSettings>();
58 storm::settings::addModule<storm::settings::modules::OviSolverSettings>();
59 storm::settings::addModule<storm::settings::modules::TimeBoundedSolverSettings>();
60 storm::settings::addModule<storm::settings::modules::GameSolverSettings>(false);
61 // storm::settings::addModule<storm::settings::modules::BisimulationSettings>();
62 storm::settings::addModule<storm::settings::modules::ResourceSettings>();
63
64 // For translation into JANI via GSPN.
65 storm::settings::addModule<storm::settings::modules::JaniExportSettings>();
66 storm::settings::addModule<storm::settings::modules::GSPNSettings>();
67 storm::settings::addModule<storm::settings::modules::GSPNExportSettings>();
68
69 // For Decision Diagrams
70 storm::settings::addModule<storm::settings::modules::CuddSettings>();
71 storm::settings::addModule<storm::settings::modules::SylvanSettings>();
72}
73
74} // namespace settings
75} // namespace storm::dft
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::dft::settings::initializeDftSettings
void initializeDftSettings(std::string const &name, std::string const &executableName)
Definition DftSettings.cpp:36
storm::settings::getModule
SettingsType const & getModule()
Get module.
Definition SettingsManager.h:290
storm::settings::mutableManager
SettingsManager & mutableManager()
Retrieves the settings manager.
Definition SettingsManager.cpp:666