Distribution¶
- class Distribution[ValueType]¶
Finite Support Distribution
Template arguments:
ValueType(type)
Available specializations:
Distribution[float]Distribution[stormpy.numbers.Rational]Distribution[stormpy.numbers.Interval]Distribution[stormpy.numbers.RationalInterval]
Construction
The default specialization is
Distribution[float].