small changes

Author: PimLeerkes

examples/monty_hall.py

@@ -71,4 +71,5 @@ def create_monty_hall_mdp():
 
 if __name__ == "__main__":
     # Print the resulting model in dot format.
+
     print(create_monty_hall_mdp().to_dot())

stormvogel/model.py

@@ -92,7 +92,7 @@ def __init__(
         self.observation = None
 
         if name is None:
-            self.name = str(id)
+            self.name = str(id)  # TODO Two states can have same name in some cases
         else:
             self.name = name
 

stormvogel/model_checking.py

@@ -49,9 +49,9 @@ def model_checking(
 if __name__ == "__main__":
     mdp = examples.monty_hall.create_monty_hall_mdp()
 
-    # rewardmodel = mdp.add_rewards("rewardmodel")
-    # rewardmodel.set_from_rewards_vector(list(range(67)))
-    # rewardmodel2 = mdp.add_rewards("rewardmodel2")
-    # rewardmodel2.set_from_rewards_vector(list(range(67)))
+    rewardmodel = mdp.add_rewards("rewardmodel")
+    rewardmodel.set_from_rewards_vector(list(range(67)))
+    rewardmodel2 = mdp.add_rewards("rewardmodel2")
+    rewardmodel2.set_from_rewards_vector(list(range(67)))
 
     print(model_checking(mdp))  # ,'R{"rewardmodel"}min=? [F "target" | "done"]'))