FlatSet

Warning

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

class FlatSet

class FlatSet(other: stormpy.developer._core.FlatSet)

Bases: pybind11_object

Flat set of integers

insert(

self: stormpy.developer._core.FlatSet,

value: SupportsInt | SupportsIndex,

) → None

Insert value

insert_set(

self: stormpy.developer._core.FlatSet,

other: stormpy.developer._core.FlatSet,

) → None

Insert all values of the other set

is_subset_of(

self: stormpy.developer._core.FlatSet,

other: stormpy.developer._core.FlatSet,

) → bool

Whether this set is a subset of the other set