Browse Source

rename parameter to i to make it more clear in the example

refactoring
Sebastian Junges 4 years ago
parent
commit
f04311f968
  1. 4
      lib/stormpy/examples/files/pomdp/maze_2_par.prism

4
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=6 - east, west and south walls (s11 and s12)
// o=7 - the target (s13) // o=7 - the target (s13)
const double p;
const double i;
module maze module maze
@ -103,7 +103,7 @@ module maze
[east] s=9 -> (s'=9); [east] s=9 -> (s'=9);
[west] s=9 -> (s'=9); [west] s=9 -> (s'=9);
[north] s=9 -> (s'=6); [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); [east] s=10 -> (s'=10);
[west] s=10 -> (s'=10); [west] s=10 -> (s'=10);

Loading…
Cancel
Save