DdManager

Warning

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

class DdManager[DdType]

DD manager

Template arguments:

• DdType (value)

Available specializations:

• DdManager[stormpy.models.DdType.Sylvan]

Members

DdManager.get_meta_variable(

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

expression_variable,

) → stormpy.developer.storage.DdMetaVariable[stormpy.models.DdType.Sylvan]