SparseParametricModelSimplifier¶
Warning
The stormpy developer API is internal and can be subject to change.
- class SparseParametricModelSimplifier[ModelType]¶
For stormpy.models.ModelType.DTMC: Model simplifier for parametric DTMCs
For stormpy.models.ModelType.MDP: Model simplifier for parametric MDPs
Template arguments:
ModelType(value)
Available specializations:
SparseParametricModelSimplifier[stormpy.models.ModelType.DTMC]SparseParametricModelSimplifier[stormpy.models.ModelType.MDP]
Construction
Constructor signatures vary by specialization:
SparseParametricModelSimplifier[stormpy.models.ModelType.DTMC](model: stormpy.models.SparseDtmc[stormpy.numbers.RationalFunction])SparseParametricModelSimplifier[stormpy.models.ModelType.MDP](model: stormpy.models.SparseMdp[stormpy.numbers.RationalFunction])
Members¶
- property SparseParametricModelSimplifier.simplified_formula¶
Return simplified formula
- property SparseParametricModelSimplifier.simplified_model¶
Return simplified model
- SparseParametricModelSimplifier.simplify(
- self: stormpy.pars.developer.SparseParametricModelSimplifier[ModelType],
- formula: stormpy.logic.Formula,
Simplify model