Mercurial > repos > sybila > ebcsgen_pctl_model_checking

comparison test-data/pctl_model_checking.bcsl.ts @ 0:ea5108514910 draft

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit d80d8e9710cba50aab3e6a1e10a527d26fc7e72b
author sybila
date Fri, 09 Sep 2022 17:04:25 +0000
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:ea5108514910
1 {
2 "nodes": {
3 "1": "(inf, inf, inf)",
4 "2": "(1, 2, 0)",
5 "3": "(0, 1, 0)",
6 "4": "(0, 2, 0)",
7 "5": "(2, 1, 0)",
8 "6": "(2, 2, 0)",
9 "7": "(1, 1, 0)"
10 },
11 "edges": [
12 {
13 "s": 7,
14 "t": 3,
15 "p": 0.8
16 },
17 {
18 "s": 3,
19 "t": 4,
20 "p": 1.0
21 },
22 {
23 "s": 5,
24 "t": 7,
25 "p": 0.9855072463768116
26 },
27 {
28 "s": 1,
29 "t": 1,
30 "p": 1
31 },
32 {
33 "s": 2,
34 "t": 1,
35 "p": 0.2
36 },
37 {
38 "s": 5,
39 "t": 6,
40 "p": 0.014492753623188406
41 },
42 {
43 "s": 6,
44 "t": 1,
45 "p": 0.014492753623188406
46 },
47 {
48 "s": 6,
49 "t": 2,
50 "p": 0.9855072463768116
51 },
52 {
53 "s": 4,
54 "t": 1,
55 "p": 1.0
56 },
57 {
58 "s": 2,
59 "t": 4,
60 "p": 0.8
61 },
62 {
63 "s": 7,
64 "t": 2,
65 "p": 0.2
66 }
67 ],
68 "ordering": [
69 "X()::rep",
70 "Y()::rep",
71 "Z()::rep"
72 ],
73 "initial": 5,
74 "bound": 2
75 }