ChoiceLabeling

class ChoiceLabeling(

self: stormpy.models.ChoiceLabeling,

choice_count: SupportsInt | SupportsIndex,

)

Bases: ItemLabeling

Labeling for choices

add_label(self: stormpy.developer.storage.ItemLabeling, label: str) → None

Add label

add_label_to_choice(

self: stormpy.models.ChoiceLabeling,

label: str,

state: SupportsInt | SupportsIndex,

) → None

Adds a label to a given choice

contains_label(self: stormpy.developer.storage.ItemLabeling, label: str) → bool

Check if the given label is contained in the labeling

get_choices(

self: stormpy.models.ChoiceLabeling,

label: str,

) → stormpy.datastructures.BitVector

Get all choices which have the given label

get_labels(self: stormpy.developer.storage.ItemLabeling) → set[str]

Get all labels

get_labels_of_choice(

self: stormpy.models.ChoiceLabeling,

choice: SupportsInt | SupportsIndex,

) → set[str]

Get labels of the given choice

set_choices(

self: stormpy.models.ChoiceLabeling,

label: str,

choices: stormpy.datastructures.BitVector,

) → None

Add a label to a the given choices