DdMetaVariable

Warning

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

class DdMetaVariable[DdType]

DD meta variable

Template arguments:

• DdType (value)

Available specializations:

• DdMetaVariable[stormpy.models.DdType.Sylvan]

Members

DdMetaVariable.get_indices(

self: stormpy.developer.storage.DdMetaVariable[DdType],

sorted: bool = True,

) → list[int]

property DdMetaVariable.lowest_value

property DdMetaVariable.name

property DdMetaVariable.type