build_subsystem

Warning

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

build_subsystem(

original_model: stormpy.developer.storage._storage._SparseModel_Double,

subsystem_states: stormpy.datastructures.BitVector,

subsystem_actions: stormpy.datastructures.BitVector,

keep_unreachable_states: bool = True,

options: stormpy.transformations.SubsystemBuilderOptions = <stormpy.transformations.SubsystemBuilderOptions object at 0x70e0478fa1b0>,

) → stormpy.developer._core._SubsystemBuilderReturnType_Double

build_subsystem(

original_model: stormpy.developer.storage._storage._SparseModel_Rational,

subsystem_states: stormpy.datastructures.BitVector,

subsystem_actions: stormpy.datastructures.BitVector,

keep_unreachable_states: bool = True,

options: stormpy.transformations.SubsystemBuilderOptions = <stormpy.transformations.SubsystemBuilderOptions object at 0x70e03b810eb0>,

) → stormpy.developer._core._SubsystemBuilderReturnType_Rational

build_subsystem(

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

subsystem_states: stormpy.datastructures.BitVector,

subsystem_actions: stormpy.datastructures.BitVector,

keep_unreachable_states: bool = True,

options: stormpy.transformations.SubsystemBuilderOptions = <stormpy.transformations.SubsystemBuilderOptions object at 0x70e03b750d70>,

) → stormpy.developer._core._SubsystemBuilderReturnType_RationalFunction

build_subsystem(

original_model: stormpy.developer.storage._storage._SparseModel_Interval,

subsystem_states: stormpy.datastructures.BitVector,

subsystem_actions: stormpy.datastructures.BitVector,

keep_unreachable_states: bool = True,

options: stormpy.transformations.SubsystemBuilderOptions = <stormpy.transformations.SubsystemBuilderOptions object at 0x70e03b7b17f0>,

) → stormpy.developer._core._SubsystemBuilderReturnType_Interval

build_subsystem(

original_model: stormpy.developer.storage._storage._SparseModel_RationalInterval,

subsystem_states: stormpy.datastructures.BitVector,

subsystem_actions: stormpy.datastructures.BitVector,

keep_unreachable_states: bool = True,

options: stormpy.transformations.SubsystemBuilderOptions = <stormpy.transformations.SubsystemBuilderOptions object at 0x70e03b768af0>,

) → stormpy.developer._core._SubsystemBuilderReturnType_RationalInterval

Build a subsystem of a sparse model

Build a subsystem of a sparse model

Build a subsystem of a sparse model

Build a subsystem of a sparse model

Build a subsystem of a sparse model