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