cli.cpp File Reference

#include "cli.h"
#include "storm-cli-utilities/print.h"
#include "storm-cli-utilities/resources.h"
#include "storm/exceptions/OptionParserException.h"
#include "storm/io/file.h"
#include "storm/settings/SettingsManager.h"
#include "storm/settings/modules/DebugSettings.h"
#include "storm/settings/modules/GeneralSettings.h"
#include "storm/settings/modules/ResourceSettings.h"
#include "storm/utility/SignalHandler.h"
#include "storm/utility/Stopwatch.h"
#include "storm/utility/initialize.h"
#include "storm/utility/macros.h"
#include "storm-cli-utilities/model-handling.h"

Include dependency graph for cli.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::cli

Functions
bool	storm::cli::parseOptions (const int argc, const char *argv[])
void	storm::cli::setResourceLimits ()
void	storm::cli::setFileLogging ()
void	storm::cli::setLogLevel ()
int	storm::cli::process (std::string const &name, std::string const &executableName, std::function< void(std::string const &, std::string const &)> initSettingsFunc, std::function< void(void)> processOptionsFunc, const int argc, const char **argv)
	Processes the options and returns the exit code.