From f04311f96808c8888c88be35dacdc78e23931df1 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Thu, 9 Jul 2020 22:50:58 -0700 Subject: [PATCH] rename parameter to i to make it more clear in the example --- lib/stormpy/examples/files/pomdp/maze_2_par.prism | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/stormpy/examples/files/pomdp/maze_2_par.prism b/lib/stormpy/examples/files/pomdp/maze_2_par.prism index 12408fb..2e5076c 100644 --- a/lib/stormpy/examples/files/pomdp/maze_2_par.prism +++ b/lib/stormpy/examples/files/pomdp/maze_2_par.prism @@ -31,7 +31,7 @@ endobservables // o=6 - east, west and south walls (s11 and s12) // o=7 - the target (s13) -const double p; +const double i; module maze @@ -103,7 +103,7 @@ module maze [east] s=9 -> (s'=9); [west] s=9 -> (s'=9); [north] s=9 -> (s'=6); - [south] s=9 -> p: (s'=13) & (o'=7) + (1-p):(s'=9); + [south] s=9 -> i: (s'=13) & (o'=7) + (1-i):(s'=9); [east] s=10 -> (s'=10); [west] s=10 -> (s'=10);