set_from_exploded_string

Warning

The stormpy developer API is internal and can be subject to change.

set_from_exploded_string(command_line_arguments: collections.abc.Sequence[str]) → None

Set Storm settings from command line arguments