BeliefSupportTracker

class BeliefSupportTracker[ValueType](pomdp: stormpy.models.SparsePomdp[ValueType])

Tracker for belief supports

Template arguments:

• ValueType (type)

Available specializations:

• BeliefSupportTracker[float]

• BeliefSupportTracker[stormpy.numbers.Rational]

Construction

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

Members

BeliefSupportTracker.get_current_belief_support(

self: stormpy.pomdp.BeliefSupportTracker[ValueType],

) → stormpy.datastructures.BitVector

What is the support given the trace so far

BeliefSupportTracker.reset(self: stormpy.pomdp.BeliefSupportTracker[ValueType]) → None

Reset the tracker to the initial belief support

BeliefSupportTracker.track(

self: stormpy.pomdp.BeliefSupportTracker[ValueType],

action: SupportsInt | SupportsIndex,

observation: SupportsInt | SupportsIndex,

) → None

Update the belief support with the given action and observation