ParameterRegion

class ParameterRegion(

self: stormpy.pars.ParameterRegion,

lower_boundaries: collections.abc.Mapping[stormpy.numbers.Variable, stormpy.numbers.RationalFunctionCoefficient],

upper_boundaries: collections.abc.Mapping[stormpy.numbers.Variable, stormpy.numbers.RationalFunctionCoefficient],

)

Bases: pybind11_object

Parameter region given by lower and upper bounds for each parameter

property area

Get area