StateLabeling

class StateLabeling(

self: stormpy.models.StateLabeling,

state_count: SupportsInt | SupportsIndex,

)

Bases: ItemLabeling

Labeling for states

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

Add label

add_label_to_state(

self: stormpy.models.StateLabeling,

label: str,

state: SupportsInt | SupportsIndex,

) → None

Add label to state

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

Check if the given label is contained in the labeling

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

Get all labels

get_labels_of_state(

self: stormpy.models.StateLabeling,

state: SupportsInt | SupportsIndex,

) → set[str]

Get labels of given state

get_state_has_label(

self: stormpy.models.StateLabeling,

label: str,

state: SupportsInt | SupportsIndex,

) → bool

Check if the given state has the given label

get_states(

self: stormpy.models.StateLabeling,

label: str,

) → stormpy.datastructures.BitVector

Get all states which have the given label

set_states(

self: stormpy.models.StateLabeling,

label: str,

states: stormpy.datastructures.BitVector,

) → None

Add a label to the given states