diff options
Diffstat (limited to 'Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModelMODEL.gml')
-rw-r--r-- | Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModelMODEL.gml | 1562 |
1 files changed, 1562 insertions, 0 deletions
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModelMODEL.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModelMODEL.gml new file mode 100644 index 00000000..31575ae8 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModelMODEL.gml | |||
@@ -0,0 +1,1562 @@ | |||
1 | graph | ||
2 | [ | ||
3 | node | ||
4 | [ | ||
5 | id 0 | ||
6 | graphics | ||
7 | [ | ||
8 | w 41.800000000000004 | ||
9 | h 26 | ||
10 | type "rectangle" | ||
11 | fill "#FFFFFF" | ||
12 | fill2 "#FFFFFF" | ||
13 | outline "#000000" | ||
14 | ] | ||
15 | LabelGraphics | ||
16 | [ | ||
17 | text "true" | ||
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 | " | ||
30 | fontSize 14 | ||
31 | fontName "Consolas" | ||
32 | alignment "left" | ||
33 | anchor "tl" | ||
34 | borderDistance 6 | ||
35 | ] | ||
36 | ] | ||
37 | |||
38 | node | ||
39 | [ | ||
40 | id 1 | ||
41 | graphics | ||
42 | [ | ||
43 | w 50.6 | ||
44 | h 26 | ||
45 | type "rectangle" | ||
46 | fill "#FFFFFF" | ||
47 | fill2 "#FFFFFF" | ||
48 | outline "#000000" | ||
49 | ] | ||
50 | LabelGraphics | ||
51 | [ | ||
52 | text "false" | ||
53 | outline "#000000" | ||
54 | fill "#FFFFFF" | ||
55 | fontSize 16 | ||
56 | fontName "Monospace" | ||
57 | autoSizePolicy "node_width" | ||
58 | anchor "t" | ||
59 | borderDistance 0.0 | ||
60 | ] | ||
61 | LabelGraphics | ||
62 | [ | ||
63 | text " | ||
64 | " | ||
65 | fontSize 14 | ||
66 | fontName "Consolas" | ||
67 | alignment "left" | ||
68 | anchor "tl" | ||
69 | borderDistance 6 | ||
70 | ] | ||
71 | ] | ||
72 | |||
73 | node | ||
74 | [ | ||
75 | id 2 | ||
76 | graphics | ||
77 | [ | ||
78 | w 184.8 | ||
79 | h 54 | ||
80 | type "rectangle" | ||
81 | fill "#FFFFFF" | ||
82 | fill2 "#FFFFFF" | ||
83 | outline "#000000" | ||
84 | ] | ||
85 | LabelGraphics | ||
86 | [ | ||
87 | text "null" | ||
88 | outline "#000000" | ||
89 | fill "#FFFFFF" | ||
90 | fontSize 16 | ||
91 | fontName "Monospace" | ||
92 | autoSizePolicy "node_width" | ||
93 | anchor "t" | ||
94 | borderDistance 0.0 | ||
95 | ] | ||
96 | LabelGraphics | ||
97 | [ | ||
98 | text " | ||
99 | Statechart class | ||
100 | CompositeElement class | ||
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 107.80000000000001 | ||
116 | h 40 | ||
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 | Region class | ||
137 | " | ||
138 | fontSize 14 | ||
139 | fontName "Consolas" | ||
140 | alignment "left" | ||
141 | anchor "tl" | ||
142 | borderDistance 6 | ||
143 | ] | ||
144 | ] | ||
145 | |||
146 | node | ||
147 | [ | ||
148 | id 4 | ||
149 | graphics | ||
150 | [ | ||
151 | w 146.3 | ||
152 | h 68 | ||
153 | type "rectangle" | ||
154 | fill "#FFFFFF" | ||
155 | fill2 "#FFFFFF" | ||
156 | outline "#000000" | ||
157 | ] | ||
158 | LabelGraphics | ||
159 | [ | ||
160 | text "null" | ||
161 | outline "#000000" | ||
162 | fill "#FFFFFF" | ||
163 | fontSize 16 | ||
164 | fontName "Monospace" | ||
165 | autoSizePolicy "node_width" | ||
166 | anchor "t" | ||
167 | borderDistance 0.0 | ||
168 | ] | ||
169 | LabelGraphics | ||
170 | [ | ||
171 | text " | ||
172 | Pseudostate class | ||
173 | Vertex class | ||
174 | Entry class | ||
175 | " | ||
176 | fontSize 14 | ||
177 | fontName "Consolas" | ||
178 | alignment "left" | ||
179 | anchor "tl" | ||
180 | borderDistance 6 | ||
181 | ] | ||
182 | ] | ||
183 | |||
184 | node | ||
185 | [ | ||
186 | id 5 | ||
187 | graphics | ||
188 | [ | ||
189 | w 138.60000000000002 | ||
190 | h 40 | ||
191 | type "rectangle" | ||
192 | fill "#FFFFFF" | ||
193 | fill2 "#FFFFFF" | ||
194 | outline "#000000" | ||
195 | ] | ||
196 | LabelGraphics | ||
197 | [ | ||
198 | text "null" | ||
199 | outline "#000000" | ||
200 | fill "#FFFFFF" | ||
201 | fontSize 16 | ||
202 | fontName "Monospace" | ||
203 | autoSizePolicy "node_width" | ||
204 | anchor "t" | ||
205 | borderDistance 0.0 | ||
206 | ] | ||
207 | LabelGraphics | ||
208 | [ | ||
209 | text " | ||
210 | Transition class | ||
211 | " | ||
212 | fontSize 14 | ||
213 | fontName "Consolas" | ||
214 | alignment "left" | ||
215 | anchor "tl" | ||
216 | borderDistance 6 | ||
217 | ] | ||
218 | ] | ||
219 | |||
220 | node | ||
221 | [ | ||
222 | id 6 | ||
223 | graphics | ||
224 | [ | ||
225 | w 184.8 | ||
226 | h 82 | ||
227 | type "rectangle" | ||
228 | fill "#FFFFFF" | ||
229 | fill2 "#FFFFFF" | ||
230 | outline "#000000" | ||
231 | ] | ||
232 | LabelGraphics | ||
233 | [ | ||
234 | text "null" | ||
235 | outline "#000000" | ||
236 | fill "#FFFFFF" | ||
237 | fontSize 16 | ||
238 | fontName "Monospace" | ||
239 | autoSizePolicy "node_width" | ||
240 | anchor "t" | ||
241 | borderDistance 0.0 | ||
242 | ] | ||
243 | LabelGraphics | ||
244 | [ | ||
245 | text " | ||
246 | Vertex class | ||
247 | State class | ||
248 | RegularState class | ||
249 | CompositeElement class | ||
250 | " | ||
251 | fontSize 14 | ||
252 | fontName "Consolas" | ||
253 | alignment "left" | ||
254 | anchor "tl" | ||
255 | borderDistance 6 | ||
256 | ] | ||
257 | ] | ||
258 | |||
259 | node | ||
260 | [ | ||
261 | id 7 | ||
262 | graphics | ||
263 | [ | ||
264 | w 138.60000000000002 | ||
265 | h 40 | ||
266 | type "rectangle" | ||
267 | fill "#FFFFFF" | ||
268 | fill2 "#FFFFFF" | ||
269 | outline "#000000" | ||
270 | ] | ||
271 | LabelGraphics | ||
272 | [ | ||
273 | text "null" | ||
274 | outline "#000000" | ||
275 | fill "#FFFFFF" | ||
276 | fontSize 16 | ||
277 | fontName "Monospace" | ||
278 | autoSizePolicy "node_width" | ||
279 | anchor "t" | ||
280 | borderDistance 0.0 | ||
281 | ] | ||
282 | LabelGraphics | ||
283 | [ | ||
284 | text " | ||
285 | Transition class | ||
286 | " | ||
287 | fontSize 14 | ||
288 | fontName "Consolas" | ||
289 | alignment "left" | ||
290 | anchor "tl" | ||
291 | borderDistance 6 | ||
292 | ] | ||
293 | ] | ||
294 | |||
295 | node | ||
296 | [ | ||
297 | id 8 | ||
298 | graphics | ||
299 | [ | ||
300 | w 184.8 | ||
301 | h 82 | ||
302 | type "rectangle" | ||
303 | fill "#FFFFFF" | ||
304 | fill2 "#FFFFFF" | ||
305 | outline "#000000" | ||
306 | ] | ||
307 | LabelGraphics | ||
308 | [ | ||
309 | text "null" | ||
310 | outline "#000000" | ||
311 | fill "#FFFFFF" | ||
312 | fontSize 16 | ||
313 | fontName "Monospace" | ||
314 | autoSizePolicy "node_width" | ||
315 | anchor "t" | ||
316 | borderDistance 0.0 | ||
317 | ] | ||
318 | LabelGraphics | ||
319 | [ | ||
320 | text " | ||
321 | Vertex class | ||
322 | State class | ||
323 | RegularState class | ||
324 | CompositeElement class | ||
325 | " | ||
326 | fontSize 14 | ||
327 | fontName "Consolas" | ||
328 | alignment "left" | ||
329 | anchor "tl" | ||
330 | borderDistance 6 | ||
331 | ] | ||
332 | ] | ||
333 | |||
334 | node | ||
335 | [ | ||
336 | id 9 | ||
337 | graphics | ||
338 | [ | ||
339 | w 138.60000000000002 | ||
340 | h 40 | ||
341 | type "rectangle" | ||
342 | fill "#FFFFFF" | ||
343 | fill2 "#FFFFFF" | ||
344 | outline "#000000" | ||
345 | ] | ||
346 | LabelGraphics | ||
347 | [ | ||
348 | text "null" | ||
349 | outline "#000000" | ||
350 | fill "#FFFFFF" | ||
351 | fontSize 16 | ||
352 | fontName "Monospace" | ||
353 | autoSizePolicy "node_width" | ||
354 | anchor "t" | ||
355 | borderDistance 0.0 | ||
356 | ] | ||
357 | LabelGraphics | ||
358 | [ | ||
359 | text " | ||
360 | Transition class | ||
361 | " | ||
362 | fontSize 14 | ||
363 | fontName "Consolas" | ||
364 | alignment "left" | ||
365 | anchor "tl" | ||
366 | borderDistance 6 | ||
367 | ] | ||
368 | ] | ||
369 | |||
370 | node | ||
371 | [ | ||
372 | id 10 | ||
373 | graphics | ||
374 | [ | ||
375 | w 138.60000000000002 | ||
376 | h 40 | ||
377 | type "rectangle" | ||
378 | fill "#FFFFFF" | ||
379 | fill2 "#FFFFFF" | ||
380 | outline "#000000" | ||
381 | ] | ||
382 | LabelGraphics | ||
383 | [ | ||
384 | text "null" | ||
385 | outline "#000000" | ||
386 | fill "#FFFFFF" | ||
387 | fontSize 16 | ||
388 | fontName "Monospace" | ||
389 | autoSizePolicy "node_width" | ||
390 | anchor "t" | ||
391 | borderDistance 0.0 | ||
392 | ] | ||
393 | LabelGraphics | ||
394 | [ | ||
395 | text " | ||
396 | Transition class | ||
397 | " | ||
398 | fontSize 14 | ||
399 | fontName "Consolas" | ||
400 | alignment "left" | ||
401 | anchor "tl" | ||
402 | borderDistance 6 | ||
403 | ] | ||
404 | ] | ||
405 | |||
406 | node | ||
407 | [ | ||
408 | id 11 | ||
409 | graphics | ||
410 | [ | ||
411 | w 138.60000000000002 | ||
412 | h 40 | ||
413 | type "rectangle" | ||
414 | fill "#FFFFFF" | ||
415 | fill2 "#FFFFFF" | ||
416 | outline "#000000" | ||
417 | ] | ||
418 | LabelGraphics | ||
419 | [ | ||
420 | text "null" | ||
421 | outline "#000000" | ||
422 | fill "#FFFFFF" | ||
423 | fontSize 16 | ||
424 | fontName "Monospace" | ||
425 | autoSizePolicy "node_width" | ||
426 | anchor "t" | ||
427 | borderDistance 0.0 | ||
428 | ] | ||
429 | LabelGraphics | ||
430 | [ | ||
431 | text " | ||
432 | Transition class | ||
433 | " | ||
434 | fontSize 14 | ||
435 | fontName "Consolas" | ||
436 | alignment "left" | ||
437 | anchor "tl" | ||
438 | borderDistance 6 | ||
439 | ] | ||
440 | ] | ||
441 | |||
442 | node | ||
443 | [ | ||
444 | id 12 | ||
445 | graphics | ||
446 | [ | ||
447 | w 138.60000000000002 | ||
448 | h 40 | ||
449 | type "rectangle" | ||
450 | fill "#FFFFFF" | ||
451 | fill2 "#FFFFFF" | ||
452 | outline "#000000" | ||
453 | ] | ||
454 | LabelGraphics | ||
455 | [ | ||
456 | text "null" | ||
457 | outline "#000000" | ||
458 | fill "#FFFFFF" | ||
459 | fontSize 16 | ||
460 | fontName "Monospace" | ||
461 | autoSizePolicy "node_width" | ||
462 | anchor "t" | ||
463 | borderDistance 0.0 | ||
464 | ] | ||
465 | LabelGraphics | ||
466 | [ | ||
467 | text " | ||
468 | Transition class | ||
469 | " | ||
470 | fontSize 14 | ||
471 | fontName "Consolas" | ||
472 | alignment "left" | ||
473 | anchor "tl" | ||
474 | borderDistance 6 | ||
475 | ] | ||
476 | ] | ||
477 | |||
478 | node | ||
479 | [ | ||
480 | id 13 | ||
481 | graphics | ||
482 | [ | ||
483 | w 184.8 | ||
484 | h 82 | ||
485 | type "rectangle" | ||
486 | fill "#FFFFFF" | ||
487 | fill2 "#FFFFFF" | ||
488 | outline "#000000" | ||
489 | ] | ||
490 | LabelGraphics | ||
491 | [ | ||
492 | text "null" | ||
493 | outline "#000000" | ||
494 | fill "#FFFFFF" | ||
495 | fontSize 16 | ||
496 | fontName "Monospace" | ||
497 | autoSizePolicy "node_width" | ||
498 | anchor "t" | ||
499 | borderDistance 0.0 | ||
500 | ] | ||
501 | LabelGraphics | ||
502 | [ | ||
503 | text " | ||
504 | Vertex class | ||
505 | State class | ||
506 | RegularState class | ||
507 | CompositeElement class | ||
508 | " | ||
509 | fontSize 14 | ||
510 | fontName "Consolas" | ||
511 | alignment "left" | ||
512 | anchor "tl" | ||
513 | borderDistance 6 | ||
514 | ] | ||
515 | ] | ||
516 | |||
517 | node | ||
518 | [ | ||
519 | id 14 | ||
520 | graphics | ||
521 | [ | ||
522 | w 138.60000000000002 | ||
523 | h 40 | ||
524 | type "rectangle" | ||
525 | fill "#FFFFFF" | ||
526 | fill2 "#FFFFFF" | ||
527 | outline "#000000" | ||
528 | ] | ||
529 | LabelGraphics | ||
530 | [ | ||
531 | text "null" | ||
532 | outline "#000000" | ||
533 | fill "#FFFFFF" | ||
534 | fontSize 16 | ||
535 | fontName "Monospace" | ||
536 | autoSizePolicy "node_width" | ||
537 | anchor "t" | ||
538 | borderDistance 0.0 | ||
539 | ] | ||
540 | LabelGraphics | ||
541 | [ | ||
542 | text " | ||
543 | Transition class | ||
544 | " | ||
545 | fontSize 14 | ||
546 | fontName "Consolas" | ||
547 | alignment "left" | ||
548 | anchor "tl" | ||
549 | borderDistance 6 | ||
550 | ] | ||
551 | ] | ||
552 | |||
553 | node | ||
554 | [ | ||
555 | id 15 | ||
556 | graphics | ||
557 | [ | ||
558 | w 184.8 | ||
559 | h 82 | ||
560 | type "rectangle" | ||
561 | fill "#FFFFFF" | ||
562 | fill2 "#FFFFFF" | ||
563 | outline "#000000" | ||
564 | ] | ||
565 | LabelGraphics | ||
566 | [ | ||
567 | text "null" | ||
568 | outline "#000000" | ||
569 | fill "#FFFFFF" | ||
570 | fontSize 16 | ||
571 | fontName "Monospace" | ||
572 | autoSizePolicy "node_width" | ||
573 | anchor "t" | ||
574 | borderDistance 0.0 | ||
575 | ] | ||
576 | LabelGraphics | ||
577 | [ | ||
578 | text " | ||
579 | Vertex class | ||
580 | State class | ||
581 | RegularState class | ||
582 | CompositeElement class | ||
583 | " | ||
584 | fontSize 14 | ||
585 | fontName "Consolas" | ||
586 | alignment "left" | ||
587 | anchor "tl" | ||
588 | borderDistance 6 | ||
589 | ] | ||
590 | ] | ||
591 | |||
592 | node | ||
593 | [ | ||
594 | id 16 | ||
595 | graphics | ||
596 | [ | ||
597 | w 138.60000000000002 | ||
598 | h 40 | ||
599 | type "rectangle" | ||
600 | fill "#FFFFFF" | ||
601 | fill2 "#FFFFFF" | ||
602 | outline "#000000" | ||
603 | ] | ||
604 | LabelGraphics | ||
605 | [ | ||
606 | text "null" | ||
607 | outline "#000000" | ||
608 | fill "#FFFFFF" | ||
609 | fontSize 16 | ||
610 | fontName "Monospace" | ||
611 | autoSizePolicy "node_width" | ||
612 | anchor "t" | ||
613 | borderDistance 0.0 | ||
614 | ] | ||
615 | LabelGraphics | ||
616 | [ | ||
617 | text " | ||
618 | Transition class | ||
619 | " | ||
620 | fontSize 14 | ||
621 | fontName "Consolas" | ||
622 | alignment "left" | ||
623 | anchor "tl" | ||
624 | borderDistance 6 | ||
625 | ] | ||
626 | ] | ||
627 | |||
628 | node | ||
629 | [ | ||
630 | id 17 | ||
631 | graphics | ||
632 | [ | ||
633 | w 184.8 | ||
634 | h 82 | ||
635 | type "rectangle" | ||
636 | fill "#FFFFFF" | ||
637 | fill2 "#FFFFFF" | ||
638 | outline "#000000" | ||
639 | ] | ||
640 | LabelGraphics | ||
641 | [ | ||
642 | text "null" | ||
643 | outline "#000000" | ||
644 | fill "#FFFFFF" | ||
645 | fontSize 16 | ||
646 | fontName "Monospace" | ||
647 | autoSizePolicy "node_width" | ||
648 | anchor "t" | ||
649 | borderDistance 0.0 | ||
650 | ] | ||
651 | LabelGraphics | ||
652 | [ | ||
653 | text " | ||
654 | Vertex class | ||
655 | State class | ||
656 | RegularState class | ||
657 | CompositeElement class | ||
658 | " | ||
659 | fontSize 14 | ||
660 | fontName "Consolas" | ||
661 | alignment "left" | ||
662 | anchor "tl" | ||
663 | borderDistance 6 | ||
664 | ] | ||
665 | ] | ||
666 | |||
667 | node | ||
668 | [ | ||
669 | id 18 | ||
670 | graphics | ||
671 | [ | ||
672 | w 112.2 | ||
673 | h 26 | ||
674 | type "rectangle" | ||
675 | fill "#FFFFFF" | ||
676 | fill2 "#FFFFFF" | ||
677 | outline "#000000" | ||
678 | ] | ||
679 | LabelGraphics | ||
680 | [ | ||
681 | text "New Integers" | ||
682 | outline "#000000" | ||
683 | fill "#FFFFFF" | ||
684 | fontSize 16 | ||
685 | fontName "Monospace" | ||
686 | autoSizePolicy "node_width" | ||
687 | anchor "t" | ||
688 | borderDistance 0.0 | ||
689 | ] | ||
690 | LabelGraphics | ||
691 | [ | ||
692 | text " | ||
693 | " | ||
694 | fontSize 14 | ||
695 | fontName "Consolas" | ||
696 | alignment "left" | ||
697 | anchor "tl" | ||
698 | borderDistance 6 | ||
699 | ] | ||
700 | ] | ||
701 | |||
702 | node | ||
703 | [ | ||
704 | id 19 | ||
705 | graphics | ||
706 | [ | ||
707 | w 85.80000000000001 | ||
708 | h 26 | ||
709 | type "rectangle" | ||
710 | fill "#FFFFFF" | ||
711 | fill2 "#FFFFFF" | ||
712 | outline "#000000" | ||
713 | ] | ||
714 | LabelGraphics | ||
715 | [ | ||
716 | text "New Reals" | ||
717 | outline "#000000" | ||
718 | fill "#FFFFFF" | ||
719 | fontSize 16 | ||
720 | fontName "Monospace" | ||
721 | autoSizePolicy "node_width" | ||
722 | anchor "t" | ||
723 | borderDistance 0.0 | ||
724 | ] | ||
725 | LabelGraphics | ||
726 | [ | ||
727 | text " | ||
728 | " | ||
729 | fontSize 14 | ||
730 | fontName "Consolas" | ||
731 | alignment "left" | ||
732 | anchor "tl" | ||
733 | borderDistance 6 | ||
734 | ] | ||
735 | ] | ||
736 | |||
737 | node | ||
738 | [ | ||
739 | id 20 | ||
740 | graphics | ||
741 | [ | ||
742 | w 103.4 | ||
743 | h 26 | ||
744 | type "rectangle" | ||
745 | fill "#FFFFFF" | ||
746 | fill2 "#FFFFFF" | ||
747 | outline "#000000" | ||
748 | ] | ||
749 | LabelGraphics | ||
750 | [ | ||
751 | text "New Strings" | ||
752 | outline "#000000" | ||
753 | fill "#FFFFFF" | ||
754 | fontSize 16 | ||
755 | fontName "Monospace" | ||
756 | autoSizePolicy "node_width" | ||
757 | anchor "t" | ||
758 | borderDistance 0.0 | ||
759 | ] | ||
760 | LabelGraphics | ||
761 | [ | ||
762 | text " | ||
763 | " | ||
764 | fontSize 14 | ||
765 | fontName "Consolas" | ||
766 | alignment "left" | ||
767 | anchor "tl" | ||
768 | borderDistance 6 | ||
769 | ] | ||
770 | ] | ||
771 | |||
772 | node | ||
773 | [ | ||
774 | id 21 | ||
775 | graphics | ||
776 | [ | ||
777 | w 103.4 | ||
778 | h 26 | ||
779 | type "rectangle" | ||
780 | fill "#FFFFFF" | ||
781 | fill2 "#FFFFFF" | ||
782 | outline "#000000" | ||
783 | ] | ||
784 | LabelGraphics | ||
785 | [ | ||
786 | text "New Objects" | ||
787 | outline "#000000" | ||
788 | fill "#FFFFFF" | ||
789 | fontSize 16 | ||
790 | fontName "Monospace" | ||
791 | autoSizePolicy "node_width" | ||
792 | anchor "t" | ||
793 | borderDistance 0.0 | ||
794 | ] | ||
795 | LabelGraphics | ||
796 | [ | ||
797 | text " | ||
798 | " | ||
799 | fontSize 14 | ||
800 | fontName "Consolas" | ||
801 | alignment "left" | ||
802 | anchor "tl" | ||
803 | borderDistance 6 | ||
804 | ] | ||
805 | ] | ||
806 | edge | ||
807 | [ | ||
808 | source 6 | ||
809 | target 5 | ||
810 | graphics | ||
811 | [ | ||
812 | fill "#000000" | ||
813 | targetArrow "standard" | ||
814 | ] | ||
815 | LabelGraphics | ||
816 | [ | ||
817 | text "incomingTransitions reference Vertex" | ||
818 | fontSize 14 | ||
819 | fontName "Consolas" | ||
820 | configuration "AutoFlippingLabel" | ||
821 | model "six_pos" | ||
822 | position "thead" | ||
823 | ] | ||
824 | ] | ||
825 | edge | ||
826 | [ | ||
827 | source 6 | ||
828 | target 9 | ||
829 | graphics | ||
830 | [ | ||
831 | fill "#000000" | ||
832 | targetArrow "standard" | ||
833 | ] | ||
834 | LabelGraphics | ||
835 | [ | ||
836 | text "incomingTransitions reference Vertex" | ||
837 | fontSize 14 | ||
838 | fontName "Consolas" | ||
839 | configuration "AutoFlippingLabel" | ||
840 | model "six_pos" | ||
841 | position "thead" | ||
842 | ] | ||
843 | ] | ||
844 | edge | ||
845 | [ | ||
846 | source 6 | ||
847 | target 16 | ||
848 | graphics | ||
849 | [ | ||
850 | fill "#000000" | ||
851 | targetArrow "standard" | ||
852 | ] | ||
853 | LabelGraphics | ||
854 | [ | ||
855 | text "incomingTransitions reference Vertex" | ||
856 | fontSize 14 | ||
857 | fontName "Consolas" | ||
858 | configuration "AutoFlippingLabel" | ||
859 | model "six_pos" | ||
860 | position "thead" | ||
861 | ] | ||
862 | ] | ||
863 | edge | ||
864 | [ | ||
865 | source 8 | ||
866 | target 7 | ||
867 | graphics | ||
868 | [ | ||
869 | fill "#000000" | ||
870 | targetArrow "standard" | ||
871 | ] | ||
872 | LabelGraphics | ||
873 | [ | ||
874 | text "incomingTransitions reference Vertex" | ||
875 | fontSize 14 | ||
876 | fontName "Consolas" | ||
877 | configuration "AutoFlippingLabel" | ||
878 | model "six_pos" | ||
879 | position "thead" | ||
880 | ] | ||
881 | ] | ||
882 | edge | ||
883 | [ | ||
884 | source 8 | ||
885 | target 14 | ||
886 | graphics | ||
887 | [ | ||
888 | fill "#000000" | ||
889 | targetArrow "standard" | ||
890 | ] | ||
891 | LabelGraphics | ||
892 | [ | ||
893 | text "incomingTransitions reference Vertex" | ||
894 | fontSize 14 | ||
895 | fontName "Consolas" | ||
896 | configuration "AutoFlippingLabel" | ||
897 | model "six_pos" | ||
898 | position "thead" | ||
899 | ] | ||
900 | ] | ||
901 | edge | ||
902 | [ | ||
903 | source 13 | ||
904 | target 10 | ||
905 | graphics | ||
906 | [ | ||
907 | fill "#000000" | ||
908 | targetArrow "standard" | ||
909 | ] | ||
910 | LabelGraphics | ||
911 | [ | ||
912 | text "incomingTransitions reference Vertex" | ||
913 | fontSize 14 | ||
914 | fontName "Consolas" | ||
915 | configuration "AutoFlippingLabel" | ||
916 | model "six_pos" | ||
917 | position "thead" | ||
918 | ] | ||
919 | ] | ||
920 | edge | ||
921 | [ | ||
922 | source 15 | ||
923 | target 11 | ||
924 | graphics | ||
925 | [ | ||
926 | fill "#000000" | ||
927 | targetArrow "standard" | ||
928 | ] | ||
929 | LabelGraphics | ||
930 | [ | ||
931 | text "incomingTransitions reference Vertex" | ||
932 | fontSize 14 | ||
933 | fontName "Consolas" | ||
934 | configuration "AutoFlippingLabel" | ||
935 | model "six_pos" | ||
936 | position "thead" | ||
937 | ] | ||
938 | ] | ||
939 | edge | ||
940 | [ | ||
941 | source 17 | ||
942 | target 12 | ||
943 | graphics | ||
944 | [ | ||
945 | fill "#000000" | ||
946 | targetArrow "standard" | ||
947 | ] | ||
948 | LabelGraphics | ||
949 | [ | ||
950 | text "incomingTransitions reference Vertex" | ||
951 | fontSize 14 | ||
952 | fontName "Consolas" | ||
953 | configuration "AutoFlippingLabel" | ||
954 | model "six_pos" | ||
955 | position "thead" | ||
956 | ] | ||
957 | ] | ||
958 | edge | ||
959 | [ | ||
960 | source 4 | ||
961 | target 5 | ||
962 | graphics | ||
963 | [ | ||
964 | fill "#000000" | ||
965 | width 3 | ||
966 | targetArrow "standard" | ||
967 | ] | ||
968 | LabelGraphics | ||
969 | [ | ||
970 | text "outgoingTransitions reference Vertex" | ||
971 | fontSize 14 | ||
972 | fontName "Consolas" | ||
973 | configuration "AutoFlippingLabel" | ||
974 | model "six_pos" | ||
975 | position "thead" | ||
976 | ] | ||
977 | ] | ||
978 | edge | ||
979 | [ | ||
980 | source 6 | ||
981 | target 7 | ||
982 | graphics | ||
983 | [ | ||
984 | fill "#000000" | ||
985 | width 3 | ||
986 | targetArrow "standard" | ||
987 | ] | ||
988 | LabelGraphics | ||
989 | [ | ||
990 | text "outgoingTransitions reference Vertex" | ||
991 | fontSize 14 | ||
992 | fontName "Consolas" | ||
993 | configuration "AutoFlippingLabel" | ||
994 | model "six_pos" | ||
995 | position "thead" | ||
996 | ] | ||
997 | ] | ||
998 | edge | ||
999 | [ | ||
1000 | source 8 | ||
1001 | target 9 | ||
1002 | graphics | ||
1003 | [ | ||
1004 | fill "#000000" | ||
1005 | width 3 | ||
1006 | targetArrow "standard" | ||
1007 | ] | ||
1008 | LabelGraphics | ||
1009 | [ | ||
1010 | text "outgoingTransitions reference Vertex" | ||
1011 | fontSize 14 | ||
1012 | fontName "Consolas" | ||
1013 | configuration "AutoFlippingLabel" | ||
1014 | model "six_pos" | ||
1015 | position "thead" | ||
1016 | ] | ||
1017 | ] | ||
1018 | edge | ||
1019 | [ | ||
1020 | source 8 | ||
1021 | target 10 | ||
1022 | graphics | ||
1023 | [ | ||
1024 | fill "#000000" | ||
1025 | width 3 | ||
1026 | targetArrow "standard" | ||
1027 | ] | ||
1028 | LabelGraphics | ||
1029 | [ | ||
1030 | text "outgoingTransitions reference Vertex" | ||
1031 | fontSize 14 | ||
1032 | fontName "Consolas" | ||
1033 | configuration "AutoFlippingLabel" | ||
1034 | model "six_pos" | ||
1035 | position "thead" | ||
1036 | ] | ||
1037 | ] | ||
1038 | edge | ||
1039 | [ | ||
1040 | source 8 | ||
1041 | target 11 | ||
1042 | graphics | ||
1043 | [ | ||
1044 | fill "#000000" | ||
1045 | width 3 | ||
1046 | targetArrow "standard" | ||
1047 | ] | ||
1048 | LabelGraphics | ||
1049 | [ | ||
1050 | text "outgoingTransitions reference Vertex" | ||
1051 | fontSize 14 | ||
1052 | fontName "Consolas" | ||
1053 | configuration "AutoFlippingLabel" | ||
1054 | model "six_pos" | ||
1055 | position "thead" | ||
1056 | ] | ||
1057 | ] | ||
1058 | edge | ||
1059 | [ | ||
1060 | source 8 | ||
1061 | target 12 | ||
1062 | graphics | ||
1063 | [ | ||
1064 | fill "#000000" | ||
1065 | width 3 | ||
1066 | targetArrow "standard" | ||
1067 | ] | ||
1068 | LabelGraphics | ||
1069 | [ | ||
1070 | text "outgoingTransitions reference Vertex" | ||
1071 | fontSize 14 | ||
1072 | fontName "Consolas" | ||
1073 | configuration "AutoFlippingLabel" | ||
1074 | model "six_pos" | ||
1075 | position "thead" | ||
1076 | ] | ||
1077 | ] | ||
1078 | edge | ||
1079 | [ | ||
1080 | source 13 | ||
1081 | target 14 | ||
1082 | graphics | ||
1083 | [ | ||
1084 | fill "#000000" | ||
1085 | width 3 | ||
1086 | targetArrow "standard" | ||
1087 | ] | ||
1088 | LabelGraphics | ||
1089 | [ | ||
1090 | text "outgoingTransitions reference Vertex" | ||
1091 | fontSize 14 | ||
1092 | fontName "Consolas" | ||
1093 | configuration "AutoFlippingLabel" | ||
1094 | model "six_pos" | ||
1095 | position "thead" | ||
1096 | ] | ||
1097 | ] | ||
1098 | edge | ||
1099 | [ | ||
1100 | source 15 | ||
1101 | target 16 | ||
1102 | graphics | ||
1103 | [ | ||
1104 | fill "#000000" | ||
1105 | width 3 | ||
1106 | targetArrow "standard" | ||
1107 | ] | ||
1108 | LabelGraphics | ||
1109 | [ | ||
1110 | text "outgoingTransitions reference Vertex" | ||
1111 | fontSize 14 | ||
1112 | fontName "Consolas" | ||
1113 | configuration "AutoFlippingLabel" | ||
1114 | model "six_pos" | ||
1115 | position "thead" | ||
1116 | ] | ||
1117 | ] | ||
1118 | edge | ||
1119 | [ | ||
1120 | source 3 | ||
1121 | target 4 | ||
1122 | graphics | ||
1123 | [ | ||
1124 | fill "#000000" | ||
1125 | width 3 | ||
1126 | targetArrow "standard" | ||
1127 | ] | ||
1128 | LabelGraphics | ||
1129 | [ | ||
1130 | text "vertices reference Region" | ||
1131 | fontSize 14 | ||
1132 | fontName "Consolas" | ||
1133 | configuration "AutoFlippingLabel" | ||
1134 | model "six_pos" | ||
1135 | position "thead" | ||
1136 | ] | ||
1137 | ] | ||
1138 | edge | ||
1139 | [ | ||
1140 | source 3 | ||
1141 | target 6 | ||
1142 | graphics | ||
1143 | [ | ||
1144 | fill "#000000" | ||
1145 | width 3 | ||
1146 | targetArrow "standard" | ||
1147 | ] | ||
1148 | LabelGraphics | ||
1149 | [ | ||
1150 | text "vertices reference Region" | ||
1151 | fontSize 14 | ||
1152 | fontName "Consolas" | ||
1153 | configuration "AutoFlippingLabel" | ||
1154 | model "six_pos" | ||
1155 | position "thead" | ||
1156 | ] | ||
1157 | ] | ||
1158 | edge | ||
1159 | [ | ||
1160 | source 3 | ||
1161 | target 8 | ||
1162 | graphics | ||
1163 | [ | ||
1164 | fill "#000000" | ||
1165 | width 3 | ||
1166 | targetArrow "standard" | ||
1167 | ] | ||
1168 | LabelGraphics | ||
1169 | [ | ||
1170 | text "vertices reference Region" | ||
1171 | fontSize 14 | ||
1172 | fontName "Consolas" | ||
1173 | configuration "AutoFlippingLabel" | ||
1174 | model "six_pos" | ||
1175 | position "thead" | ||
1176 | ] | ||
1177 | ] | ||
1178 | edge | ||
1179 | [ | ||
1180 | source 3 | ||
1181 | target 13 | ||
1182 | graphics | ||
1183 | [ | ||
1184 | fill "#000000" | ||
1185 | width 3 | ||
1186 | targetArrow "standard" | ||
1187 | ] | ||
1188 | LabelGraphics | ||
1189 | [ | ||
1190 | text "vertices reference Region" | ||
1191 | fontSize 14 | ||
1192 | fontName "Consolas" | ||
1193 | configuration "AutoFlippingLabel" | ||
1194 | model "six_pos" | ||
1195 | position "thead" | ||
1196 | ] | ||
1197 | ] | ||
1198 | edge | ||
1199 | [ | ||
1200 | source 3 | ||
1201 | target 15 | ||
1202 | graphics | ||
1203 | [ | ||
1204 | fill "#000000" | ||
1205 | width 3 | ||
1206 | targetArrow "standard" | ||
1207 | ] | ||
1208 | LabelGraphics | ||
1209 | [ | ||
1210 | text "vertices reference Region" | ||
1211 | fontSize 14 | ||
1212 | fontName "Consolas" | ||
1213 | configuration "AutoFlippingLabel" | ||
1214 | model "six_pos" | ||
1215 | position "thead" | ||
1216 | ] | ||
1217 | ] | ||
1218 | edge | ||
1219 | [ | ||
1220 | source 3 | ||
1221 | target 17 | ||
1222 | graphics | ||
1223 | [ | ||
1224 | fill "#000000" | ||
1225 | width 3 | ||
1226 | targetArrow "standard" | ||
1227 | ] | ||
1228 | LabelGraphics | ||
1229 | [ | ||
1230 | text "vertices reference Region" | ||
1231 | fontSize 14 | ||
1232 | fontName "Consolas" | ||
1233 | configuration "AutoFlippingLabel" | ||
1234 | model "six_pos" | ||
1235 | position "thead" | ||
1236 | ] | ||
1237 | ] | ||
1238 | edge | ||
1239 | [ | ||
1240 | source 5 | ||
1241 | target 6 | ||
1242 | graphics | ||
1243 | [ | ||
1244 | fill "#000000" | ||
1245 | targetArrow "standard" | ||
1246 | ] | ||
1247 | LabelGraphics | ||
1248 | [ | ||
1249 | text "target reference Transition" | ||
1250 | fontSize 14 | ||
1251 | fontName "Consolas" | ||
1252 | configuration "AutoFlippingLabel" | ||
1253 | model "six_pos" | ||
1254 | position "thead" | ||
1255 | ] | ||
1256 | ] | ||
1257 | edge | ||
1258 | [ | ||
1259 | source 7 | ||
1260 | target 8 | ||
1261 | graphics | ||
1262 | [ | ||
1263 | fill "#000000" | ||
1264 | targetArrow "standard" | ||
1265 | ] | ||
1266 | LabelGraphics | ||
1267 | [ | ||
1268 | text "target reference Transition" | ||
1269 | fontSize 14 | ||
1270 | fontName "Consolas" | ||
1271 | configuration "AutoFlippingLabel" | ||
1272 | model "six_pos" | ||
1273 | position "thead" | ||
1274 | ] | ||
1275 | ] | ||
1276 | edge | ||
1277 | [ | ||
1278 | source 9 | ||
1279 | target 6 | ||
1280 | graphics | ||
1281 | [ | ||
1282 | fill "#000000" | ||
1283 | targetArrow "standard" | ||
1284 | ] | ||
1285 | LabelGraphics | ||
1286 | [ | ||
1287 | text "target reference Transition" | ||
1288 | fontSize 14 | ||
1289 | fontName "Consolas" | ||
1290 | configuration "AutoFlippingLabel" | ||
1291 | model "six_pos" | ||
1292 | position "thead" | ||
1293 | ] | ||
1294 | ] | ||
1295 | edge | ||
1296 | [ | ||
1297 | source 10 | ||
1298 | target 13 | ||
1299 | graphics | ||
1300 | [ | ||
1301 | fill "#000000" | ||
1302 | targetArrow "standard" | ||
1303 | ] | ||
1304 | LabelGraphics | ||
1305 | [ | ||
1306 | text "target reference Transition" | ||
1307 | fontSize 14 | ||
1308 | fontName "Consolas" | ||
1309 | configuration "AutoFlippingLabel" | ||
1310 | model "six_pos" | ||
1311 | position "thead" | ||
1312 | ] | ||
1313 | ] | ||
1314 | edge | ||
1315 | [ | ||
1316 | source 11 | ||
1317 | target 15 | ||
1318 | graphics | ||
1319 | [ | ||
1320 | fill "#000000" | ||
1321 | targetArrow "standard" | ||
1322 | ] | ||
1323 | LabelGraphics | ||
1324 | [ | ||
1325 | text "target reference Transition" | ||
1326 | fontSize 14 | ||
1327 | fontName "Consolas" | ||
1328 | configuration "AutoFlippingLabel" | ||
1329 | model "six_pos" | ||
1330 | position "thead" | ||
1331 | ] | ||
1332 | ] | ||
1333 | edge | ||
1334 | [ | ||
1335 | source 12 | ||
1336 | target 17 | ||
1337 | graphics | ||
1338 | [ | ||
1339 | fill "#000000" | ||
1340 | targetArrow "standard" | ||
1341 | ] | ||
1342 | LabelGraphics | ||
1343 | [ | ||
1344 | text "target reference Transition" | ||
1345 | fontSize 14 | ||
1346 | fontName "Consolas" | ||
1347 | configuration "AutoFlippingLabel" | ||
1348 | model "six_pos" | ||
1349 | position "thead" | ||
1350 | ] | ||
1351 | ] | ||
1352 | edge | ||
1353 | [ | ||
1354 | source 14 | ||
1355 | target 8 | ||
1356 | graphics | ||
1357 | [ | ||
1358 | fill "#000000" | ||
1359 | targetArrow "standard" | ||
1360 | ] | ||
1361 | LabelGraphics | ||
1362 | [ | ||
1363 | text "target reference Transition" | ||
1364 | fontSize 14 | ||
1365 | fontName "Consolas" | ||
1366 | configuration "AutoFlippingLabel" | ||
1367 | model "six_pos" | ||
1368 | position "thead" | ||
1369 | ] | ||
1370 | ] | ||
1371 | edge | ||
1372 | [ | ||
1373 | source 16 | ||
1374 | target 6 | ||
1375 | graphics | ||
1376 | [ | ||
1377 | fill "#000000" | ||
1378 | targetArrow "standard" | ||
1379 | ] | ||
1380 | LabelGraphics | ||
1381 | [ | ||
1382 | text "target reference Transition" | ||
1383 | fontSize 14 | ||
1384 | fontName "Consolas" | ||
1385 | configuration "AutoFlippingLabel" | ||
1386 | model "six_pos" | ||
1387 | position "thead" | ||
1388 | ] | ||
1389 | ] | ||
1390 | edge | ||
1391 | [ | ||
1392 | source 5 | ||
1393 | target 4 | ||
1394 | graphics | ||
1395 | [ | ||
1396 | fill "#000000" | ||
1397 | targetArrow "standard" | ||
1398 | ] | ||
1399 | LabelGraphics | ||
1400 | [ | ||
1401 | text "source reference Transition" | ||
1402 | fontSize 14 | ||
1403 | fontName "Consolas" | ||
1404 | configuration "AutoFlippingLabel" | ||
1405 | model "six_pos" | ||
1406 | position "thead" | ||
1407 | ] | ||
1408 | ] | ||
1409 | edge | ||
1410 | [ | ||
1411 | source 7 | ||
1412 | target 6 | ||
1413 | graphics | ||
1414 | [ | ||
1415 | fill "#000000" | ||
1416 | targetArrow "standard" | ||
1417 | ] | ||
1418 | LabelGraphics | ||
1419 | [ | ||
1420 | text "source reference Transition" | ||
1421 | fontSize 14 | ||
1422 | fontName "Consolas" | ||
1423 | configuration "AutoFlippingLabel" | ||
1424 | model "six_pos" | ||
1425 | position "thead" | ||
1426 | ] | ||
1427 | ] | ||
1428 | edge | ||
1429 | [ | ||
1430 | source 9 | ||
1431 | target 8 | ||
1432 | graphics | ||
1433 | [ | ||
1434 | fill "#000000" | ||
1435 | targetArrow "standard" | ||
1436 | ] | ||
1437 | LabelGraphics | ||
1438 | [ | ||
1439 | text "source reference Transition" | ||
1440 | fontSize 14 | ||
1441 | fontName "Consolas" | ||
1442 | configuration "AutoFlippingLabel" | ||
1443 | model "six_pos" | ||
1444 | position "thead" | ||
1445 | ] | ||
1446 | ] | ||
1447 | edge | ||
1448 | [ | ||
1449 | source 10 | ||
1450 | target 8 | ||
1451 | graphics | ||
1452 | [ | ||
1453 | fill "#000000" | ||
1454 | targetArrow "standard" | ||
1455 | ] | ||
1456 | LabelGraphics | ||
1457 | [ | ||
1458 | text "source reference Transition" | ||
1459 | fontSize 14 | ||
1460 | fontName "Consolas" | ||
1461 | configuration "AutoFlippingLabel" | ||
1462 | model "six_pos" | ||
1463 | position "thead" | ||
1464 | ] | ||
1465 | ] | ||
1466 | edge | ||
1467 | [ | ||
1468 | source 11 | ||
1469 | target 8 | ||
1470 | graphics | ||
1471 | [ | ||
1472 | fill "#000000" | ||
1473 | targetArrow "standard" | ||
1474 | ] | ||
1475 | LabelGraphics | ||
1476 | [ | ||
1477 | text "source reference Transition" | ||
1478 | fontSize 14 | ||
1479 | fontName "Consolas" | ||
1480 | configuration "AutoFlippingLabel" | ||
1481 | model "six_pos" | ||
1482 | position "thead" | ||
1483 | ] | ||
1484 | ] | ||
1485 | edge | ||
1486 | [ | ||
1487 | source 12 | ||
1488 | target 8 | ||
1489 | graphics | ||
1490 | [ | ||
1491 | fill "#000000" | ||
1492 | targetArrow "standard" | ||
1493 | ] | ||
1494 | LabelGraphics | ||
1495 | [ | ||
1496 | text "source reference Transition" | ||
1497 | fontSize 14 | ||
1498 | fontName "Consolas" | ||
1499 | configuration "AutoFlippingLabel" | ||
1500 | model "six_pos" | ||
1501 | position "thead" | ||
1502 | ] | ||
1503 | ] | ||
1504 | edge | ||
1505 | [ | ||
1506 | source 14 | ||
1507 | target 13 | ||
1508 | graphics | ||
1509 | [ | ||
1510 | fill "#000000" | ||
1511 | targetArrow "standard" | ||
1512 | ] | ||
1513 | LabelGraphics | ||
1514 | [ | ||
1515 | text "source reference Transition" | ||
1516 | fontSize 14 | ||
1517 | fontName "Consolas" | ||
1518 | configuration "AutoFlippingLabel" | ||
1519 | model "six_pos" | ||
1520 | position "thead" | ||
1521 | ] | ||
1522 | ] | ||
1523 | edge | ||
1524 | [ | ||
1525 | source 16 | ||
1526 | target 15 | ||
1527 | graphics | ||
1528 | [ | ||
1529 | fill "#000000" | ||
1530 | targetArrow "standard" | ||
1531 | ] | ||
1532 | LabelGraphics | ||
1533 | [ | ||
1534 | text "source reference Transition" | ||
1535 | fontSize 14 | ||
1536 | fontName "Consolas" | ||
1537 | configuration "AutoFlippingLabel" | ||
1538 | model "six_pos" | ||
1539 | position "thead" | ||
1540 | ] | ||
1541 | ] | ||
1542 | edge | ||
1543 | [ | ||
1544 | source 2 | ||
1545 | target 3 | ||
1546 | graphics | ||
1547 | [ | ||
1548 | fill "#000000" | ||
1549 | width 3 | ||
1550 | targetArrow "standard" | ||
1551 | ] | ||
1552 | LabelGraphics | ||
1553 | [ | ||
1554 | text "regions reference CompositeElement" | ||
1555 | fontSize 14 | ||
1556 | fontName "Consolas" | ||
1557 | configuration "AutoFlippingLabel" | ||
1558 | model "six_pos" | ||
1559 | position "thead" | ||
1560 | ] | ||
1561 | ] | ||
1562 | ] | ||