Start Extensions API Documentation stormpy.pomdp PomdpMemoryPattern PomdpMemoryPattern¶ class PomdpMemoryPattern(*values)¶ Bases: Enum Memory pattern for POMDP memory FIXED_COUNTER = 1¶ FIXED_RING = 3¶ FULL = 6¶ SELECTIVE_COUNTER = 2¶ SELECTIVE_RING = 4¶ SETTABLE_BITS = 5¶ TRIVIAL = 0¶