ParetoCurveCheckResult

class ParetoCurveCheckResult[ValueType]

Result of multi-objective model checking

Template arguments:

• ValueType (type)

Available specializations:

• ParetoCurveCheckResult[float]

• ParetoCurveCheckResult[stormpy.numbers.Rational]

Members

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

Restrict the result to the states of the given filter

ParetoCurveCheckResult.get_over_approximation(

self: stormpy.results.ParetoCurveCheckResult[ValueType],

) → stormpy.developer.storage.Polytope[ValueType]

Get over-approximation of the Pareto curve

ParetoCurveCheckResult.get_under_approximation(

self: stormpy.results.ParetoCurveCheckResult[ValueType],

) → stormpy.developer.storage.Polytope[ValueType]

Get under-approximation of the Pareto curve

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

Whether a scheduler is present

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

Whether the result is explicit

ParetoCurveCheckResult.is_explicit_pareto_curve_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is an explicit Pareto curve

ParetoCurveCheckResult.is_explicit_qualitative_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is explicit qualitative

ParetoCurveCheckResult.is_explicit_quantitative_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is explicit quantitative

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

Whether the result is hybrid

ParetoCurveCheckResult.is_hybrid_quantitative_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is hybrid quantitative

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

Whether the result is a Pareto curve

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

Whether the result is qualitative

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

Whether the result is quantitative

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

Whether the result contains values for all states

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

Whether the result is symbolic

ParetoCurveCheckResult.is_symbolic_qualitative_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is symbolic qualitative

ParetoCurveCheckResult.is_symbolic_quantitative_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is symbolic quantitative