perform_bisimulation_minimization¶
Warning
The stormpy developer API is internal and can be subject to change.
- perform_bisimulation_minimization(
- model: stormpy.developer.storage._storage._SparseModel_Double,
- formulas: collections.abc.Sequence[stormpy.logic.Formula] = [],
- options: stormpy.transformations.BisimulationOptions = <stormpy.transformations.BisimulationOptions object at 0x70e0478e3b30>,
- perform_bisimulation_minimization(model: stormpy.developer.storage._storage._SymbolicModel_Sylvan_Double, formulas: collections.abc.Sequence[stormpy.logic.Formula], bisimulation_type: stormpy.transformations.BisimulationType = <BisimulationType.STRONG: 0>, mode: stormpy.developer._core.SignatureMode = <SignatureMode.EAGER: 0>, quotient_format: stormpy.transformations.QuotientFormat = <QuotientFormat.DD: 1>, bisimulation_options: stormpy.developer._core.DdBisimulationOptions = <stormpy.developer._core.DdBisimulationOptions object at 0x70e03b7b3c30>) storm::models::Model<double>
- perform_bisimulation_minimization(
- model: stormpy.developer.storage._storage._SparseModel_RationalFunction,
- formulas: collections.abc.Sequence[stormpy.logic.Formula] = [],
- options: stormpy.transformations.BisimulationOptions = <stormpy.transformations.BisimulationOptions object at 0x70e04790b970>,
- perform_bisimulation_minimization(model: stormpy.developer.storage._storage._SymbolicModel_Sylvan_RationalFunction, formulas: collections.abc.Sequence[stormpy.logic.Formula], bisimulation_type: stormpy.transformations.BisimulationType = <BisimulationType.STRONG: 0>, mode: stormpy.developer._core.SignatureMode = <SignatureMode.EAGER: 0>, quotient_format: stormpy.transformations.QuotientFormat = <QuotientFormat.DD: 1>, bisimulation_options: stormpy.developer._core.DdBisimulationOptions = <stormpy.developer._core.DdBisimulationOptions object at 0x70e0478f4fb0>) storm::models::Model<carl::RationalFunction<carl::FactorizedPolynomial<carl::MultivariatePolynomial<cln::cl_RA, carl::NotRelevant, carl::StdMultivariatePolynomialPolicies<0> > >, true> >
Perform bisimulation minimization on sparse model
Perform bisimulation minimization on symbolic model
Perform bisimulation minimization on sparse model
Perform bisimulation minimization on symbolic model