SettingsManager.h File Reference

#include <functional>
#include <iostream>
#include <map>
#include <memory>
#include <unordered_map>
#include <utility>
#include <vector>

Include dependency graph for SettingsManager.h:

Go to the source code of this file.

Classes
class	storm::settings::SettingsManager
	Provides the central API for the registration of command line options and parsing the options from the command line. More...

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

Functions
SettingsManager const &	storm::settings::manager ()
	Retrieves the settings manager.
SettingsManager &	storm::settings::mutableManager ()
	Retrieves the settings manager.
template<typename SettingsType >
void	storm::settings::addModule (bool doRegister=true)
	Add new module to use for the settings.
void	storm::settings::initializeAll (std::string const &name, std::string const &executableName)
	Initialize the settings manager with all available modules.
template<typename SettingsType >
SettingsType const &	storm::settings::getModule ()
	Get module.
template<typename SettingsType >
bool	storm::settings::hasModule ()
	Returns true if the given module is registered.
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.