storm-cli.cpp File Reference

#include "storm/exceptions/BaseException.h"
#include "storm/utility/macros.h"
#include "storm-cli-utilities/cli.h"
#include "storm-cli-utilities/model-handling.h"

Include dependency graph for storm-cli.cpp:

Go to the source code of this file.

Functions
void	processOptions ()
void	initSettings (std::string const &name, std::string const &executableName)
int	main (const int argc, const char **argv)
	Main entry point of the executable storm.

Function Documentation

initSettings()

void initSettings	(	std::string const &	name,
		std::string const &	executableName
	)

Definition at line 51 of file storm-cli.cpp.

main()

int main	(	const int	argc,
		const char **	argv
	)

Main entry point of the executable storm.

Definition at line 59 of file storm-cli.cpp.

processOptions()

void processOptions

(

)

Definition at line 15 of file storm-cli.cpp.