From 7c8110f38d2bc8e6971f6d6aded921b30f234adb Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Fri, 7 Dec 2018 15:05:12 +0100 Subject: [PATCH] extra example file listed --- lib/stormpy/examples/files.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/lib/stormpy/examples/files.py b/lib/stormpy/examples/files.py index 748b419..5e7a447 100644 --- a/lib/stormpy/examples/files.py +++ b/lib/stormpy/examples/files.py @@ -27,6 +27,8 @@ jani_dtmc_die = _path("dtmc", "die.jani") """Jani Version of Knuth Yao Die Example""" prism_mdp_coin_2_2 = _path("mdp", "coin2-2.nm") """Prism example for coin MDP""" +prism_pmdp_coin_two_dice = _path("pmdp", "two_dice.nm") +"""Prism example for parametric two dice""" prism_mdp_maze = _path("mdp", "maze_2.nm") """Prism example for the maze MDP""" prism_pomdp_maze = _path("pomdp", "maze_2.prism")