MemoryStructure

class MemoryStructure

Bases: pybind11_object

Finite memory states, labels and transitions used by a scheduler

property nr_states

product(

self: stormpy.models.MemoryStructure,

arg0: stormpy.models.MemoryStructure,

) → stormpy.models.MemoryStructure

product_model(

model: stormpy.models.SparseModel[float],

) → stormpy.developer.storage.MemoryStructureProduct[float]

product_model(

model: stormpy.models.SparseModel[stormpy.numbers.Rational],

) → stormpy.developer.storage.MemoryStructureProduct[stormpy.numbers.Rational]

product_model(

model: stormpy.models.SparseModel[stormpy.numbers.RationalFunction],

) → stormpy.developer.storage.MemoryStructureProduct[stormpy.numbers.RationalFunction]

property state_labeling