WinningRegionQueryInterface

class WinningRegionQueryInterface[ValueType](

pomdp: stormpy.models.SparsePomdp[float],

winning_region: stormpy.pomdp.WinningRegion,

)

Queries on a winning region of a POMDP

Template arguments:

• ValueType (type)

Available specializations:

• WinningRegionQueryInterface[float]

Construction

The specialization can be inferred from the first positional constructor argument (alternatively, the pomdp keyword argument).

Members

WinningRegionQueryInterface.is_in_winning_region(

self: stormpy.pomdp.WinningRegionQueryInterface[ValueType],

belief_support: stormpy.datastructures.BitVector,

) → bool

Whether the belief support is in the winning region

WinningRegionQueryInterface.stays_in_winning_region(

self: stormpy.pomdp.WinningRegionQueryInterface[ValueType],

belief_support: stormpy.datastructures.BitVector,

action_index: SupportsInt | SupportsIndex,

) → bool

Whether the action keeps the belief support in the winning region