RegionResult

class RegionResult(*values)

Bases: Enum

Types of region check results

ALL_SAT = 8

ALL_VIOLATED = 9

CENTER_SAT = 4

CENTER_VIOLATED = 5

EXISTS_BOTH = 7

EXISTS_SAT = 1

EXISTS_VIOLATED = 2

UNKNOWN = 0

friendly_name(self: stormpy.pars.RegionResult) → str