PrismChoiceOrigins

class PrismChoiceOrigins(

self: stormpy.models.PrismChoiceOrigins,

prism_program: stormpy.io.PrismProgram,

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

identifier_to_command_set_mapping,

)

Bases: ChoiceOrigins

This class represents for each choice the set of prism commands that induced the choice.

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_command_set(

self: stormpy.models.PrismChoiceOrigins,

choice_index: SupportsInt | SupportsIndex,

)

Returns the set of prism commands 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 program

retrieves the associated Prism program