|
Storm 1.11.1.1
A Modern Probabilistic Model Checker
|
#include <cstdint>#include <functional>#include <string>

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. | |