ChoiceOrigins

class ChoiceOrigins

Bases: pybind11_object

This class represents the origin of choices of a model in terms of the input model spec.

as_jani_choice_origins(self: stormpy.models.ChoiceOrigins)

as_prism_choice_origins(self: stormpy.models.ChoiceOrigins)

get_choice_info(

self: stormpy.models.ChoiceOrigins,

identifier: SupportsInt | SupportsIndex,

) → str

human readable string

get_identifier_info(

self: stormpy.models.ChoiceOrigins,

identifier: SupportsInt | SupportsIndex,

) → str

human readable string

get_number_of_identifiers(self: stormpy.models.ChoiceOrigins) → int

the number of considered identifier

is_jani_choice_origins(self: stormpy.models.ChoiceOrigins) → bool

is_prism_choice_origins(self: stormpy.models.ChoiceOrigins) → bool