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 model keyword argument).

Members

property MaximalEndComponentDecomposition.size

Number of MECs in the decomposition