diff --git a/lib/stormpy/simulator.py b/lib/stormpy/simulator.py index 4ef7433..28e26e9 100644 --- a/lib/stormpy/simulator.py +++ b/lib/stormpy/simulator.py @@ -99,6 +99,9 @@ class SparseSimulator(Simulator): self._state_valuations = None self.set_full_observability(self._model.model_type != stormpy.storage.ModelType.POMDP) + def set_seed(self, value): + self._engine.set_seed(value) + def available_actions(self): if self._action_mode == SimulatorActionMode.INDEX_LEVEL: return range(self.nr_available_actions())