WinningRegion

class WinningRegion

Bases: pybind11_object

Winning region of a POMDP in terms of belief supports

static load_from_file(path: str) → tuple[stormpy.pomdp.WinningRegion, str]

Load a winning region and its preamble from a file

store_to_file(

self: stormpy.pomdp.WinningRegion,

path: str,

preamble: str = '',

append: bool = False,

) → None

Store the winning region to a file