SchedulerMemoryPattern¶

Warning

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

class SchedulerMemoryPattern(*values)¶

Bases: Enum

Memory pattern of a scheduler