ExplicitParetoCurveCheckResult

class ExplicitParetoCurveCheckResult[ValueType]

Result of explicit multi-objective model checking

Template arguments:

• ValueType (type)

Available specializations:

• ExplicitParetoCurveCheckResult[float]

• ExplicitParetoCurveCheckResult[stormpy.numbers.Rational]

Members

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

Restrict the result to the states of the given filter

ExplicitParetoCurveCheckResult.get_over_approximation(

self: stormpy.results.ParetoCurveCheckResult[ValueType],

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

Get over-approximation of the Pareto curve

ExplicitParetoCurveCheckResult.get_under_approximation(

self: stormpy.results.ParetoCurveCheckResult[ValueType],

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

Get under-approximation of the Pareto curve

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

Whether a scheduler is present

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

Whether the result is explicit

ExplicitParetoCurveCheckResult.is_explicit_pareto_curve_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is an explicit Pareto curve

ExplicitParetoCurveCheckResult.is_explicit_qualitative_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is explicit qualitative

ExplicitParetoCurveCheckResult.is_explicit_quantitative_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is explicit quantitative

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

Whether the result is hybrid

ExplicitParetoCurveCheckResult.is_hybrid_quantitative_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is hybrid quantitative

ExplicitParetoCurveCheckResult.is_pareto_curve_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is a Pareto curve

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

Whether the result is qualitative

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

Whether the result is quantitative

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

Whether the result contains values for all states

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

Whether the result is symbolic

ExplicitParetoCurveCheckResult.is_symbolic_qualitative_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is symbolic qualitative

ExplicitParetoCurveCheckResult.is_symbolic_quantitative_check_result(

self: stormpy.results.CheckResult,

) → bool

Whether the result is symbolic quantitative