Start API Documentation stormpy.simulator SimulatorActionMode SimulatorActionMode¶ class SimulatorActionMode(*values)¶ Bases: Enum How actions are referred to in the simulator. GLOBAL_NAMES = 1¶ Actions are referred to by their (choice) label. INDEX_LEVEL = (0,)¶ Actions are referred to by their index in the current state.