Skip to content
Snippets Groups Projects
Commit 4a4a6d8c authored by gastentwickler's avatar gastentwickler
Browse files

Update VisB Visualization for Train B Book

parent 39aa1ca6
No related branches found
No related tags found
No related merge requests found
...@@ -37,6 +37,38 @@ ...@@ -37,6 +37,38 @@
"repeat": [ "repeat": [
["B","C"], ["B","D"],["D","E"], ["D","K"],["F","E"],["F","K"],["I","K"],["I","J"],["J","K"],["J","I"],["K","D"],["K","I"] ["B","C"], ["B","D"],["D","E"], ["D","K"],["F","E"],["F","K"],["I","K"],["I","J"],["J","K"],["J","I"],["K","D"],["K","I"]
] ]
},
{
"id": "%0_front_r",
"attr": "opacity",
"value": "IF (%0,%1) : TRK & %0 : resbl THEN 1 ELSE 0 END",
"repeat": [
["A","B"], ["E","F"], ["F","G"], ["H","I"], ["J","N"], ["L","A"], ["M","H"]
]
},
{
"id": "%0_front_r",
"attr": "opacity",
"value": "IF (%0,%1) : TRK or (%0,%2) : TRK & %0 : resbl THEN 1 ELSE 0 END",
"repeat": [
["B","C","D"], ["D","E","K"], ["I","K","J"], ["K","F","J"]
]
},
{
"id": "%0_front_l",
"attr": "opacity",
"value": "IF (%0,%1) : TRK & %0 : resbl THEN 1 ELSE 0 END",
"repeat": [
["A","L"], ["B","A"], ["C","B"], ["D","B"], ["E","D"], ["G","F"], ["H","M"], ["I","H"], ["N","J"]
]
},
{
"id": "%0_front_l",
"attr": "opacity",
"value": "IF (%0,%1) : TRK or (%0,%2) : TRK & %0 : resbl THEN 1 ELSE 0 END",
"repeat": [
["F","E","K"], ["J","I","K"], ["K","I","D"]
]
} }
], ],
"events": [ "events": [
...@@ -56,6 +88,12 @@ ...@@ -56,6 +88,12 @@
["R1"], ["R2"], ["R3"], ["R4"], ["R5"], ["R6"], ["R7"], ["R8"], ["R9"], ["R10"] ["R1"], ["R2"], ["R3"], ["R4"], ["R5"], ["R6"], ["R7"], ["R8"], ["R9"], ["R10"]
] ]
}, },
{
"for": {"from":1, "to":5},
"id": "s%0",
"event": "route_formation",
"predicates": ["r : (%s.s:S|fst~[SIG~[{s}]])(S%0)"]
},
{ {
"id": "%0_start", "id": "%0_start",
"event": "FRONT_MOVE_1", "event": "FRONT_MOVE_1",
...@@ -65,7 +103,7 @@ ...@@ -65,7 +103,7 @@
] ]
}, },
{ {
"id": "%0_text", "id": "%0_front_l",
"event": "FRONT_MOVE_2", "event": "FRONT_MOVE_2",
"predicates": ["b=%0"], "predicates": ["b=%0"],
"repeat": [ "repeat": [
...@@ -73,22 +111,33 @@ ...@@ -73,22 +111,33 @@
] ]
}, },
{ {
"for": {"from":1, "to":5}, "id": "%0_front_r",
"id": "s%0", "event": "FRONT_MOVE_2",
"event": "route_reservation", "predicates": ["b=%0"],
"predicates": ["r : SIG_Routes(S%0)"] "repeat": [
["A"], ["B"],["C"], ["D"], ["E"], ["F"], ["G"], ["H"], ["I"], ["J"], ["K"], ["L"], ["M"], ["N"]
]
}, },
{ {
"for": {"from":1, "to":5}, "id": "%0_text",
"id": "s%0_red", "event": "BACK_MOVE_2",
"event": "route_reservation", "predicates": ["b=%0"],
"predicates": ["r : SIG_Routes(S%0)"] "repeat": [
["A"], ["B"], ["C"], ["D"], ["E"], ["F"], ["G"], ["H"], ["I"], ["J"], ["K"], ["L"], ["M"], ["N"]
]
}, },
{ {
"for": {"from":1, "to":5}, "id": "%0_ende",
"id": "s%0_green", "event": "BACK_MOVE_1",
"event": "route_formation", "predicate": ["b=%0"],
"predicates": ["r : SIG_Routes(S%0)"] "repeat": [
["L"], ["M"], ["C"], ["G"], ["N"]
]
},
{
"id": "freeing",
"event": "route_freeing",
"predicates": ["r : ROUTES"]
} }
] ]
} }
This diff is collapsed.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment