SchedulerChoice

class SchedulerChoice[ValueType](choice: SupportsInt | SupportsIndex)

A choice of a finite memory scheduler

Template arguments:

• ValueType (type)

Available specializations:

• SchedulerChoice[float]

• SchedulerChoice[stormpy.numbers.Rational]

• SchedulerChoice[stormpy.numbers.Interval]

• SchedulerChoice[stormpy.numbers.RationalInterval]

• SchedulerChoice[stormpy.numbers.RationalFunction]

Construction

The default specialization is SchedulerChoice[float].

Members

property SchedulerChoice.defined

Is the choice defined by the scheduler?

property SchedulerChoice.deterministic

Is the choice deterministic (given by a Dirac distribution)?

SchedulerChoice.get_choice_as_distribution(self: stormpy.models.SchedulerChoice[ValueType])

Get the distribution over the actions

SchedulerChoice.get_deterministic_choice(self: stormpy.models.SchedulerChoice[ValueType]) → int

Get the deterministic choice