MemoryStructureProduct

Warning

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

class MemoryStructureProduct[ValueType]

Memory structure product

Template arguments:

• ValueType (type)

Available specializations:

• MemoryStructureProduct[float]

• MemoryStructureProduct[stormpy.numbers.Rational]

• MemoryStructureProduct[stormpy.numbers.Interval]

• MemoryStructureProduct[stormpy.numbers.RationalInterval]

• MemoryStructureProduct[stormpy.numbers.RationalFunction]

Construction

The default specialization is MemoryStructureProduct[float].

Members

MemoryStructureProduct.build(

self: stormpy.developer.storage.MemoryStructureProduct[ValueType],

preserve_model_type: bool = False,

) → stormpy.models.SparseModel[ValueType]

MemoryStructureProduct.set_build_full_product(

self: stormpy.developer.storage.MemoryStructureProduct[ValueType],

) → None

Enforces that every state is considered reachable and thus constructed. This causes the product to have the size of the product of the original model and the memory structure.