diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2020-08-28 18:58:37 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-08-28 18:58:37 +0200 |
commit | 4fe7fce97aedbd516109ef81afc33e00112b7b68 (patch) | |
tree | 7eaa7c4e9b31b2a1488e49de48721b4dbad31fae /Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.gml | |
parent | MoDeS3 unit propagation WIP (diff) | |
download | VIATRA-Generator-4fe7fce97aedbd516109ef81afc33e00112b7b68.tar.gz VIATRA-Generator-4fe7fce97aedbd516109ef81afc33e00112b7b68.tar.zst VIATRA-Generator-4fe7fce97aedbd516109ef81afc33e00112b7b68.zip |
Must unit propagation
Diffstat (limited to 'Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.gml')
-rw-r--r-- | Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.gml | 1191 |
1 files changed, 0 insertions, 1191 deletions
diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.gml b/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.gml deleted file mode 100644 index 66b57d1a..00000000 --- a/Domains/ca.mcgill.rtgmrt.example.modes3/output/solution1.gml +++ /dev/null | |||
@@ -1,1191 +0,0 @@ | |||
1 | graph | ||
2 | [ | ||
3 | node | ||
4 | [ | ||
5 | id 0 | ||
6 | graphics | ||
7 | [ | ||
8 | w 269.5 | ||
9 | h 54 | ||
10 | type "rectangle" | ||
11 | fill "#FFFFFF" | ||
12 | fill2 "#FFFFFF" | ||
13 | outline "#000000" | ||
14 | ] | ||
15 | LabelGraphics | ||
16 | [ | ||
17 | text "o 1" | ||
18 | outline "#000000" | ||
19 | fill "#FFFFFF" | ||
20 | fontSize 16 | ||
21 | fontName "Monospace" | ||
22 | autoSizePolicy "node_width" | ||
23 | anchor "t" | ||
24 | borderDistance 0.0 | ||
25 | ] | ||
26 | LabelGraphics | ||
27 | [ | ||
28 | text " | ||
29 | Modes3ModelRoot class DefinedPart | ||
30 | Modes3ModelRoot class | ||
31 | " | ||
32 | fontSize 14 | ||
33 | fontName "Consolas" | ||
34 | alignment "left" | ||
35 | anchor "tl" | ||
36 | borderDistance 6 | ||
37 | ] | ||
38 | ] | ||
39 | |||
40 | node | ||
41 | [ | ||
42 | id 1 | ||
43 | graphics | ||
44 | [ | ||
45 | w 41.800000000000004 | ||
46 | h 26 | ||
47 | type "rectangle" | ||
48 | fill "#FFFFFF" | ||
49 | fill2 "#FFFFFF" | ||
50 | outline "#000000" | ||
51 | ] | ||
52 | LabelGraphics | ||
53 | [ | ||
54 | text "true" | ||
55 | outline "#000000" | ||
56 | fill "#FFFFFF" | ||
57 | fontSize 16 | ||
58 | fontName "Monospace" | ||
59 | autoSizePolicy "node_width" | ||
60 | anchor "t" | ||
61 | borderDistance 0.0 | ||
62 | ] | ||
63 | LabelGraphics | ||
64 | [ | ||
65 | text " | ||
66 | " | ||
67 | fontSize 14 | ||
68 | fontName "Consolas" | ||
69 | alignment "left" | ||
70 | anchor "tl" | ||
71 | borderDistance 6 | ||
72 | ] | ||
73 | ] | ||
74 | |||
75 | node | ||
76 | [ | ||
77 | id 2 | ||
78 | graphics | ||
79 | [ | ||
80 | w 50.6 | ||
81 | h 26 | ||
82 | type "rectangle" | ||
83 | fill "#FFFFFF" | ||
84 | fill2 "#FFFFFF" | ||
85 | outline "#000000" | ||
86 | ] | ||
87 | LabelGraphics | ||
88 | [ | ||
89 | text "false" | ||
90 | outline "#000000" | ||
91 | fill "#FFFFFF" | ||
92 | fontSize 16 | ||
93 | fontName "Monospace" | ||
94 | autoSizePolicy "node_width" | ||
95 | anchor "t" | ||
96 | borderDistance 0.0 | ||
97 | ] | ||
98 | LabelGraphics | ||
99 | [ | ||
100 | text " | ||
101 | " | ||
102 | fontSize 14 | ||
103 | fontName "Consolas" | ||
104 | alignment "left" | ||
105 | anchor "tl" | ||
106 | borderDistance 6 | ||
107 | ] | ||
108 | ] | ||
109 | |||
110 | node | ||
111 | [ | ||
112 | id 3 | ||
113 | graphics | ||
114 | [ | ||
115 | w 115.50000000000001 | ||
116 | h 54 | ||
117 | type "rectangle" | ||
118 | fill "#FFFFFF" | ||
119 | fill2 "#FFFFFF" | ||
120 | outline "#000000" | ||
121 | ] | ||
122 | LabelGraphics | ||
123 | [ | ||
124 | text "null" | ||
125 | outline "#000000" | ||
126 | fill "#FFFFFF" | ||
127 | fontSize 16 | ||
128 | fontName "Monospace" | ||
129 | autoSizePolicy "node_width" | ||
130 | anchor "t" | ||
131 | borderDistance 0.0 | ||
132 | ] | ||
133 | LabelGraphics | ||
134 | [ | ||
135 | text " | ||
136 | Segment class | ||
137 | Turnout class | ||
138 | " | ||
139 | fontSize 14 | ||
140 | fontName "Consolas" | ||
141 | alignment "left" | ||
142 | anchor "tl" | ||
143 | borderDistance 6 | ||
144 | ] | ||
145 | ] | ||
146 | |||
147 | node | ||
148 | [ | ||
149 | id 4 | ||
150 | graphics | ||
151 | [ | ||
152 | w 100.10000000000001 | ||
153 | h 40 | ||
154 | type "rectangle" | ||
155 | fill "#FFFFFF" | ||
156 | fill2 "#FFFFFF" | ||
157 | outline "#000000" | ||
158 | ] | ||
159 | LabelGraphics | ||
160 | [ | ||
161 | text "null" | ||
162 | outline "#000000" | ||
163 | fill "#FFFFFF" | ||
164 | fontSize 16 | ||
165 | fontName "Monospace" | ||
166 | autoSizePolicy "node_width" | ||
167 | anchor "t" | ||
168 | borderDistance 0.0 | ||
169 | ] | ||
170 | LabelGraphics | ||
171 | [ | ||
172 | text " | ||
173 | Train class | ||
174 | " | ||
175 | fontSize 14 | ||
176 | fontName "Consolas" | ||
177 | alignment "left" | ||
178 | anchor "tl" | ||
179 | borderDistance 6 | ||
180 | ] | ||
181 | ] | ||
182 | |||
183 | node | ||
184 | [ | ||
185 | id 5 | ||
186 | graphics | ||
187 | [ | ||
188 | w 115.50000000000001 | ||
189 | h 40 | ||
190 | type "rectangle" | ||
191 | fill "#FFFFFF" | ||
192 | fill2 "#FFFFFF" | ||
193 | outline "#000000" | ||
194 | ] | ||
195 | LabelGraphics | ||
196 | [ | ||
197 | text "null" | ||
198 | outline "#000000" | ||
199 | fill "#FFFFFF" | ||
200 | fontSize 16 | ||
201 | fontName "Monospace" | ||
202 | autoSizePolicy "node_width" | ||
203 | anchor "t" | ||
204 | borderDistance 0.0 | ||
205 | ] | ||
206 | LabelGraphics | ||
207 | [ | ||
208 | text " | ||
209 | Segment class | ||
210 | " | ||
211 | fontSize 14 | ||
212 | fontName "Consolas" | ||
213 | alignment "left" | ||
214 | anchor "tl" | ||
215 | borderDistance 6 | ||
216 | ] | ||
217 | ] | ||
218 | |||
219 | node | ||
220 | [ | ||
221 | id 6 | ||
222 | graphics | ||
223 | [ | ||
224 | w 100.10000000000001 | ||
225 | h 40 | ||
226 | type "rectangle" | ||
227 | fill "#FFFFFF" | ||
228 | fill2 "#FFFFFF" | ||
229 | outline "#000000" | ||
230 | ] | ||
231 | LabelGraphics | ||
232 | [ | ||
233 | text "null" | ||
234 | outline "#000000" | ||
235 | fill "#FFFFFF" | ||
236 | fontSize 16 | ||
237 | fontName "Monospace" | ||
238 | autoSizePolicy "node_width" | ||
239 | anchor "t" | ||
240 | borderDistance 0.0 | ||
241 | ] | ||
242 | LabelGraphics | ||
243 | [ | ||
244 | text " | ||
245 | Train class | ||
246 | " | ||
247 | fontSize 14 | ||
248 | fontName "Consolas" | ||
249 | alignment "left" | ||
250 | anchor "tl" | ||
251 | borderDistance 6 | ||
252 | ] | ||
253 | ] | ||
254 | |||
255 | node | ||
256 | [ | ||
257 | id 7 | ||
258 | graphics | ||
259 | [ | ||
260 | w 115.50000000000001 | ||
261 | h 40 | ||
262 | type "rectangle" | ||
263 | fill "#FFFFFF" | ||
264 | fill2 "#FFFFFF" | ||
265 | outline "#000000" | ||
266 | ] | ||
267 | LabelGraphics | ||
268 | [ | ||
269 | text "null" | ||
270 | outline "#000000" | ||
271 | fill "#FFFFFF" | ||
272 | fontSize 16 | ||
273 | fontName "Monospace" | ||
274 | autoSizePolicy "node_width" | ||
275 | anchor "t" | ||
276 | borderDistance 0.0 | ||
277 | ] | ||
278 | LabelGraphics | ||
279 | [ | ||
280 | text " | ||
281 | Segment class | ||
282 | " | ||
283 | fontSize 14 | ||
284 | fontName "Consolas" | ||
285 | alignment "left" | ||
286 | anchor "tl" | ||
287 | borderDistance 6 | ||
288 | ] | ||
289 | ] | ||
290 | |||
291 | node | ||
292 | [ | ||
293 | id 8 | ||
294 | graphics | ||
295 | [ | ||
296 | w 100.10000000000001 | ||
297 | h 40 | ||
298 | type "rectangle" | ||
299 | fill "#FFFFFF" | ||
300 | fill2 "#FFFFFF" | ||
301 | outline "#000000" | ||
302 | ] | ||
303 | LabelGraphics | ||
304 | [ | ||
305 | text "null" | ||
306 | outline "#000000" | ||
307 | fill "#FFFFFF" | ||
308 | fontSize 16 | ||
309 | fontName "Monospace" | ||
310 | autoSizePolicy "node_width" | ||
311 | anchor "t" | ||
312 | borderDistance 0.0 | ||
313 | ] | ||
314 | LabelGraphics | ||
315 | [ | ||
316 | text " | ||
317 | Train class | ||
318 | " | ||
319 | fontSize 14 | ||
320 | fontName "Consolas" | ||
321 | alignment "left" | ||
322 | anchor "tl" | ||
323 | borderDistance 6 | ||
324 | ] | ||
325 | ] | ||
326 | |||
327 | node | ||
328 | [ | ||
329 | id 9 | ||
330 | graphics | ||
331 | [ | ||
332 | w 115.50000000000001 | ||
333 | h 40 | ||
334 | type "rectangle" | ||
335 | fill "#FFFFFF" | ||
336 | fill2 "#FFFFFF" | ||
337 | outline "#000000" | ||
338 | ] | ||
339 | LabelGraphics | ||
340 | [ | ||
341 | text "null" | ||
342 | outline "#000000" | ||
343 | fill "#FFFFFF" | ||
344 | fontSize 16 | ||
345 | fontName "Monospace" | ||
346 | autoSizePolicy "node_width" | ||
347 | anchor "t" | ||
348 | borderDistance 0.0 | ||
349 | ] | ||
350 | LabelGraphics | ||
351 | [ | ||
352 | text " | ||
353 | Segment class | ||
354 | " | ||
355 | fontSize 14 | ||
356 | fontName "Consolas" | ||
357 | alignment "left" | ||
358 | anchor "tl" | ||
359 | borderDistance 6 | ||
360 | ] | ||
361 | ] | ||
362 | |||
363 | node | ||
364 | [ | ||
365 | id 10 | ||
366 | graphics | ||
367 | [ | ||
368 | w 100.10000000000001 | ||
369 | h 40 | ||
370 | type "rectangle" | ||
371 | fill "#FFFFFF" | ||
372 | fill2 "#FFFFFF" | ||
373 | outline "#000000" | ||
374 | ] | ||
375 | LabelGraphics | ||
376 | [ | ||
377 | text "null" | ||
378 | outline "#000000" | ||
379 | fill "#FFFFFF" | ||
380 | fontSize 16 | ||
381 | fontName "Monospace" | ||
382 | autoSizePolicy "node_width" | ||
383 | anchor "t" | ||
384 | borderDistance 0.0 | ||
385 | ] | ||
386 | LabelGraphics | ||
387 | [ | ||
388 | text " | ||
389 | Train class | ||
390 | " | ||
391 | fontSize 14 | ||
392 | fontName "Consolas" | ||
393 | alignment "left" | ||
394 | anchor "tl" | ||
395 | borderDistance 6 | ||
396 | ] | ||
397 | ] | ||
398 | |||
399 | node | ||
400 | [ | ||
401 | id 11 | ||
402 | graphics | ||
403 | [ | ||
404 | w 115.50000000000001 | ||
405 | h 40 | ||
406 | type "rectangle" | ||
407 | fill "#FFFFFF" | ||
408 | fill2 "#FFFFFF" | ||
409 | outline "#000000" | ||
410 | ] | ||
411 | LabelGraphics | ||
412 | [ | ||
413 | text "null" | ||
414 | outline "#000000" | ||
415 | fill "#FFFFFF" | ||
416 | fontSize 16 | ||
417 | fontName "Monospace" | ||
418 | autoSizePolicy "node_width" | ||
419 | anchor "t" | ||
420 | borderDistance 0.0 | ||
421 | ] | ||
422 | LabelGraphics | ||
423 | [ | ||
424 | text " | ||
425 | Segment class | ||
426 | " | ||
427 | fontSize 14 | ||
428 | fontName "Consolas" | ||
429 | alignment "left" | ||
430 | anchor "tl" | ||
431 | borderDistance 6 | ||
432 | ] | ||
433 | ] | ||
434 | |||
435 | node | ||
436 | [ | ||
437 | id 12 | ||
438 | graphics | ||
439 | [ | ||
440 | w 100.10000000000001 | ||
441 | h 40 | ||
442 | type "rectangle" | ||
443 | fill "#FFFFFF" | ||
444 | fill2 "#FFFFFF" | ||
445 | outline "#000000" | ||
446 | ] | ||
447 | LabelGraphics | ||
448 | [ | ||
449 | text "null" | ||
450 | outline "#000000" | ||
451 | fill "#FFFFFF" | ||
452 | fontSize 16 | ||
453 | fontName "Monospace" | ||
454 | autoSizePolicy "node_width" | ||
455 | anchor "t" | ||
456 | borderDistance 0.0 | ||
457 | ] | ||
458 | LabelGraphics | ||
459 | [ | ||
460 | text " | ||
461 | Train class | ||
462 | " | ||
463 | fontSize 14 | ||
464 | fontName "Consolas" | ||
465 | alignment "left" | ||
466 | anchor "tl" | ||
467 | borderDistance 6 | ||
468 | ] | ||
469 | ] | ||
470 | |||
471 | node | ||
472 | [ | ||
473 | id 13 | ||
474 | graphics | ||
475 | [ | ||
476 | w 15.400000000000002 | ||
477 | h 26 | ||
478 | type "rectangle" | ||
479 | fill "#FFFFFF" | ||
480 | fill2 "#FFFFFF" | ||
481 | outline "#000000" | ||
482 | ] | ||
483 | LabelGraphics | ||
484 | [ | ||
485 | text "?" | ||
486 | outline "#000000" | ||
487 | fill "#FFFFFF" | ||
488 | fontSize 16 | ||
489 | fontName "Monospace" | ||
490 | autoSizePolicy "node_width" | ||
491 | anchor "t" | ||
492 | borderDistance 0.0 | ||
493 | ] | ||
494 | LabelGraphics | ||
495 | [ | ||
496 | text " | ||
497 | " | ||
498 | fontSize 14 | ||
499 | fontName "Consolas" | ||
500 | alignment "left" | ||
501 | anchor "tl" | ||
502 | borderDistance 6 | ||
503 | ] | ||
504 | ] | ||
505 | |||
506 | node | ||
507 | [ | ||
508 | id 14 | ||
509 | graphics | ||
510 | [ | ||
511 | w 15.400000000000002 | ||
512 | h 26 | ||
513 | type "rectangle" | ||
514 | fill "#FFFFFF" | ||
515 | fill2 "#FFFFFF" | ||
516 | outline "#000000" | ||
517 | ] | ||
518 | LabelGraphics | ||
519 | [ | ||
520 | text "?" | ||
521 | outline "#000000" | ||
522 | fill "#FFFFFF" | ||
523 | fontSize 16 | ||
524 | fontName "Monospace" | ||
525 | autoSizePolicy "node_width" | ||
526 | anchor "t" | ||
527 | borderDistance 0.0 | ||
528 | ] | ||
529 | LabelGraphics | ||
530 | [ | ||
531 | text " | ||
532 | " | ||
533 | fontSize 14 | ||
534 | fontName "Consolas" | ||
535 | alignment "left" | ||
536 | anchor "tl" | ||
537 | borderDistance 6 | ||
538 | ] | ||
539 | ] | ||
540 | |||
541 | node | ||
542 | [ | ||
543 | id 15 | ||
544 | graphics | ||
545 | [ | ||
546 | w 15.400000000000002 | ||
547 | h 26 | ||
548 | type "rectangle" | ||
549 | fill "#FFFFFF" | ||
550 | fill2 "#FFFFFF" | ||
551 | outline "#000000" | ||
552 | ] | ||
553 | LabelGraphics | ||
554 | [ | ||
555 | text "?" | ||
556 | outline "#000000" | ||
557 | fill "#FFFFFF" | ||
558 | fontSize 16 | ||
559 | fontName "Monospace" | ||
560 | autoSizePolicy "node_width" | ||
561 | anchor "t" | ||
562 | borderDistance 0.0 | ||
563 | ] | ||
564 | LabelGraphics | ||
565 | [ | ||
566 | text " | ||
567 | " | ||
568 | fontSize 14 | ||
569 | fontName "Consolas" | ||
570 | alignment "left" | ||
571 | anchor "tl" | ||
572 | borderDistance 6 | ||
573 | ] | ||
574 | ] | ||
575 | |||
576 | node | ||
577 | [ | ||
578 | id 16 | ||
579 | graphics | ||
580 | [ | ||
581 | w 103.4 | ||
582 | h 26 | ||
583 | type "rectangle" | ||
584 | fill "#FFFFFF" | ||
585 | fill2 "#FFFFFF" | ||
586 | outline "#000000" | ||
587 | ] | ||
588 | LabelGraphics | ||
589 | [ | ||
590 | text "New Objects" | ||
591 | outline "#000000" | ||
592 | fill "#FFFFFF" | ||
593 | fontSize 16 | ||
594 | fontName "Monospace" | ||
595 | autoSizePolicy "node_width" | ||
596 | anchor "t" | ||
597 | borderDistance 0.0 | ||
598 | ] | ||
599 | LabelGraphics | ||
600 | [ | ||
601 | text " | ||
602 | " | ||
603 | fontSize 14 | ||
604 | fontName "Consolas" | ||
605 | alignment "left" | ||
606 | anchor "tl" | ||
607 | borderDistance 6 | ||
608 | ] | ||
609 | ] | ||
610 | edge | ||
611 | [ | ||
612 | source 5 | ||
613 | target 3 | ||
614 | graphics | ||
615 | [ | ||
616 | fill "#000000" | ||
617 | targetArrow "standard" | ||
618 | ] | ||
619 | LabelGraphics | ||
620 | [ | ||
621 | text "connectedTo reference Segment" | ||
622 | fontSize 14 | ||
623 | fontName "Consolas" | ||
624 | configuration "AutoFlippingLabel" | ||
625 | model "six_pos" | ||
626 | position "thead" | ||
627 | ] | ||
628 | ] | ||
629 | edge | ||
630 | [ | ||
631 | source 3 | ||
632 | target 5 | ||
633 | graphics | ||
634 | [ | ||
635 | fill "#000000" | ||
636 | targetArrow "standard" | ||
637 | ] | ||
638 | LabelGraphics | ||
639 | [ | ||
640 | text "connectedTo reference Segment" | ||
641 | fontSize 14 | ||
642 | fontName "Consolas" | ||
643 | configuration "AutoFlippingLabel" | ||
644 | model "six_pos" | ||
645 | position "thead" | ||
646 | ] | ||
647 | ] | ||
648 | edge | ||
649 | [ | ||
650 | source 7 | ||
651 | target 3 | ||
652 | graphics | ||
653 | [ | ||
654 | fill "#000000" | ||
655 | targetArrow "standard" | ||
656 | ] | ||
657 | LabelGraphics | ||
658 | [ | ||
659 | text "connectedTo reference Segment" | ||
660 | fontSize 14 | ||
661 | fontName "Consolas" | ||
662 | configuration "AutoFlippingLabel" | ||
663 | model "six_pos" | ||
664 | position "thead" | ||
665 | ] | ||
666 | ] | ||
667 | edge | ||
668 | [ | ||
669 | source 3 | ||
670 | target 7 | ||
671 | graphics | ||
672 | [ | ||
673 | fill "#000000" | ||
674 | targetArrow "standard" | ||
675 | ] | ||
676 | LabelGraphics | ||
677 | [ | ||
678 | text "connectedTo reference Segment" | ||
679 | fontSize 14 | ||
680 | fontName "Consolas" | ||
681 | configuration "AutoFlippingLabel" | ||
682 | model "six_pos" | ||
683 | position "thead" | ||
684 | ] | ||
685 | ] | ||
686 | edge | ||
687 | [ | ||
688 | source 7 | ||
689 | target 9 | ||
690 | graphics | ||
691 | [ | ||
692 | fill "#000000" | ||
693 | targetArrow "standard" | ||
694 | ] | ||
695 | LabelGraphics | ||
696 | [ | ||
697 | text "connectedTo reference Segment" | ||
698 | fontSize 14 | ||
699 | fontName "Consolas" | ||
700 | configuration "AutoFlippingLabel" | ||
701 | model "six_pos" | ||
702 | position "thead" | ||
703 | ] | ||
704 | ] | ||
705 | edge | ||
706 | [ | ||
707 | source 9 | ||
708 | target 7 | ||
709 | graphics | ||
710 | [ | ||
711 | fill "#000000" | ||
712 | targetArrow "standard" | ||
713 | ] | ||
714 | LabelGraphics | ||
715 | [ | ||
716 | text "connectedTo reference Segment" | ||
717 | fontSize 14 | ||
718 | fontName "Consolas" | ||
719 | configuration "AutoFlippingLabel" | ||
720 | model "six_pos" | ||
721 | position "thead" | ||
722 | ] | ||
723 | ] | ||
724 | edge | ||
725 | [ | ||
726 | source 11 | ||
727 | target 5 | ||
728 | graphics | ||
729 | [ | ||
730 | fill "#000000" | ||
731 | targetArrow "standard" | ||
732 | ] | ||
733 | LabelGraphics | ||
734 | [ | ||
735 | text "connectedTo reference Segment" | ||
736 | fontSize 14 | ||
737 | fontName "Consolas" | ||
738 | configuration "AutoFlippingLabel" | ||
739 | model "six_pos" | ||
740 | position "thead" | ||
741 | ] | ||
742 | ] | ||
743 | edge | ||
744 | [ | ||
745 | source 5 | ||
746 | target 11 | ||
747 | graphics | ||
748 | [ | ||
749 | fill "#000000" | ||
750 | targetArrow "standard" | ||
751 | ] | ||
752 | LabelGraphics | ||
753 | [ | ||
754 | text "connectedTo reference Segment" | ||
755 | fontSize 14 | ||
756 | fontName "Consolas" | ||
757 | configuration "AutoFlippingLabel" | ||
758 | model "six_pos" | ||
759 | position "thead" | ||
760 | ] | ||
761 | ] | ||
762 | edge | ||
763 | [ | ||
764 | source 5 | ||
765 | target 6 | ||
766 | graphics | ||
767 | [ | ||
768 | fill "#000000" | ||
769 | targetArrow "standard" | ||
770 | ] | ||
771 | LabelGraphics | ||
772 | [ | ||
773 | text "occupiedBy reference Segment" | ||
774 | fontSize 14 | ||
775 | fontName "Consolas" | ||
776 | configuration "AutoFlippingLabel" | ||
777 | model "six_pos" | ||
778 | position "thead" | ||
779 | ] | ||
780 | ] | ||
781 | edge | ||
782 | [ | ||
783 | source 3 | ||
784 | target 4 | ||
785 | graphics | ||
786 | [ | ||
787 | fill "#000000" | ||
788 | targetArrow "standard" | ||
789 | ] | ||
790 | LabelGraphics | ||
791 | [ | ||
792 | text "occupiedBy reference Segment" | ||
793 | fontSize 14 | ||
794 | fontName "Consolas" | ||
795 | configuration "AutoFlippingLabel" | ||
796 | model "six_pos" | ||
797 | position "thead" | ||
798 | ] | ||
799 | ] | ||
800 | edge | ||
801 | [ | ||
802 | source 7 | ||
803 | target 8 | ||
804 | graphics | ||
805 | [ | ||
806 | fill "#000000" | ||
807 | targetArrow "standard" | ||
808 | ] | ||
809 | LabelGraphics | ||
810 | [ | ||
811 | text "occupiedBy reference Segment" | ||
812 | fontSize 14 | ||
813 | fontName "Consolas" | ||
814 | configuration "AutoFlippingLabel" | ||
815 | model "six_pos" | ||
816 | position "thead" | ||
817 | ] | ||
818 | ] | ||
819 | edge | ||
820 | [ | ||
821 | source 9 | ||
822 | target 10 | ||
823 | graphics | ||
824 | [ | ||
825 | fill "#000000" | ||
826 | targetArrow "standard" | ||
827 | ] | ||
828 | LabelGraphics | ||
829 | [ | ||
830 | text "occupiedBy reference Segment" | ||
831 | fontSize 14 | ||
832 | fontName "Consolas" | ||
833 | configuration "AutoFlippingLabel" | ||
834 | model "six_pos" | ||
835 | position "thead" | ||
836 | ] | ||
837 | ] | ||
838 | edge | ||
839 | [ | ||
840 | source 11 | ||
841 | target 12 | ||
842 | graphics | ||
843 | [ | ||
844 | fill "#000000" | ||
845 | targetArrow "standard" | ||
846 | ] | ||
847 | LabelGraphics | ||
848 | [ | ||
849 | text "occupiedBy reference Segment" | ||
850 | fontSize 14 | ||
851 | fontName "Consolas" | ||
852 | configuration "AutoFlippingLabel" | ||
853 | model "six_pos" | ||
854 | position "thead" | ||
855 | ] | ||
856 | ] | ||
857 | edge | ||
858 | [ | ||
859 | source 0 | ||
860 | target 4 | ||
861 | graphics | ||
862 | [ | ||
863 | fill "#000000" | ||
864 | width 3 | ||
865 | targetArrow "standard" | ||
866 | ] | ||
867 | LabelGraphics | ||
868 | [ | ||
869 | text "trains reference Modes3ModelRoot" | ||
870 | fontSize 14 | ||
871 | fontName "Consolas" | ||
872 | configuration "AutoFlippingLabel" | ||
873 | model "six_pos" | ||
874 | position "thead" | ||
875 | ] | ||
876 | ] | ||
877 | edge | ||
878 | [ | ||
879 | source 0 | ||
880 | target 6 | ||
881 | graphics | ||
882 | [ | ||
883 | fill "#000000" | ||
884 | width 3 | ||
885 | targetArrow "standard" | ||
886 | ] | ||
887 | LabelGraphics | ||
888 | [ | ||
889 | text "trains reference Modes3ModelRoot" | ||
890 | fontSize 14 | ||
891 | fontName "Consolas" | ||
892 | configuration "AutoFlippingLabel" | ||
893 | model "six_pos" | ||
894 | position "thead" | ||
895 | ] | ||
896 | ] | ||
897 | edge | ||
898 | [ | ||
899 | source 0 | ||
900 | target 8 | ||
901 | graphics | ||
902 | [ | ||
903 | fill "#000000" | ||
904 | width 3 | ||
905 | targetArrow "standard" | ||
906 | ] | ||
907 | LabelGraphics | ||
908 | [ | ||
909 | text "trains reference Modes3ModelRoot" | ||
910 | fontSize 14 | ||
911 | fontName "Consolas" | ||
912 | configuration "AutoFlippingLabel" | ||
913 | model "six_pos" | ||
914 | position "thead" | ||
915 | ] | ||
916 | ] | ||
917 | edge | ||
918 | [ | ||
919 | source 0 | ||
920 | target 10 | ||
921 | graphics | ||
922 | [ | ||
923 | fill "#000000" | ||
924 | width 3 | ||
925 | targetArrow "standard" | ||
926 | ] | ||
927 | LabelGraphics | ||
928 | [ | ||
929 | text "trains reference Modes3ModelRoot" | ||
930 | fontSize 14 | ||
931 | fontName "Consolas" | ||
932 | configuration "AutoFlippingLabel" | ||
933 | model "six_pos" | ||
934 | position "thead" | ||
935 | ] | ||
936 | ] | ||
937 | edge | ||
938 | [ | ||
939 | source 0 | ||
940 | target 12 | ||
941 | graphics | ||
942 | [ | ||
943 | fill "#000000" | ||
944 | width 3 | ||
945 | targetArrow "standard" | ||
946 | ] | ||
947 | LabelGraphics | ||
948 | [ | ||
949 | text "trains reference Modes3ModelRoot" | ||
950 | fontSize 14 | ||
951 | fontName "Consolas" | ||
952 | configuration "AutoFlippingLabel" | ||
953 | model "six_pos" | ||
954 | position "thead" | ||
955 | ] | ||
956 | ] | ||
957 | edge | ||
958 | [ | ||
959 | source 0 | ||
960 | target 5 | ||
961 | graphics | ||
962 | [ | ||
963 | fill "#000000" | ||
964 | width 3 | ||
965 | targetArrow "standard" | ||
966 | ] | ||
967 | LabelGraphics | ||
968 | [ | ||
969 | text "segments reference Modes3ModelRoot" | ||
970 | fontSize 14 | ||
971 | fontName "Consolas" | ||
972 | configuration "AutoFlippingLabel" | ||
973 | model "six_pos" | ||
974 | position "thead" | ||
975 | ] | ||
976 | ] | ||
977 | edge | ||
978 | [ | ||
979 | source 0 | ||
980 | target 7 | ||
981 | graphics | ||
982 | [ | ||
983 | fill "#000000" | ||
984 | width 3 | ||
985 | targetArrow "standard" | ||
986 | ] | ||
987 | LabelGraphics | ||
988 | [ | ||
989 | text "segments reference Modes3ModelRoot" | ||
990 | fontSize 14 | ||
991 | fontName "Consolas" | ||
992 | configuration "AutoFlippingLabel" | ||
993 | model "six_pos" | ||
994 | position "thead" | ||
995 | ] | ||
996 | ] | ||
997 | edge | ||
998 | [ | ||
999 | source 0 | ||
1000 | target 9 | ||
1001 | graphics | ||
1002 | [ | ||
1003 | fill "#000000" | ||
1004 | width 3 | ||
1005 | targetArrow "standard" | ||
1006 | ] | ||
1007 | LabelGraphics | ||
1008 | [ | ||
1009 | text "segments reference Modes3ModelRoot" | ||
1010 | fontSize 14 | ||
1011 | fontName "Consolas" | ||
1012 | configuration "AutoFlippingLabel" | ||
1013 | model "six_pos" | ||
1014 | position "thead" | ||
1015 | ] | ||
1016 | ] | ||
1017 | edge | ||
1018 | [ | ||
1019 | source 0 | ||
1020 | target 11 | ||
1021 | graphics | ||
1022 | [ | ||
1023 | fill "#000000" | ||
1024 | width 3 | ||
1025 | targetArrow "standard" | ||
1026 | ] | ||
1027 | LabelGraphics | ||
1028 | [ | ||
1029 | text "segments reference Modes3ModelRoot" | ||
1030 | fontSize 14 | ||
1031 | fontName "Consolas" | ||
1032 | configuration "AutoFlippingLabel" | ||
1033 | model "six_pos" | ||
1034 | position "thead" | ||
1035 | ] | ||
1036 | ] | ||
1037 | edge | ||
1038 | [ | ||
1039 | source 0 | ||
1040 | target 3 | ||
1041 | graphics | ||
1042 | [ | ||
1043 | fill "#000000" | ||
1044 | width 3 | ||
1045 | targetArrow "standard" | ||
1046 | ] | ||
1047 | LabelGraphics | ||
1048 | [ | ||
1049 | text "turnouts reference Modes3ModelRoot" | ||
1050 | fontSize 14 | ||
1051 | fontName "Consolas" | ||
1052 | configuration "AutoFlippingLabel" | ||
1053 | model "six_pos" | ||
1054 | position "thead" | ||
1055 | ] | ||
1056 | ] | ||
1057 | edge | ||
1058 | [ | ||
1059 | source 3 | ||
1060 | target 9 | ||
1061 | graphics | ||
1062 | [ | ||
1063 | fill "#000000" | ||
1064 | targetArrow "standard" | ||
1065 | ] | ||
1066 | LabelGraphics | ||
1067 | [ | ||
1068 | text "straight reference Turnout" | ||
1069 | fontSize 14 | ||
1070 | fontName "Consolas" | ||
1071 | configuration "AutoFlippingLabel" | ||
1072 | model "six_pos" | ||
1073 | position "thead" | ||
1074 | ] | ||
1075 | ] | ||
1076 | edge | ||
1077 | [ | ||
1078 | source 3 | ||
1079 | target 5 | ||
1080 | graphics | ||
1081 | [ | ||
1082 | fill "#000000" | ||
1083 | targetArrow "standard" | ||
1084 | ] | ||
1085 | LabelGraphics | ||
1086 | [ | ||
1087 | text "divergent reference Turnout" | ||
1088 | fontSize 14 | ||
1089 | fontName "Consolas" | ||
1090 | configuration "AutoFlippingLabel" | ||
1091 | model "six_pos" | ||
1092 | position "thead" | ||
1093 | ] | ||
1094 | ] | ||
1095 | edge | ||
1096 | [ | ||
1097 | source 6 | ||
1098 | target 5 | ||
1099 | graphics | ||
1100 | [ | ||
1101 | fill "#000000" | ||
1102 | targetArrow "standard" | ||
1103 | ] | ||
1104 | LabelGraphics | ||
1105 | [ | ||
1106 | text "location reference Train" | ||
1107 | fontSize 14 | ||
1108 | fontName "Consolas" | ||
1109 | configuration "AutoFlippingLabel" | ||
1110 | model "six_pos" | ||
1111 | position "thead" | ||
1112 | ] | ||
1113 | ] | ||
1114 | edge | ||
1115 | [ | ||
1116 | source 4 | ||
1117 | target 3 | ||
1118 | graphics | ||
1119 | [ | ||
1120 | fill "#000000" | ||
1121 | targetArrow "standard" | ||
1122 | ] | ||
1123 | LabelGraphics | ||
1124 | [ | ||
1125 | text "location reference Train" | ||
1126 | fontSize 14 | ||
1127 | fontName "Consolas" | ||
1128 | configuration "AutoFlippingLabel" | ||
1129 | model "six_pos" | ||
1130 | position "thead" | ||
1131 | ] | ||
1132 | ] | ||
1133 | edge | ||
1134 | [ | ||
1135 | source 8 | ||
1136 | target 7 | ||
1137 | graphics | ||
1138 | [ | ||
1139 | fill "#000000" | ||
1140 | targetArrow "standard" | ||
1141 | ] | ||
1142 | LabelGraphics | ||
1143 | [ | ||
1144 | text "location reference Train" | ||
1145 | fontSize 14 | ||
1146 | fontName "Consolas" | ||
1147 | configuration "AutoFlippingLabel" | ||
1148 | model "six_pos" | ||
1149 | position "thead" | ||
1150 | ] | ||
1151 | ] | ||
1152 | edge | ||
1153 | [ | ||
1154 | source 10 | ||
1155 | target 9 | ||
1156 | graphics | ||
1157 | [ | ||
1158 | fill "#000000" | ||
1159 | targetArrow "standard" | ||
1160 | ] | ||
1161 | LabelGraphics | ||
1162 | [ | ||
1163 | text "location reference Train" | ||
1164 | fontSize 14 | ||
1165 | fontName "Consolas" | ||
1166 | configuration "AutoFlippingLabel" | ||
1167 | model "six_pos" | ||
1168 | position "thead" | ||
1169 | ] | ||
1170 | ] | ||
1171 | edge | ||
1172 | [ | ||
1173 | source 12 | ||
1174 | target 11 | ||
1175 | graphics | ||
1176 | [ | ||
1177 | fill "#000000" | ||
1178 | targetArrow "standard" | ||
1179 | ] | ||
1180 | LabelGraphics | ||
1181 | [ | ||
1182 | text "location reference Train" | ||
1183 | fontSize 14 | ||
1184 | fontName "Consolas" | ||
1185 | configuration "AutoFlippingLabel" | ||
1186 | model "six_pos" | ||
1187 | position "thead" | ||
1188 | ] | ||
1189 | ] | ||
1190 | ] | ||
1191 | |||