RegionRefinementChecker

Warning

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

class RegionRefinementChecker

Bases: pybind11_object

Region refinement checker

compute_extremal_value(

self: stormpy.pars.developer._pars.RegionRefinementChecker,

environment: stormpy.environments.Environment,

region: stormpy.pars.ParameterRegion,

dir: stormpy.logic.OptimizationDirection,

precision: stormpy.numbers.RationalFunction,

absolute_precision: bool = False,

bound_invariant: storm::logic::Bound | None = None,

) → tuple[stormpy.numbers.RationalFunctionCoefficient, dict[stormpy.numbers.Variable, stormpy.numbers.RationalFunctionCoefficient]]

Compute extremal value and point with the given precision

specify(

self: stormpy.pars.developer._pars.RegionRefinementChecker,

environment: stormpy.environments.Environment,

model: stormpy.developer.storage._storage._SparseModel_RationalFunction,

check_task: stormpy.developer._core._CheckTask_RationalFunction,

allow_model_simplifications: bool = True,

graph_preservation_status: stormpy.pars.developer._pars.GraphPreservationStatus = <GraphPreservationStatus.GRAPH_PRESERVING: 2>,

discrete_variables: collections.abc.Set[stormpy.numbers.Variable] = set(),

) → None

Specify model and check task