stormpy.simulator

Simulators for stepping through sparse models and Prism programs.

Use create_simulator() to obtain a simulator for a given model.

Functions

create_simulator(model[, seed, options])

Factory method for creating a simulator.

Classes

PrismSimulator(program[, seed, options])	Simulator on top of Prism programs.
Simulator([seed])	Abstract base class for simulators.
SimulatorActionMode(*values)	How actions are referred to in the simulator.
SimulatorObservationMode(*values)	How states (or observations) are reported by the simulator.
SparseSimulator(model[, seed])	Simulator on top of sparse models.