AddIterator

Warning

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

class AddIterator[DdType, ValueType]

AddIterator

Template arguments:

• DdType (value)

• ValueType (type)

Available specializations:

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

Members

AddIterator.get(self: stormpy.developer.storage.AddIterator[DdType, ValueType])