SettingsManager.cpp File Reference

#include "storm/settings/SettingsManager.h"
#include <boost/algorithm/string.hpp>
#include <boost/io/ios_state.hpp>
#include <cstring>
#include <fstream>
#include <iomanip>
#include <mutex>
#include <regex>
#include <set>
#include "storm/exceptions/IllegalFunctionCallException.h"
#include "storm/exceptions/OptionParserException.h"
#include "storm/io/file.h"
#include "storm/settings/Option.h"
#include "storm/settings/modules/AbstractionSettings.h"
#include "storm/settings/modules/BisimulationSettings.h"
#include "storm/settings/modules/BuildSettings.h"
#include "storm/settings/modules/CoreSettings.h"
#include "storm/settings/modules/CuddSettings.h"
#include "storm/settings/modules/DebugSettings.h"
#include "storm/settings/modules/EigenEquationSolverSettings.h"
#include "storm/settings/modules/EliminationSettings.h"
#include "storm/settings/modules/ExplorationSettings.h"
#include "storm/settings/modules/GameSolverSettings.h"
#include "storm/settings/modules/GeneralSettings.h"
#include "storm/settings/modules/GlpkSettings.h"
#include "storm/settings/modules/GmmxxEquationSolverSettings.h"
#include "storm/settings/modules/GurobiSettings.h"
#include "storm/settings/modules/HintSettings.h"
#include "storm/settings/modules/IOSettings.h"
#include "storm/settings/modules/LongRunAverageSolverSettings.h"
#include "storm/settings/modules/MinMaxEquationSolverSettings.h"
#include "storm/settings/modules/ModelCheckerSettings.h"
#include "storm/settings/modules/MultiObjectiveSettings.h"
#include "storm/settings/modules/MultiplierSettings.h"
#include "storm/settings/modules/NativeEquationSolverSettings.h"
#include "storm/settings/modules/OviSolverSettings.h"
#include "storm/settings/modules/ResourceSettings.h"
#include "storm/settings/modules/Smt2SmtSolverSettings.h"
#include "storm/settings/modules/SylvanSettings.h"
#include "storm/settings/modules/TimeBoundedSolverSettings.h"
#include "storm/settings/modules/TopologicalEquationSolverSettings.h"
#include "storm/settings/modules/TransformationSettings.h"
#include "storm/utility/macros.h"
#include "storm/utility/string.h"

Include dependency graph for SettingsManager.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::settings

Functions
SettingsManager const &	storm::settings::manager ()
	Retrieves the settings manager.
SettingsManager &	storm::settings::mutableManager ()
	Retrieves the settings manager.
storm::settings::modules::BuildSettings &	storm::settings::mutableBuildSettings ()
	Retrieves the build settings in a mutable form.
storm::settings::modules::AbstractionSettings &	storm::settings::mutableAbstractionSettings ()
	Retrieves the abstraction settings in a mutable form.
void	storm::settings::initializeAll (std::string const &name, std::string const &executableName)
	Initialize the settings manager with all available modules.