ObservationTraceUnfolderOptions

Warning

The stormpy developer API is internal and can be subject to change.

class ObservationTraceUnfolderOptions(

self: stormpy.pomdp.developer._pomdp.ObservationTraceUnfolderOptions,

)

Bases: pybind11_object

Options for unfolding observation traces

property use_restart_semantics

Use restart semantics instead of a sink state