stormpy.results

Model checking results, values with sound bounds and aggregation options.

Classes

AggregatedValue	Aggregate of the values of a result, together with the aggregates of the known bounds
BoundedValue(value[, lower, upper])	Value of a single state in a model checking result, together with sound lower and upper bounds on the actual value.
CheckResult	Base class for all model checking results
ExplicitParetoCurveCheckResult	Result of explicit multi-objective model checking
ExplicitQualitativeCheckResult	Explicit qualitative model checking result
ExplicitQuantitativeCheckResult	Explicit quantitative model checking result
FilterType(*values)	Types of filters applied to model checking results
HybridQuantitativeCheckResult	Hybrid quantitative model checking result
ParetoCurveCheckResult	Result of multi-objective model checking
QualitativeCheckResult	Base class for qualitative model checking results
QuantitativeCheckResult	Base class for quantitative results
SolutionBounds	Sound lower and upper bounds on the values of all states of a result.
SymbolicQualitativeCheckResult	Symbolic qualitative model checking result
SymbolicQuantitativeCheckResult	Symbolic quantitative model checking result