initialize_region_model_checker

Warning

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

initialize_region_model_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,

) → stormpy.pars.developer._pars.RegionModelChecker

Create and specify a region model checker