Storm
A Modern Probabilistic Model Checker
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
cli.h File Reference
#include <cstdint>
#include <functional>
#include <string>
Include dependency graph for cli.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  storm
 LabParser.cpp.
 
namespace  storm::cli
 

Functions

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.