default

default(model) → Environment

Create a new environment suitable for the given model.

The environment enforces exact computations for models with exact or parametric value types (stormpy.numbers.Rational, stormpy.numbers.RationalInterval, stormpy.numbers.RationalFunction) and sound computations otherwise.

Parameters:

model – The model (sparse or symbolic).

Returns:

The environment.