PomdpMemoryUnfolder

Warning

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

class PomdpMemoryUnfolder[ValueType](

pomdp: stormpy.models.SparsePomdp[ValueType],

memory: stormpy.pomdp.PomdpMemory,

add_memory_labels: bool = False,

keep_state_valuations: bool = False,

)

Transformer unfolding a memory structure into a POMDP

Template arguments:

• ValueType (type)

Available specializations:

• PomdpMemoryUnfolder[float]

• PomdpMemoryUnfolder[stormpy.numbers.Rational]

• PomdpMemoryUnfolder[stormpy.numbers.RationalFunction]

Construction

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

Members

PomdpMemoryUnfolder.transform(

self: stormpy.pomdp.developer.PomdpMemoryUnfolder[ValueType],

drop_unreachable_states: bool = True,

) → stormpy.models.SparsePomdp[ValueType]

Return the product of the POMDP and the memory