Dd

Warning

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

class Dd[DdType]

Dd

Template arguments:

• DdType (value)

Available specializations:

• Dd[stormpy.models.DdType.Sylvan]

Members

property Dd.dd_manager

get the manager

property Dd.meta_variables

the contained meta variables

property Dd.node_count

get node count