MemoryStructureBuilder

class MemoryStructureBuilder[ValueType](
nr_memory_states: SupportsInt | SupportsIndex,
model: stormpy.models.SparseModel[ValueType],
only_initial_states_relevant: bool = True,
)

Memory structure builder

Template arguments:

  • ValueType (type)

Available specializations:

  • MemoryStructureBuilder[float]

  • MemoryStructureBuilder[stormpy.numbers.Rational]

  • MemoryStructureBuilder[stormpy.numbers.Interval]

  • MemoryStructureBuilder[stormpy.numbers.RationalInterval]

  • MemoryStructureBuilder[stormpy.numbers.RationalFunction]

Construction

The specialization can be inferred from the second positional constructor argument (alternatively, the model keyword argument).

Members

MemoryStructureBuilder.build(self: stormpy.models.MemoryStructureBuilder[ValueType])
MemoryStructureBuilder.set_initial_memory_state(
self: stormpy.models.MemoryStructureBuilder[ValueType],
state: SupportsInt | SupportsIndex,
value: SupportsInt | SupportsIndex,
) → None
MemoryStructureBuilder.set_label(
self: stormpy.models.MemoryStructureBuilder[ValueType],
state: SupportsInt | SupportsIndex,
label: str,
) → None
MemoryStructureBuilder.set_transition(
self: stormpy.models.MemoryStructureBuilder[ValueType],
start_state: SupportsInt | SupportsIndex,
goal_state: SupportsInt | SupportsIndex,
model_states: stormpy.datastructures.BitVector,
model_choices: stormpy.datastructures.BitVector | None = None,
) → None