ItemLabeling

Warning

The stormpy developer API is internal and can be subject to change.

class ItemLabeling

Bases: pybind11_object

Labeling

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

Add label

contains_label(

self: stormpy.developer.storage._storage.ItemLabeling,

label: str,

) → bool

Check if the given label is contained in the labeling

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

Get all labels