From 92268776fdd6449294346c67f3454de4f5175331 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Wed, 2 Sep 2020 09:22:32 -0700
Subject: [PATCH] set seed for the simulator after initialization

---
 lib/stormpy/simulator.py | 3 +++
 1 file changed, 3 insertions(+)

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())