HybridQuantitativeCheckResult

class HybridQuantitativeCheckResult[DdType, ValueType]

Hybrid quantitative model checking result

Template arguments:

• DdType (value)

• ValueType (type)

Available specializations:

• HybridQuantitativeCheckResult[stormpy.models.DdType.Sylvan, float]

• HybridQuantitativeCheckResult[stormpy.models.DdType.Sylvan, stormpy.numbers.Rational]

• HybridQuantitativeCheckResult[stormpy.models.DdType.Sylvan, stormpy.numbers.RationalFunction]

Members

HybridQuantitativeCheckResult.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.

HybridQuantitativeCheckResult.average(

self: stormpy.results.QuantitativeCheckResult[ValueType],

) → ValueType

Get average of the values

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

Restrict the result to the states of the given filter

HybridQuantitativeCheckResult.get_explicit_value_vector(

self: stormpy.results.HybridQuantitativeCheckResult[DdType, ValueType],

) → list[ValueType]

Get values for all states

HybridQuantitativeCheckResult.get_max(

self: stormpy.results.QuantitativeCheckResult[ValueType],

) → ValueType

Get maximal value

HybridQuantitativeCheckResult.get_min(

self: stormpy.results.QuantitativeCheckResult[ValueType],

) → ValueType

Get minimal value

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

Whether a scheduler is present

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

Whether the result is explicit

HybridQuantitativeCheckResult.is_explicit_pareto_curve_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is an explicit Pareto curve

HybridQuantitativeCheckResult.is_explicit_qualitative_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is explicit qualitative

HybridQuantitativeCheckResult.is_explicit_quantitative_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is explicit quantitative

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

Whether the result is hybrid

HybridQuantitativeCheckResult.is_hybrid_quantitative_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is hybrid quantitative

HybridQuantitativeCheckResult.is_pareto_curve_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is a Pareto curve

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

Whether the result is qualitative

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

Whether the result is quantitative

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

Whether the result contains values for all states

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

Whether the result is symbolic

HybridQuantitativeCheckResult.is_symbolic_qualitative_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is symbolic qualitative

HybridQuantitativeCheckResult.is_symbolic_quantitative_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is symbolic quantitative

HybridQuantitativeCheckResult.sum(

self: stormpy.results.QuantitativeCheckResult[ValueType],

) → ValueType

Get sum of the values