RegionResultHypothesis

Warning

The stormpy developer API is internal and can be subject to change.

class RegionResultHypothesis(*values)

Bases: Enum

Hypothesis for the result of a parameter region

ALL_SAT = 1

ALL_VIOLATED = 2

UNKNOWN = 0

friendly_name(

self: stormpy.pars.developer._pars.RegionResultHypothesis,

) → str