SchedulerClass

Warning

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

class SchedulerClass(self: stormpy.developer._core.SchedulerClass)

Bases: pybind11_object

Class of schedulers

Create class of arbitrary schedulers

get_memory_pattern(

self: stormpy.developer._core.SchedulerClass,

) → stormpy.developer._core.SchedulerMemoryPattern

Get the memory pattern

property is_deterministic

Whether schedulers are deterministic

is_memory_bounded(self: stormpy.developer._core.SchedulerClass) → bool

Whether the memory is bounded

is_positional(self: stormpy.developer._core.SchedulerClass) → bool

Whether schedulers are positional

property memory_states

Number of memory states (None if unbounded)

set_memory_pattern(

self: stormpy.developer._core.SchedulerClass,

pattern: stormpy.developer._core.SchedulerMemoryPattern,

) → None

Set the memory pattern

set_positional(self: stormpy.developer._core.SchedulerClass) → None

Restrict to positional schedulers