initialize_region_refinement_checker

Warning

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

initialize_region_refinement_checker(

environment: stormpy.environments.Environment,

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

task: stormpy.developer._core._CheckTask_RationalFunction,

engine: stormpy.pars.RegionCheckEngine = <RegionCheckEngine.PARAMETER_LIFTING: 0>,

allow_model_simplification: bool = True,

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

preconditions_validated: bool = False,

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

) → stormpy.pars.developer._pars.RegionRefinementChecker

Create and specify a region refinement checker