Add

Warning

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

class Add[DdType, ValueType]

Add

Template arguments:

• DdType (value)

• ValueType (type)

Available specializations:

• Add[stormpy.models.DdType.Sylvan, float]

Members

property Add.dd_manager

get the manager

property Add.meta_variables

the contained meta variables

property Add.node_count

get node count