Start API Documentation stormpy.simulator SimulatorObservationMode SimulatorObservationMode¶ class SimulatorObservationMode(*values)¶ Bases: Enum How states (or observations) are reported by the simulator. PROGRAM_LEVEL = 1¶ States are reported by their variable valuation (as JSON). STATE_LEVEL = (0,)¶ States are reported by their index in the model.