AggregatedValue

class AggregatedValue[ValueType]

Aggregate of the values of a result, together with the aggregates of the known bounds

Template arguments:

• ValueType (type)

Available specializations:

• AggregatedValue[float]

• AggregatedValue[stormpy.numbers.Rational]

• AggregatedValue[stormpy.numbers.RationalFunction]

Members

property AggregatedValue.has_lower

Whether a lower bound is known

property AggregatedValue.has_upper

Whether an upper bound is known

property AggregatedValue.lower

Aggregated lower bound (None if not known)

property AggregatedValue.upper

Aggregated upper bound (None if not known)

property AggregatedValue.value

Aggregated value