PomdpMemoryBuilder

Warning

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

class PomdpMemoryBuilder(self: stormpy.pomdp.developer._pomdp.PomdpMemoryBuilder)

Bases: pybind11_object

MemoryBuilder for POMDP policies

build(

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

pattern: stormpy.pomdp.PomdpMemoryPattern,

num_states: SupportsInt | SupportsIndex,

) → stormpy.pomdp.PomdpMemory

Build a memory structure with the given pattern and number of states