Bdd

Warning

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

class Bdd[DdType]

Bdd

Template arguments:

• DdType (value)

Available specializations:

• Bdd[stormpy.models.DdType.Sylvan]

Members

property Bdd.dd_manager

get the manager

property Bdd.meta_variables

the contained meta variables

property Bdd.node_count

get node count

Bdd.to_expression(self: stormpy.developer.storage.Bdd[DdType], expression_manager)