Skip to content
Snippets Groups Projects
Commit 39aa1ca6 authored by gastentwickler's avatar gastentwickler
Browse files

Merge branch 'master' of gitlab.cs.uni-duesseldorf.de:general/stups/visb-visualisation-examples

parents 4cf18738 6515025b
No related branches found
No related tags found
No related merge requests found
{ {
"svg": "train.svg", "svg": "train.svg",
"comment": "File for train_4 with Beebook topology", "comment": "File for train_4 with Beebook topology",
"definitions": [
{ "name":"SIG_Routes",
"value" : "%s.(s:S|fst~[SIG~[{s}]])",
"comment": "Routes for a signal"
}
],
"items": [ "items": [
{ {
"id": "%0", "id": "%0",
...@@ -67,29 +73,22 @@ ...@@ -67,29 +73,22 @@
] ]
}, },
{ {
"id": "s1", "for": {"from":1, "to":5},
"event": "route_formation", "id": "s%0",
"predicates": ["r : {R1,R2,R3}"] "event": "route_reservation",
}, "predicates": ["r : SIG_Routes(S%0)"]
{
"id": "s2",
"event": "route_formation",
"predicates": ["r : {R4,R5}"]
},
{
"id": "s4",
"event": "route_formation",
"predicates": ["r : {R6,R10}"]
}, },
{ {
"id": "s5", "for": {"from":1, "to":5},
"event": "route_formation", "id": "s%0_red",
"predicates": ["r : {R7,R9}"] "event": "route_reservation",
"predicates": ["r : SIG_Routes(S%0)"]
}, },
{ {
"id": "s3", "for": {"from":1, "to":5},
"id": "s%0_green",
"event": "route_formation", "event": "route_formation",
"predicates": ["r=R8"] "predicates": ["r : SIG_Routes(S%0)"]
} }
] ]
} }
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