eliminate_non_markovian_chains

Warning

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

eliminate_non_markovian_chains(

ma: stormpy.developer.storage._storage._SparseMA_Double,

formulas: collections.abc.Sequence[stormpy.logic.Formula],

label_behavior: stormpy.transformations.EliminationLabelBehavior,

) → tuple[stormpy.developer.storage._storage._SparseModel_Double, list[stormpy.logic.Formula]]

eliminate_non_markovian_chains(

ma: stormpy.developer.storage._storage._SparseMA_Rational,

formulas: collections.abc.Sequence[stormpy.logic.Formula],

label_behavior: stormpy.transformations.EliminationLabelBehavior,

) → tuple[stormpy.developer.storage._storage._SparseModel_Rational, list[stormpy.logic.Formula]]

eliminate_non_markovian_chains(

ma: stormpy.developer.storage._storage._SparseMA_RationalFunction,

formulas: collections.abc.Sequence[stormpy.logic.Formula],

label_behavior: stormpy.transformations.EliminationLabelBehavior,

) → tuple[stormpy.developer.storage._storage._SparseModel_RationalFunction, list[stormpy.logic.Formula]]

Eliminate chains of non-Markovian states in MA

Eliminate chains of non-Markovian states in MA

Eliminate chains of non-Markovian states in MA