JaniChoiceOrigins

class JaniChoiceOrigins(

self: stormpy.models.JaniChoiceOrigins,

jani_model: stormpy.io.JaniModel,

index_to_identifier_mapping: collections.abc.Sequence[SupportsInt | SupportsIndex],

identifier_to_edge_index__set_mapping,

)

Bases: ChoiceOrigins

This class represents for each choice the origin in the jani 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_edge_index_set(

self: stormpy.models.JaniChoiceOrigins,

choice_index: SupportsInt | SupportsIndex,

)

returns the set of edges that induced the choice

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

property model

retrieves the associated JANI model