storm::utility::cli Namespace Reference

Functions
std::string	getCurrentWorkingDirectory ()
std::map< storm::expressions::Variable, storm::expressions::Expression >	parseConstantDefinitionString (storm::expressions::ExpressionManager const &manager, std::string const &constantDefinitionString)
std::vector< std::string >	parseCommaSeparatedStrings (std::string const &input)

Function Documentation

getCurrentWorkingDirectory()

std::string storm::utility::cli::getCurrentWorkingDirectory

(

)

Definition at line 15 of file cli.cpp.

parseCommaSeparatedStrings()

std::vector< std::string > storm::utility::cli::parseCommaSeparatedStrings

(

std::string const &

input

)

Definition at line 88 of file cli.cpp.

parseConstantDefinitionString()

std::map< storm::expressions::Variable, storm::expressions::Expression > storm::utility::cli::parseConstantDefinitionString	(	storm::expressions::ExpressionManager const &	manager,
		std::string const &	constantDefinitionString )

Definition at line 20 of file cli.cpp.