ObservationTraceUnfolder

class ObservationTraceUnfolder[ValueType]

Unfolds observation traces in models

Template arguments:

  • ValueType (type)

Available specializations:

  • ObservationTraceUnfolder[float]

  • ObservationTraceUnfolder[stormpy.numbers.Rational]

  • ObservationTraceUnfolder[stormpy.numbers.RationalFunction]

  • ObservationTraceUnfolder[stormpy.numbers.Interval]

  • ObservationTraceUnfolder[stormpy.numbers.RationalInterval]

Construction

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

Constructor signatures vary by specialization:

  • ObservationTraceUnfolder[float](model: stormpy.models.SparsePomdp[float], risk: collections.abc.Sequence[typing.SupportsFloat | typing.SupportsIndex], expr_manager: stormpy.expressions.ExpressionManager, options: stormpy.pomdp.developer.ObservationTraceUnfolderOptions)

  • ObservationTraceUnfolder[stormpy.numbers.Rational](model: stormpy.models.SparsePomdp[stormpy.numbers.Rational], risk: collections.abc.Sequence[stormpy.numbers.Rational], expr_manager: stormpy.expressions.ExpressionManager, options: stormpy.pomdp.developer.ObservationTraceUnfolderOptions)

  • ObservationTraceUnfolder[stormpy.numbers.RationalFunction](model: stormpy.models.SparsePomdp[stormpy.numbers.RationalFunction], risk: collections.abc.Sequence[stormpy.numbers.RationalFunction], expr_manager: stormpy.expressions.ExpressionManager, options: stormpy.pomdp.developer.ObservationTraceUnfolderOptions)

  • ObservationTraceUnfolder[stormpy.numbers.Interval](model: stormpy.models.SparsePomdp[stormpy.numbers.Interval], risk: collections.abc.Sequence[stormpy.numbers.Interval], expr_manager: stormpy.expressions.ExpressionManager, options: stormpy.pomdp.developer.ObservationTraceUnfolderOptions)

  • ObservationTraceUnfolder[stormpy.numbers.RationalInterval](model: stormpy.models.SparsePomdp[stormpy.numbers.RationalInterval], risk: collections.abc.Sequence[stormpy.numbers.RationalInterval], expr_manager: stormpy.expressions.ExpressionManager, options: stormpy.pomdp.developer.ObservationTraceUnfolderOptions)

Members

ObservationTraceUnfolder.extend(
self: stormpy.pomdp.ObservationTraceUnfolder[ValueType],
observations: collections.abc.Sequence[SupportsInt | SupportsIndex],
) → stormpy.models.SparseMdp[ValueType]

Extend the unfolding by the given observations

ObservationTraceUnfolder.is_restart_semantics_set(
self: stormpy.pomdp.ObservationTraceUnfolder[ValueType],
) → bool

Whether restart semantics are used

ObservationTraceUnfolder.reset(
self: stormpy.pomdp.ObservationTraceUnfolder[ValueType],
observation: SupportsInt | SupportsIndex,
) → None

Restart the unfolding with the given observation

ObservationTraceUnfolder.transform(
self: stormpy.pomdp.ObservationTraceUnfolder[ValueType],
observations: collections.abc.Sequence[SupportsInt | SupportsIndex],
) → stormpy.models.SparseMdp[ValueType]

Unfold the given observation trace