MaximalEndComponentDecomposition¶
- class MaximalEndComponentDecomposition[ValueType](model)¶
Decomposition of maximal end components
Template arguments:
ValueType(type)
Available specializations:
MaximalEndComponentDecomposition[float]MaximalEndComponentDecomposition[stormpy.numbers.Rational]MaximalEndComponentDecomposition[stormpy.numbers.Interval]MaximalEndComponentDecomposition[stormpy.numbers.RationalInterval]MaximalEndComponentDecomposition[stormpy.numbers.RationalFunction]
Construction
Create MECs from model
The specialization can be inferred from the first positional constructor argument (alternatively, the
modelkeyword argument).
Members¶
- property MaximalEndComponentDecomposition.size¶
Number of MECs in the decomposition