QuantitativeCheckResult

class QuantitativeCheckResult[ValueType]

Base class for quantitative results

Template arguments:

• ValueType (type)

Available specializations:

• QuantitativeCheckResult[float]

• QuantitativeCheckResult[stormpy.numbers.Rational]

• QuantitativeCheckResult[stormpy.numbers.RationalFunction]

Members

QuantitativeCheckResult.aggregate(

self: stormpy.results.QuantitativeCheckResult[ValueType],

filter: stormpy.results.FilterType,

) → stormpy.results.AggregatedValue[ValueType]

Aggregate the values together with the known bounds. Supported filters: MIN, MAX, SUM and AVG.

QuantitativeCheckResult.average(

self: stormpy.results.QuantitativeCheckResult[ValueType],

) → ValueType

Get average of the values

QuantitativeCheckResult.filter(self: stormpy.results.CheckResult, filter) → None

Restrict the result to the states of the given filter

QuantitativeCheckResult.get_max(

self: stormpy.results.QuantitativeCheckResult[ValueType],

) → ValueType

Get maximal value

QuantitativeCheckResult.get_min(

self: stormpy.results.QuantitativeCheckResult[ValueType],

) → ValueType

Get minimal value

QuantitativeCheckResult.has_scheduler(self: stormpy.results.CheckResult) → bool

Whether a scheduler is present

QuantitativeCheckResult.is_explicit(self: stormpy.results.CheckResult) → bool

Whether the result is explicit

QuantitativeCheckResult.is_explicit_pareto_curve_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is an explicit Pareto curve

QuantitativeCheckResult.is_explicit_qualitative_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is explicit qualitative

QuantitativeCheckResult.is_explicit_quantitative_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is explicit quantitative

QuantitativeCheckResult.is_hybrid(self: stormpy.results.CheckResult) → bool

Whether the result is hybrid

QuantitativeCheckResult.is_hybrid_quantitative_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is hybrid quantitative

QuantitativeCheckResult.is_pareto_curve_check_result(self: stormpy.results.CheckResult) → bool

Whether the result is a Pareto curve

QuantitativeCheckResult.is_qualitative(self: stormpy.results.CheckResult) → bool

Whether the result is qualitative

QuantitativeCheckResult.is_quantitative(self: stormpy.results.CheckResult) → bool

Whether the result is quantitative

QuantitativeCheckResult.is_result_for_all_states(self: stormpy.results.CheckResult) → bool

Whether the result contains values for all states

QuantitativeCheckResult.is_symbolic(self: stormpy.results.CheckResult) → bool

Whether the result is symbolic

QuantitativeCheckResult.is_symbolic_qualitative_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is symbolic qualitative

QuantitativeCheckResult.is_symbolic_quantitative_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is symbolic quantitative

QuantitativeCheckResult.sum(self: stormpy.results.QuantitativeCheckResult[ValueType]) → ValueType

Get sum of the values