get_sound_environment

Warning

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

get_sound_environment() → stormpy.environments.Environment

Create a new environment which enforces sound computations