diff options
Diffstat (limited to 'Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs')
6 files changed, 4575 insertions, 0 deletions
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModel.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModel.gml new file mode 100644 index 00000000..cd7c028b --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModel.gml | |||
@@ -0,0 +1,1891 @@ | |||
1 | Creator "yFiles" | ||
2 | Version "2.16" | ||
3 | graph | ||
4 | [ | ||
5 | hierarchic 1 | ||
6 | label "" | ||
7 | directed 1 | ||
8 | node | ||
9 | [ | ||
10 | id 0 | ||
11 | label "true" | ||
12 | graphics | ||
13 | [ | ||
14 | x 832.9 | ||
15 | y 301.0 | ||
16 | w 41.800000000000004 | ||
17 | h 26.0 | ||
18 | type "rectangle" | ||
19 | fill "#FFFFFF" | ||
20 | fill2 "#FFFFFF" | ||
21 | outline "#000000" | ||
22 | ] | ||
23 | LabelGraphics | ||
24 | [ | ||
25 | text "true" | ||
26 | outline "#000000" | ||
27 | fill "#FFFFFF" | ||
28 | fontSize 16 | ||
29 | fontName "Monospace" | ||
30 | autoSizePolicy "node_width" | ||
31 | anchor "t" | ||
32 | borderDistance 0.0 | ||
33 | ] | ||
34 | LabelGraphics | ||
35 | [ | ||
36 | text " | ||
37 | " | ||
38 | fontSize 14 | ||
39 | fontName "Consolas" | ||
40 | alignment "left" | ||
41 | anchor "tl" | ||
42 | borderDistance 6.0 | ||
43 | ] | ||
44 | ] | ||
45 | node | ||
46 | [ | ||
47 | id 1 | ||
48 | label "false" | ||
49 | graphics | ||
50 | [ | ||
51 | x 740.3 | ||
52 | y 301.0 | ||
53 | w 50.6 | ||
54 | h 26.0 | ||
55 | type "rectangle" | ||
56 | fill "#FFFFFF" | ||
57 | fill2 "#FFFFFF" | ||
58 | outline "#000000" | ||
59 | ] | ||
60 | LabelGraphics | ||
61 | [ | ||
62 | text "false" | ||
63 | outline "#000000" | ||
64 | fill "#FFFFFF" | ||
65 | fontSize 16 | ||
66 | fontName "Monospace" | ||
67 | autoSizePolicy "node_width" | ||
68 | anchor "t" | ||
69 | borderDistance 0.0 | ||
70 | ] | ||
71 | LabelGraphics | ||
72 | [ | ||
73 | text " | ||
74 | " | ||
75 | fontSize 14 | ||
76 | fontName "Consolas" | ||
77 | alignment "left" | ||
78 | anchor "tl" | ||
79 | borderDistance 6.0 | ||
80 | ] | ||
81 | ] | ||
82 | node | ||
83 | [ | ||
84 | id 2 | ||
85 | label "null" | ||
86 | graphics | ||
87 | [ | ||
88 | x 401.79999999999995 | ||
89 | y 546.0 | ||
90 | w 184.8 | ||
91 | h 54.0 | ||
92 | type "rectangle" | ||
93 | fill "#FFFFFF" | ||
94 | fill2 "#FFFFFF" | ||
95 | outline "#000000" | ||
96 | ] | ||
97 | LabelGraphics | ||
98 | [ | ||
99 | text "null" | ||
100 | outline "#000000" | ||
101 | fill "#FFFFFF" | ||
102 | fontSize 16 | ||
103 | fontName "Monospace" | ||
104 | autoSizePolicy "node_width" | ||
105 | anchor "t" | ||
106 | borderDistance 0.0 | ||
107 | ] | ||
108 | LabelGraphics | ||
109 | [ | ||
110 | text " | ||
111 | Statechart class | ||
112 | CompositeElement class | ||
113 | " | ||
114 | fontSize 14 | ||
115 | fontName "Consolas" | ||
116 | alignment "left" | ||
117 | anchor "tl" | ||
118 | borderDistance 6.0 | ||
119 | ] | ||
120 | ] | ||
121 | node | ||
122 | [ | ||
123 | id 3 | ||
124 | label "null" | ||
125 | graphics | ||
126 | [ | ||
127 | x 379.29999999999995 | ||
128 | y 356.0 | ||
129 | w 107.80000000000001 | ||
130 | h 40.0 | ||
131 | type "rectangle" | ||
132 | fill "#FFFFFF" | ||
133 | fill2 "#FFFFFF" | ||
134 | outline "#000000" | ||
135 | ] | ||
136 | LabelGraphics | ||
137 | [ | ||
138 | text "null" | ||
139 | outline "#000000" | ||
140 | fill "#FFFFFF" | ||
141 | fontSize 16 | ||
142 | fontName "Monospace" | ||
143 | autoSizePolicy "node_width" | ||
144 | anchor "t" | ||
145 | borderDistance 0.0 | ||
146 | ] | ||
147 | LabelGraphics | ||
148 | [ | ||
149 | text " | ||
150 | Region class | ||
151 | " | ||
152 | fontSize 14 | ||
153 | fontName "Consolas" | ||
154 | alignment "left" | ||
155 | anchor "tl" | ||
156 | borderDistance 6.0 | ||
157 | ] | ||
158 | ] | ||
159 | node | ||
160 | [ | ||
161 | id 4 | ||
162 | label "null" | ||
163 | graphics | ||
164 | [ | ||
165 | x 522.8 | ||
166 | y 412.0 | ||
167 | w 146.3 | ||
168 | h 68.0 | ||
169 | type "rectangle" | ||
170 | fill "#FFFFFF" | ||
171 | fill2 "#FFFFFF" | ||
172 | outline "#000000" | ||
173 | ] | ||
174 | LabelGraphics | ||
175 | [ | ||
176 | text "null" | ||
177 | outline "#000000" | ||
178 | fill "#FFFFFF" | ||
179 | fontSize 16 | ||
180 | fontName "Monospace" | ||
181 | autoSizePolicy "node_width" | ||
182 | anchor "t" | ||
183 | borderDistance 0.0 | ||
184 | ] | ||
185 | LabelGraphics | ||
186 | [ | ||
187 | text " | ||
188 | Pseudostate class | ||
189 | Vertex class | ||
190 | Entry class | ||
191 | " | ||
192 | fontSize 14 | ||
193 | fontName "Consolas" | ||
194 | alignment "left" | ||
195 | anchor "tl" | ||
196 | borderDistance 6.0 | ||
197 | ] | ||
198 | ] | ||
199 | node | ||
200 | [ | ||
201 | id 5 | ||
202 | label "null" | ||
203 | graphics | ||
204 | [ | ||
205 | x 413.8 | ||
206 | y 251.0 | ||
207 | w 138.60000000000002 | ||
208 | h 40.0 | ||
209 | type "rectangle" | ||
210 | fill "#FFFFFF" | ||
211 | fill2 "#FFFFFF" | ||
212 | outline "#000000" | ||
213 | ] | ||
214 | LabelGraphics | ||
215 | [ | ||
216 | text "null" | ||
217 | outline "#000000" | ||
218 | fill "#FFFFFF" | ||
219 | fontSize 16 | ||
220 | fontName "Monospace" | ||
221 | autoSizePolicy "node_width" | ||
222 | anchor "t" | ||
223 | borderDistance 0.0 | ||
224 | ] | ||
225 | LabelGraphics | ||
226 | [ | ||
227 | text " | ||
228 | Transition class | ||
229 | " | ||
230 | fontSize 14 | ||
231 | fontName "Consolas" | ||
232 | alignment "left" | ||
233 | anchor "tl" | ||
234 | borderDistance 6.0 | ||
235 | ] | ||
236 | ] | ||
237 | node | ||
238 | [ | ||
239 | id 6 | ||
240 | label "null" | ||
241 | graphics | ||
242 | [ | ||
243 | x 300.8 | ||
244 | y 148.0 | ||
245 | w 184.8 | ||
246 | h 82.0 | ||
247 | type "rectangle" | ||
248 | fill "#FFFFFF" | ||
249 | fill2 "#FFFFFF" | ||
250 | outline "#000000" | ||
251 | ] | ||
252 | LabelGraphics | ||
253 | [ | ||
254 | text "null" | ||
255 | outline "#000000" | ||
256 | fill "#FFFFFF" | ||
257 | fontSize 16 | ||
258 | fontName "Monospace" | ||
259 | autoSizePolicy "node_width" | ||
260 | anchor "t" | ||
261 | borderDistance 0.0 | ||
262 | ] | ||
263 | LabelGraphics | ||
264 | [ | ||
265 | text " | ||
266 | Vertex class | ||
267 | State class | ||
268 | RegularState class | ||
269 | CompositeElement class | ||
270 | " | ||
271 | fontSize 14 | ||
272 | fontName "Consolas" | ||
273 | alignment "left" | ||
274 | anchor "tl" | ||
275 | borderDistance 6.0 | ||
276 | ] | ||
277 | ] | ||
278 | node | ||
279 | [ | ||
280 | id 7 | ||
281 | label "null" | ||
282 | graphics | ||
283 | [ | ||
284 | x 168.8 | ||
285 | y 34.0 | ||
286 | w 138.60000000000002 | ||
287 | h 40.0 | ||
288 | type "rectangle" | ||
289 | fill "#FFFFFF" | ||
290 | fill2 "#FFFFFF" | ||
291 | outline "#000000" | ||
292 | ] | ||
293 | LabelGraphics | ||
294 | [ | ||
295 | text "null" | ||
296 | outline "#000000" | ||
297 | fill "#FFFFFF" | ||
298 | fontSize 16 | ||
299 | fontName "Monospace" | ||
300 | autoSizePolicy "node_width" | ||
301 | anchor "t" | ||
302 | borderDistance 0.0 | ||
303 | ] | ||
304 | LabelGraphics | ||
305 | [ | ||
306 | text " | ||
307 | Transition class | ||
308 | " | ||
309 | fontSize 14 | ||
310 | fontName "Consolas" | ||
311 | alignment "left" | ||
312 | anchor "tl" | ||
313 | borderDistance 6.0 | ||
314 | ] | ||
315 | ] | ||
316 | node | ||
317 | [ | ||
318 | id 8 | ||
319 | label "null" | ||
320 | graphics | ||
321 | [ | ||
322 | x 233.3 | ||
323 | y 231.0 | ||
324 | w 184.8 | ||
325 | h 82.0 | ||
326 | type "rectangle" | ||
327 | fill "#FFFFFF" | ||
328 | fill2 "#FFFFFF" | ||
329 | outline "#000000" | ||
330 | ] | ||
331 | LabelGraphics | ||
332 | [ | ||
333 | text "null" | ||
334 | outline "#000000" | ||
335 | fill "#FFFFFF" | ||
336 | fontSize 16 | ||
337 | fontName "Monospace" | ||
338 | autoSizePolicy "node_width" | ||
339 | anchor "t" | ||
340 | borderDistance 0.0 | ||
341 | ] | ||
342 | LabelGraphics | ||
343 | [ | ||
344 | text " | ||
345 | Vertex class | ||
346 | State class | ||
347 | RegularState class | ||
348 | CompositeElement class | ||
349 | " | ||
350 | fontSize 14 | ||
351 | fontName "Consolas" | ||
352 | alignment "left" | ||
353 | anchor "tl" | ||
354 | borderDistance 6.0 | ||
355 | ] | ||
356 | ] | ||
357 | node | ||
358 | [ | ||
359 | id 9 | ||
360 | label "null" | ||
361 | graphics | ||
362 | [ | ||
363 | x 309.3 | ||
364 | y 20.0 | ||
365 | w 138.60000000000002 | ||
366 | h 40.0 | ||
367 | type "rectangle" | ||
368 | fill "#FFFFFF" | ||
369 | fill2 "#FFFFFF" | ||
370 | outline "#000000" | ||
371 | ] | ||
372 | LabelGraphics | ||
373 | [ | ||
374 | text "null" | ||
375 | outline "#000000" | ||
376 | fill "#FFFFFF" | ||
377 | fontSize 16 | ||
378 | fontName "Monospace" | ||
379 | autoSizePolicy "node_width" | ||
380 | anchor "t" | ||
381 | borderDistance 0.0 | ||
382 | ] | ||
383 | LabelGraphics | ||
384 | [ | ||
385 | text " | ||
386 | Transition class | ||
387 | " | ||
388 | fontSize 14 | ||
389 | fontName "Consolas" | ||
390 | alignment "left" | ||
391 | anchor "tl" | ||
392 | borderDistance 6.0 | ||
393 | ] | ||
394 | ] | ||
395 | node | ||
396 | [ | ||
397 | id 10 | ||
398 | label "null" | ||
399 | graphics | ||
400 | [ | ||
401 | x 100.80000000000001 | ||
402 | y 148.0 | ||
403 | w 138.60000000000002 | ||
404 | h 40.0 | ||
405 | type "rectangle" | ||
406 | fill "#FFFFFF" | ||
407 | fill2 "#FFFFFF" | ||
408 | outline "#000000" | ||
409 | ] | ||
410 | LabelGraphics | ||
411 | [ | ||
412 | text "null" | ||
413 | outline "#000000" | ||
414 | fill "#FFFFFF" | ||
415 | fontSize 16 | ||
416 | fontName "Monospace" | ||
417 | autoSizePolicy "node_width" | ||
418 | anchor "t" | ||
419 | borderDistance 0.0 | ||
420 | ] | ||
421 | LabelGraphics | ||
422 | [ | ||
423 | text " | ||
424 | Transition class | ||
425 | " | ||
426 | fontSize 14 | ||
427 | fontName "Consolas" | ||
428 | alignment "left" | ||
429 | anchor "tl" | ||
430 | borderDistance 6.0 | ||
431 | ] | ||
432 | ] | ||
433 | node | ||
434 | [ | ||
435 | id 11 | ||
436 | label "null" | ||
437 | graphics | ||
438 | [ | ||
439 | x 69.30000000000001 | ||
440 | y 395.0 | ||
441 | w 138.60000000000002 | ||
442 | h 40.0 | ||
443 | type "rectangle" | ||
444 | fill "#FFFFFF" | ||
445 | fill2 "#FFFFFF" | ||
446 | outline "#000000" | ||
447 | ] | ||
448 | LabelGraphics | ||
449 | [ | ||
450 | text "null" | ||
451 | outline "#000000" | ||
452 | fill "#FFFFFF" | ||
453 | fontSize 16 | ||
454 | fontName "Monospace" | ||
455 | autoSizePolicy "node_width" | ||
456 | anchor "t" | ||
457 | borderDistance 0.0 | ||
458 | ] | ||
459 | LabelGraphics | ||
460 | [ | ||
461 | text " | ||
462 | Transition class | ||
463 | " | ||
464 | fontSize 14 | ||
465 | fontName "Consolas" | ||
466 | alignment "left" | ||
467 | anchor "tl" | ||
468 | borderDistance 6.0 | ||
469 | ] | ||
470 | ] | ||
471 | node | ||
472 | [ | ||
473 | id 12 | ||
474 | label "null" | ||
475 | graphics | ||
476 | [ | ||
477 | x 428.3 | ||
478 | y 86.0 | ||
479 | w 138.60000000000002 | ||
480 | h 40.0 | ||
481 | type "rectangle" | ||
482 | fill "#FFFFFF" | ||
483 | fill2 "#FFFFFF" | ||
484 | outline "#000000" | ||
485 | ] | ||
486 | LabelGraphics | ||
487 | [ | ||
488 | text "null" | ||
489 | outline "#000000" | ||
490 | fill "#FFFFFF" | ||
491 | fontSize 16 | ||
492 | fontName "Monospace" | ||
493 | autoSizePolicy "node_width" | ||
494 | anchor "t" | ||
495 | borderDistance 0.0 | ||
496 | ] | ||
497 | LabelGraphics | ||
498 | [ | ||
499 | text " | ||
500 | Transition class | ||
501 | " | ||
502 | fontSize 14 | ||
503 | fontName "Consolas" | ||
504 | alignment "left" | ||
505 | anchor "tl" | ||
506 | borderDistance 6.0 | ||
507 | ] | ||
508 | ] | ||
509 | node | ||
510 | [ | ||
511 | id 13 | ||
512 | label "null" | ||
513 | graphics | ||
514 | [ | ||
515 | x 231.8 | ||
516 | y 355.0 | ||
517 | w 184.8 | ||
518 | h 82.0 | ||
519 | type "rectangle" | ||
520 | fill "#FFFFFF" | ||
521 | fill2 "#FFFFFF" | ||
522 | outline "#000000" | ||
523 | ] | ||
524 | LabelGraphics | ||
525 | [ | ||
526 | text "null" | ||
527 | outline "#000000" | ||
528 | fill "#FFFFFF" | ||
529 | fontSize 16 | ||
530 | fontName "Monospace" | ||
531 | autoSizePolicy "node_width" | ||
532 | anchor "t" | ||
533 | borderDistance 0.0 | ||
534 | ] | ||
535 | LabelGraphics | ||
536 | [ | ||
537 | text " | ||
538 | Vertex class | ||
539 | State class | ||
540 | RegularState class | ||
541 | CompositeElement class | ||
542 | " | ||
543 | fontSize 14 | ||
544 | fontName "Consolas" | ||
545 | alignment "left" | ||
546 | anchor "tl" | ||
547 | borderDistance 6.0 | ||
548 | ] | ||
549 | ] | ||
550 | node | ||
551 | [ | ||
552 | id 14 | ||
553 | label "null" | ||
554 | graphics | ||
555 | [ | ||
556 | x 298.3 | ||
557 | y 420.0 | ||
558 | w 138.60000000000002 | ||
559 | h 40.0 | ||
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 | Transition class | ||
580 | " | ||
581 | fontSize 14 | ||
582 | fontName "Consolas" | ||
583 | alignment "left" | ||
584 | anchor "tl" | ||
585 | borderDistance 6.0 | ||
586 | ] | ||
587 | ] | ||
588 | node | ||
589 | [ | ||
590 | id 15 | ||
591 | label "null" | ||
592 | graphics | ||
593 | [ | ||
594 | x 194.8 | ||
595 | y 502.0 | ||
596 | w 184.8 | ||
597 | h 82.0 | ||
598 | type "rectangle" | ||
599 | fill "#FFFFFF" | ||
600 | fill2 "#FFFFFF" | ||
601 | outline "#000000" | ||
602 | ] | ||
603 | LabelGraphics | ||
604 | [ | ||
605 | text "null" | ||
606 | outline "#000000" | ||
607 | fill "#FFFFFF" | ||
608 | fontSize 16 | ||
609 | fontName "Monospace" | ||
610 | autoSizePolicy "node_width" | ||
611 | anchor "t" | ||
612 | borderDistance 0.0 | ||
613 | ] | ||
614 | LabelGraphics | ||
615 | [ | ||
616 | text " | ||
617 | Vertex class | ||
618 | State class | ||
619 | RegularState class | ||
620 | CompositeElement class | ||
621 | " | ||
622 | fontSize 14 | ||
623 | fontName "Consolas" | ||
624 | alignment "left" | ||
625 | anchor "tl" | ||
626 | borderDistance 6.0 | ||
627 | ] | ||
628 | ] | ||
629 | node | ||
630 | [ | ||
631 | id 16 | ||
632 | label "null" | ||
633 | graphics | ||
634 | [ | ||
635 | x 100.30000000000001 | ||
636 | y 293.0 | ||
637 | w 138.60000000000002 | ||
638 | h 40.0 | ||
639 | type "rectangle" | ||
640 | fill "#FFFFFF" | ||
641 | fill2 "#FFFFFF" | ||
642 | outline "#000000" | ||
643 | ] | ||
644 | LabelGraphics | ||
645 | [ | ||
646 | text "null" | ||
647 | outline "#000000" | ||
648 | fill "#FFFFFF" | ||
649 | fontSize 16 | ||
650 | fontName "Monospace" | ||
651 | autoSizePolicy "node_width" | ||
652 | anchor "t" | ||
653 | borderDistance 0.0 | ||
654 | ] | ||
655 | LabelGraphics | ||
656 | [ | ||
657 | text " | ||
658 | Transition class | ||
659 | " | ||
660 | fontSize 14 | ||
661 | fontName "Consolas" | ||
662 | alignment "left" | ||
663 | anchor "tl" | ||
664 | borderDistance 6.0 | ||
665 | ] | ||
666 | ] | ||
667 | node | ||
668 | [ | ||
669 | id 17 | ||
670 | label "null" | ||
671 | graphics | ||
672 | [ | ||
673 | x 576.8 | ||
674 | y 240.0 | ||
675 | w 184.8 | ||
676 | h 82.0 | ||
677 | type "rectangle" | ||
678 | fill "#FFFFFF" | ||
679 | fill2 "#FFFFFF" | ||
680 | outline "#000000" | ||
681 | ] | ||
682 | LabelGraphics | ||
683 | [ | ||
684 | text "null" | ||
685 | outline "#000000" | ||
686 | fill "#FFFFFF" | ||
687 | fontSize 16 | ||
688 | fontName "Monospace" | ||
689 | autoSizePolicy "node_width" | ||
690 | anchor "t" | ||
691 | borderDistance 0.0 | ||
692 | ] | ||
693 | LabelGraphics | ||
694 | [ | ||
695 | text " | ||
696 | Vertex class | ||
697 | State class | ||
698 | RegularState class | ||
699 | CompositeElement class | ||
700 | " | ||
701 | fontSize 14 | ||
702 | fontName "Consolas" | ||
703 | alignment "left" | ||
704 | anchor "tl" | ||
705 | borderDistance 6.0 | ||
706 | ] | ||
707 | ] | ||
708 | node | ||
709 | [ | ||
710 | id 18 | ||
711 | label "New Integers" | ||
712 | graphics | ||
713 | [ | ||
714 | x 771.1 | ||
715 | y 13.0 | ||
716 | w 112.2 | ||
717 | h 26.0 | ||
718 | type "rectangle" | ||
719 | fill "#FFFFFF" | ||
720 | fill2 "#FFFFFF" | ||
721 | outline "#000000" | ||
722 | ] | ||
723 | LabelGraphics | ||
724 | [ | ||
725 | text "New Integers" | ||
726 | outline "#000000" | ||
727 | fill "#FFFFFF" | ||
728 | fontSize 16 | ||
729 | fontName "Monospace" | ||
730 | autoSizePolicy "node_width" | ||
731 | anchor "t" | ||
732 | borderDistance 0.0 | ||
733 | ] | ||
734 | LabelGraphics | ||
735 | [ | ||
736 | text " | ||
737 | " | ||
738 | fontSize 14 | ||
739 | fontName "Consolas" | ||
740 | alignment "left" | ||
741 | anchor "tl" | ||
742 | borderDistance 6.0 | ||
743 | ] | ||
744 | ] | ||
745 | node | ||
746 | [ | ||
747 | id 19 | ||
748 | label "New Reals" | ||
749 | graphics | ||
750 | [ | ||
751 | x 757.9 | ||
752 | y 229.0 | ||
753 | w 85.80000000000001 | ||
754 | h 26.0 | ||
755 | type "rectangle" | ||
756 | fill "#FFFFFF" | ||
757 | fill2 "#FFFFFF" | ||
758 | outline "#000000" | ||
759 | ] | ||
760 | LabelGraphics | ||
761 | [ | ||
762 | text "New Reals" | ||
763 | outline "#000000" | ||
764 | fill "#FFFFFF" | ||
765 | fontSize 16 | ||
766 | fontName "Monospace" | ||
767 | autoSizePolicy "node_width" | ||
768 | anchor "t" | ||
769 | borderDistance 0.0 | ||
770 | ] | ||
771 | LabelGraphics | ||
772 | [ | ||
773 | text " | ||
774 | " | ||
775 | fontSize 14 | ||
776 | fontName "Consolas" | ||
777 | alignment "left" | ||
778 | anchor "tl" | ||
779 | borderDistance 6.0 | ||
780 | ] | ||
781 | ] | ||
782 | node | ||
783 | [ | ||
784 | id 20 | ||
785 | label "New Strings" | ||
786 | graphics | ||
787 | [ | ||
788 | x 766.7 | ||
789 | y 85.0 | ||
790 | w 103.4 | ||
791 | h 26.0 | ||
792 | type "rectangle" | ||
793 | fill "#FFFFFF" | ||
794 | fill2 "#FFFFFF" | ||
795 | outline "#000000" | ||
796 | ] | ||
797 | LabelGraphics | ||
798 | [ | ||
799 | text "New Strings" | ||
800 | outline "#000000" | ||
801 | fill "#FFFFFF" | ||
802 | fontSize 16 | ||
803 | fontName "Monospace" | ||
804 | autoSizePolicy "node_width" | ||
805 | anchor "t" | ||
806 | borderDistance 0.0 | ||
807 | ] | ||
808 | LabelGraphics | ||
809 | [ | ||
810 | text " | ||
811 | " | ||
812 | fontSize 14 | ||
813 | fontName "Consolas" | ||
814 | alignment "left" | ||
815 | anchor "tl" | ||
816 | borderDistance 6.0 | ||
817 | ] | ||
818 | ] | ||
819 | node | ||
820 | [ | ||
821 | id 21 | ||
822 | label "New Objects" | ||
823 | graphics | ||
824 | [ | ||
825 | x 766.7 | ||
826 | y 157.0 | ||
827 | w 103.4 | ||
828 | h 26.0 | ||
829 | type "rectangle" | ||
830 | fill "#FFFFFF" | ||
831 | fill2 "#FFFFFF" | ||
832 | outline "#000000" | ||
833 | ] | ||
834 | LabelGraphics | ||
835 | [ | ||
836 | text "New Objects" | ||
837 | outline "#000000" | ||
838 | fill "#FFFFFF" | ||
839 | fontSize 16 | ||
840 | fontName "Monospace" | ||
841 | autoSizePolicy "node_width" | ||
842 | anchor "t" | ||
843 | borderDistance 0.0 | ||
844 | ] | ||
845 | LabelGraphics | ||
846 | [ | ||
847 | text " | ||
848 | " | ||
849 | fontSize 14 | ||
850 | fontName "Consolas" | ||
851 | alignment "left" | ||
852 | anchor "tl" | ||
853 | borderDistance 6.0 | ||
854 | ] | ||
855 | ] | ||
856 | edge | ||
857 | [ | ||
858 | source 6 | ||
859 | target 5 | ||
860 | label "incomingTransitions reference Vertex" | ||
861 | graphics | ||
862 | [ | ||
863 | fill "#000000" | ||
864 | targetArrow "standard" | ||
865 | ] | ||
866 | edgeAnchor | ||
867 | [ | ||
868 | xSource 0.08032754342061545 | ||
869 | xTarget 0.10710339122748727 | ||
870 | ] | ||
871 | LabelGraphics | ||
872 | [ | ||
873 | text "incomingTransitions reference Vertex" | ||
874 | fontSize 14 | ||
875 | fontName "Consolas" | ||
876 | configuration "AutoFlippingLabel" | ||
877 | contentWidth 281.1015625 | ||
878 | contentHeight 18.0 | ||
879 | model "six_pos" | ||
880 | position "thead" | ||
881 | ] | ||
882 | ] | ||
883 | edge | ||
884 | [ | ||
885 | source 6 | ||
886 | target 9 | ||
887 | label "incomingTransitions reference Vertex" | ||
888 | graphics | ||
889 | [ | ||
890 | fill "#000000" | ||
891 | targetArrow "standard" | ||
892 | ] | ||
893 | edgeAnchor | ||
894 | [ | ||
895 | xSource -0.05423173536706701 | ||
896 | xTarget -0.07230898048942268 | ||
897 | ] | ||
898 | LabelGraphics | ||
899 | [ | ||
900 | text "incomingTransitions reference Vertex" | ||
901 | fontSize 14 | ||
902 | fontName "Consolas" | ||
903 | configuration "AutoFlippingLabel" | ||
904 | contentWidth 281.1015625 | ||
905 | contentHeight 18.0 | ||
906 | model "six_pos" | ||
907 | position "thead" | ||
908 | ] | ||
909 | ] | ||
910 | edge | ||
911 | [ | ||
912 | source 6 | ||
913 | target 16 | ||
914 | label "incomingTransitions reference Vertex" | ||
915 | graphics | ||
916 | [ | ||
917 | fill "#000000" | ||
918 | targetArrow "standard" | ||
919 | ] | ||
920 | edgeAnchor | ||
921 | [ | ||
922 | xSource 0.09234115756532207 | ||
923 | xTarget 0.12312154342042972 | ||
924 | yTarget 2.2204460492503132E-17 | ||
925 | ] | ||
926 | LabelGraphics | ||
927 | [ | ||
928 | text "incomingTransitions reference Vertex" | ||
929 | fontSize 14 | ||
930 | fontName "Consolas" | ||
931 | configuration "AutoFlippingLabel" | ||
932 | contentWidth 281.1015625 | ||
933 | contentHeight 18.0 | ||
934 | model "six_pos" | ||
935 | position "thead" | ||
936 | ] | ||
937 | ] | ||
938 | edge | ||
939 | [ | ||
940 | source 8 | ||
941 | target 7 | ||
942 | label "incomingTransitions reference Vertex" | ||
943 | graphics | ||
944 | [ | ||
945 | fill "#000000" | ||
946 | targetArrow "standard" | ||
947 | ] | ||
948 | edgeAnchor | ||
949 | [ | ||
950 | xSource -0.056939112509911224 | ||
951 | xTarget -0.07591881667988142 | ||
952 | ] | ||
953 | LabelGraphics | ||
954 | [ | ||
955 | text "incomingTransitions reference Vertex" | ||
956 | fontSize 14 | ||
957 | fontName "Consolas" | ||
958 | configuration "AutoFlippingLabel" | ||
959 | contentWidth 281.1015625 | ||
960 | contentHeight 18.0 | ||
961 | model "six_pos" | ||
962 | position "thead" | ||
963 | ] | ||
964 | ] | ||
965 | edge | ||
966 | [ | ||
967 | source 8 | ||
968 | target 14 | ||
969 | label "incomingTransitions reference Vertex" | ||
970 | graphics | ||
971 | [ | ||
972 | fill "#000000" | ||
973 | targetArrow "standard" | ||
974 | ] | ||
975 | edgeAnchor | ||
976 | [ | ||
977 | xSource 0.05722329714569708 | ||
978 | xTarget 0.07629772952759617 | ||
979 | ] | ||
980 | LabelGraphics | ||
981 | [ | ||
982 | text "incomingTransitions reference Vertex" | ||
983 | fontSize 14 | ||
984 | fontName "Consolas" | ||
985 | configuration "AutoFlippingLabel" | ||
986 | contentWidth 281.1015625 | ||
987 | contentHeight 18.0 | ||
988 | model "six_pos" | ||
989 | position "thead" | ||
990 | ] | ||
991 | ] | ||
992 | edge | ||
993 | [ | ||
994 | source 13 | ||
995 | target 10 | ||
996 | label "incomingTransitions reference Vertex" | ||
997 | graphics | ||
998 | [ | ||
999 | fill "#000000" | ||
1000 | targetArrow "standard" | ||
1001 | ] | ||
1002 | edgeAnchor | ||
1003 | [ | ||
1004 | xSource -0.06403825675031763 | ||
1005 | xTarget -0.08538434233375684 | ||
1006 | ] | ||
1007 | LabelGraphics | ||
1008 | [ | ||
1009 | text "incomingTransitions reference Vertex" | ||
1010 | fontSize 14 | ||
1011 | fontName "Consolas" | ||
1012 | configuration "AutoFlippingLabel" | ||
1013 | contentWidth 281.1015625 | ||
1014 | contentHeight 18.0 | ||
1015 | model "six_pos" | ||
1016 | position "thead" | ||
1017 | ] | ||
1018 | ] | ||
1019 | edge | ||
1020 | [ | ||
1021 | source 15 | ||
1022 | target 11 | ||
1023 | label "incomingTransitions reference Vertex" | ||
1024 | graphics | ||
1025 | [ | ||
1026 | fill "#000000" | ||
1027 | targetArrow "standard" | ||
1028 | ] | ||
1029 | edgeAnchor | ||
1030 | [ | ||
1031 | xSource -0.0834051215952323 | ||
1032 | xTarget -0.11120682879364265 | ||
1033 | ] | ||
1034 | LabelGraphics | ||
1035 | [ | ||
1036 | text "incomingTransitions reference Vertex" | ||
1037 | fontSize 14 | ||
1038 | fontName "Consolas" | ||
1039 | configuration "AutoFlippingLabel" | ||
1040 | contentWidth 281.1015625 | ||
1041 | contentHeight 18.0 | ||
1042 | model "six_pos" | ||
1043 | position "thead" | ||
1044 | ] | ||
1045 | ] | ||
1046 | edge | ||
1047 | [ | ||
1048 | source 17 | ||
1049 | target 12 | ||
1050 | label "incomingTransitions reference Vertex" | ||
1051 | graphics | ||
1052 | [ | ||
1053 | fill "#000000" | ||
1054 | targetArrow "standard" | ||
1055 | ] | ||
1056 | edgeAnchor | ||
1057 | [ | ||
1058 | xSource -0.07517258170522839 | ||
1059 | xTarget -0.10023010894030451 | ||
1060 | ] | ||
1061 | LabelGraphics | ||
1062 | [ | ||
1063 | text "incomingTransitions reference Vertex" | ||
1064 | fontSize 14 | ||
1065 | fontName "Consolas" | ||
1066 | configuration "AutoFlippingLabel" | ||
1067 | contentWidth 281.1015625 | ||
1068 | contentHeight 18.0 | ||
1069 | model "six_pos" | ||
1070 | position "thead" | ||
1071 | ] | ||
1072 | ] | ||
1073 | edge | ||
1074 | [ | ||
1075 | source 4 | ||
1076 | target 5 | ||
1077 | label "outgoingTransitions reference Vertex" | ||
1078 | graphics | ||
1079 | [ | ||
1080 | width 3 | ||
1081 | fill "#000000" | ||
1082 | targetArrow "standard" | ||
1083 | ] | ||
1084 | edgeAnchor | ||
1085 | [ | ||
1086 | xSource -0.08254431858692544 | ||
1087 | xTarget -0.08713011406397665 | ||
1088 | ] | ||
1089 | LabelGraphics | ||
1090 | [ | ||
1091 | text "outgoingTransitions reference Vertex" | ||
1092 | fontSize 14 | ||
1093 | fontName "Consolas" | ||
1094 | configuration "AutoFlippingLabel" | ||
1095 | contentWidth 281.1015625 | ||
1096 | contentHeight 18.0 | ||
1097 | model "six_pos" | ||
1098 | position "thead" | ||
1099 | ] | ||
1100 | ] | ||
1101 | edge | ||
1102 | [ | ||
1103 | source 6 | ||
1104 | target 7 | ||
1105 | label "outgoingTransitions reference Vertex" | ||
1106 | graphics | ||
1107 | [ | ||
1108 | width 3 | ||
1109 | fill "#000000" | ||
1110 | targetArrow "standard" | ||
1111 | ] | ||
1112 | edgeAnchor | ||
1113 | [ | ||
1114 | xSource -0.08278902855860473 | ||
1115 | xTarget -0.11038537141147287 | ||
1116 | ] | ||
1117 | LabelGraphics | ||
1118 | [ | ||
1119 | text "outgoingTransitions reference Vertex" | ||
1120 | fontSize 14 | ||
1121 | fontName "Consolas" | ||
1122 | configuration "AutoFlippingLabel" | ||
1123 | contentWidth 281.1015625 | ||
1124 | contentHeight 18.0 | ||
1125 | model "six_pos" | ||
1126 | position "thead" | ||
1127 | ] | ||
1128 | ] | ||
1129 | edge | ||
1130 | [ | ||
1131 | source 8 | ||
1132 | target 9 | ||
1133 | label "outgoingTransitions reference Vertex" | ||
1134 | graphics | ||
1135 | [ | ||
1136 | width 3 | ||
1137 | fill "#000000" | ||
1138 | targetArrow "standard" | ||
1139 | ] | ||
1140 | edgeAnchor | ||
1141 | [ | ||
1142 | xSource -0.05751572768585484 | ||
1143 | xTarget -0.07668763691447326 | ||
1144 | ] | ||
1145 | LabelGraphics | ||
1146 | [ | ||
1147 | text "outgoingTransitions reference Vertex" | ||
1148 | fontSize 14 | ||
1149 | fontName "Consolas" | ||
1150 | configuration "AutoFlippingLabel" | ||
1151 | contentWidth 281.1015625 | ||
1152 | contentHeight 18.0 | ||
1153 | model "six_pos" | ||
1154 | position "thead" | ||
1155 | ] | ||
1156 | ] | ||
1157 | edge | ||
1158 | [ | ||
1159 | source 8 | ||
1160 | target 10 | ||
1161 | label "outgoingTransitions reference Vertex" | ||
1162 | graphics | ||
1163 | [ | ||
1164 | width 3 | ||
1165 | fill "#000000" | ||
1166 | targetArrow "standard" | ||
1167 | ] | ||
1168 | edgeAnchor | ||
1169 | [ | ||
1170 | xSource -0.10193355770368039 | ||
1171 | xTarget -0.13591141027157383 | ||
1172 | ] | ||
1173 | LabelGraphics | ||
1174 | [ | ||
1175 | text "outgoingTransitions reference Vertex" | ||
1176 | fontSize 14 | ||
1177 | fontName "Consolas" | ||
1178 | configuration "AutoFlippingLabel" | ||
1179 | contentWidth 281.1015625 | ||
1180 | contentHeight 18.0 | ||
1181 | model "six_pos" | ||
1182 | position "thead" | ||
1183 | ] | ||
1184 | ] | ||
1185 | edge | ||
1186 | [ | ||
1187 | source 8 | ||
1188 | target 11 | ||
1189 | label "outgoingTransitions reference Vertex" | ||
1190 | graphics | ||
1191 | [ | ||
1192 | width 3 | ||
1193 | fill "#000000" | ||
1194 | targetArrow "standard" | ||
1195 | ] | ||
1196 | edgeAnchor | ||
1197 | [ | ||
1198 | xSource 0.07652670792062202 | ||
1199 | xTarget 0.10203561056082977 | ||
1200 | ] | ||
1201 | LabelGraphics | ||
1202 | [ | ||
1203 | text "outgoingTransitions reference Vertex" | ||
1204 | fontSize 14 | ||
1205 | fontName "Consolas" | ||
1206 | configuration "AutoFlippingLabel" | ||
1207 | contentWidth 281.1015625 | ||
1208 | contentHeight 18.0 | ||
1209 | model "six_pos" | ||
1210 | position "thead" | ||
1211 | ] | ||
1212 | ] | ||
1213 | edge | ||
1214 | [ | ||
1215 | source 8 | ||
1216 | target 12 | ||
1217 | label "outgoingTransitions reference Vertex" | ||
1218 | graphics | ||
1219 | [ | ||
1220 | width 3 | ||
1221 | fill "#000000" | ||
1222 | targetArrow "standard" | ||
1223 | ] | ||
1224 | edgeAnchor | ||
1225 | [ | ||
1226 | xSource -0.09068594476953899 | ||
1227 | xTarget -0.1209145930260524 | ||
1228 | ] | ||
1229 | LabelGraphics | ||
1230 | [ | ||
1231 | text "outgoingTransitions reference Vertex" | ||
1232 | fontSize 14 | ||
1233 | fontName "Consolas" | ||
1234 | configuration "AutoFlippingLabel" | ||
1235 | contentWidth 281.1015625 | ||
1236 | contentHeight 18.0 | ||
1237 | model "six_pos" | ||
1238 | position "thead" | ||
1239 | ] | ||
1240 | ] | ||
1241 | edge | ||
1242 | [ | ||
1243 | source 13 | ||
1244 | target 14 | ||
1245 | label "outgoingTransitions reference Vertex" | ||
1246 | graphics | ||
1247 | [ | ||
1248 | width 3 | ||
1249 | fill "#000000" | ||
1250 | targetArrow "standard" | ||
1251 | ] | ||
1252 | edgeAnchor | ||
1253 | [ | ||
1254 | xSource 0.07741474435720763 | ||
1255 | xTarget 0.10321965914294319 | ||
1256 | ] | ||
1257 | LabelGraphics | ||
1258 | [ | ||
1259 | text "outgoingTransitions reference Vertex" | ||
1260 | fontSize 14 | ||
1261 | fontName "Consolas" | ||
1262 | configuration "AutoFlippingLabel" | ||
1263 | contentWidth 281.1015625 | ||
1264 | contentHeight 18.0 | ||
1265 | model "six_pos" | ||
1266 | position "thead" | ||
1267 | ] | ||
1268 | ] | ||
1269 | edge | ||
1270 | [ | ||
1271 | source 15 | ||
1272 | target 16 | ||
1273 | label "outgoingTransitions reference Vertex" | ||
1274 | graphics | ||
1275 | [ | ||
1276 | width 3 | ||
1277 | fill "#000000" | ||
1278 | targetArrow "standard" | ||
1279 | ] | ||
1280 | edgeAnchor | ||
1281 | [ | ||
1282 | xSource -0.059386954907372135 | ||
1283 | xTarget -0.07918260654316284 | ||
1284 | ] | ||
1285 | LabelGraphics | ||
1286 | [ | ||
1287 | text "outgoingTransitions reference Vertex" | ||
1288 | fontSize 14 | ||
1289 | fontName "Consolas" | ||
1290 | configuration "AutoFlippingLabel" | ||
1291 | contentWidth 281.1015625 | ||
1292 | contentHeight 18.0 | ||
1293 | model "six_pos" | ||
1294 | position "thead" | ||
1295 | ] | ||
1296 | ] | ||
1297 | edge | ||
1298 | [ | ||
1299 | source 3 | ||
1300 | target 4 | ||
1301 | label "vertices reference Region" | ||
1302 | graphics | ||
1303 | [ | ||
1304 | width 3 | ||
1305 | fill "#000000" | ||
1306 | targetArrow "standard" | ||
1307 | ] | ||
1308 | LabelGraphics | ||
1309 | [ | ||
1310 | text "vertices reference Region" | ||
1311 | fontSize 14 | ||
1312 | fontName "Consolas" | ||
1313 | configuration "AutoFlippingLabel" | ||
1314 | contentWidth 196.431640625 | ||
1315 | contentHeight 18.0 | ||
1316 | model "six_pos" | ||
1317 | position "thead" | ||
1318 | ] | ||
1319 | ] | ||
1320 | edge | ||
1321 | [ | ||
1322 | source 3 | ||
1323 | target 6 | ||
1324 | label "vertices reference Region" | ||
1325 | graphics | ||
1326 | [ | ||
1327 | width 3 | ||
1328 | fill "#000000" | ||
1329 | targetArrow "standard" | ||
1330 | ] | ||
1331 | LabelGraphics | ||
1332 | [ | ||
1333 | text "vertices reference Region" | ||
1334 | fontSize 14 | ||
1335 | fontName "Consolas" | ||
1336 | configuration "AutoFlippingLabel" | ||
1337 | contentWidth 196.431640625 | ||
1338 | contentHeight 18.0 | ||
1339 | model "six_pos" | ||
1340 | position "thead" | ||
1341 | ] | ||
1342 | ] | ||
1343 | edge | ||
1344 | [ | ||
1345 | source 3 | ||
1346 | target 8 | ||
1347 | label "vertices reference Region" | ||
1348 | graphics | ||
1349 | [ | ||
1350 | width 3 | ||
1351 | fill "#000000" | ||
1352 | targetArrow "standard" | ||
1353 | ] | ||
1354 | LabelGraphics | ||
1355 | [ | ||
1356 | text "vertices reference Region" | ||
1357 | fontSize 14 | ||
1358 | fontName "Consolas" | ||
1359 | configuration "AutoFlippingLabel" | ||
1360 | contentWidth 196.431640625 | ||
1361 | contentHeight 18.0 | ||
1362 | model "six_pos" | ||
1363 | position "thead" | ||
1364 | ] | ||
1365 | ] | ||
1366 | edge | ||
1367 | [ | ||
1368 | source 3 | ||
1369 | target 13 | ||
1370 | label "vertices reference Region" | ||
1371 | graphics | ||
1372 | [ | ||
1373 | width 3 | ||
1374 | fill "#000000" | ||
1375 | targetArrow "standard" | ||
1376 | ] | ||
1377 | LabelGraphics | ||
1378 | [ | ||
1379 | text "vertices reference Region" | ||
1380 | fontSize 14 | ||
1381 | fontName "Consolas" | ||
1382 | configuration "AutoFlippingLabel" | ||
1383 | contentWidth 196.431640625 | ||
1384 | contentHeight 18.0 | ||
1385 | model "six_pos" | ||
1386 | position "thead" | ||
1387 | ] | ||
1388 | ] | ||
1389 | edge | ||
1390 | [ | ||
1391 | source 3 | ||
1392 | target 15 | ||
1393 | label "vertices reference Region" | ||
1394 | graphics | ||
1395 | [ | ||
1396 | width 3 | ||
1397 | fill "#000000" | ||
1398 | targetArrow "standard" | ||
1399 | ] | ||
1400 | LabelGraphics | ||
1401 | [ | ||
1402 | text "vertices reference Region" | ||
1403 | fontSize 14 | ||
1404 | fontName "Consolas" | ||
1405 | configuration "AutoFlippingLabel" | ||
1406 | contentWidth 196.431640625 | ||
1407 | contentHeight 18.0 | ||
1408 | model "six_pos" | ||
1409 | position "thead" | ||
1410 | ] | ||
1411 | ] | ||
1412 | edge | ||
1413 | [ | ||
1414 | source 3 | ||
1415 | target 17 | ||
1416 | label "vertices reference Region" | ||
1417 | graphics | ||
1418 | [ | ||
1419 | width 3 | ||
1420 | fill "#000000" | ||
1421 | targetArrow "standard" | ||
1422 | ] | ||
1423 | LabelGraphics | ||
1424 | [ | ||
1425 | text "vertices reference Region" | ||
1426 | fontSize 14 | ||
1427 | fontName "Consolas" | ||
1428 | configuration "AutoFlippingLabel" | ||
1429 | contentWidth 196.431640625 | ||
1430 | contentHeight 18.0 | ||
1431 | model "six_pos" | ||
1432 | position "thead" | ||
1433 | ] | ||
1434 | ] | ||
1435 | edge | ||
1436 | [ | ||
1437 | source 5 | ||
1438 | target 6 | ||
1439 | label "target reference Transition" | ||
1440 | graphics | ||
1441 | [ | ||
1442 | fill "#000000" | ||
1443 | targetArrow "standard" | ||
1444 | ] | ||
1445 | edgeAnchor | ||
1446 | [ | ||
1447 | xSource -0.10710339122748727 | ||
1448 | xTarget -0.08032754342061535 | ||
1449 | ] | ||
1450 | LabelGraphics | ||
1451 | [ | ||
1452 | text "target reference Transition" | ||
1453 | fontSize 14 | ||
1454 | fontName "Consolas" | ||
1455 | configuration "AutoFlippingLabel" | ||
1456 | contentWidth 211.826171875 | ||
1457 | contentHeight 18.0 | ||
1458 | model "six_pos" | ||
1459 | position "thead" | ||
1460 | ] | ||
1461 | ] | ||
1462 | edge | ||
1463 | [ | ||
1464 | source 7 | ||
1465 | target 8 | ||
1466 | label "target reference Transition" | ||
1467 | graphics | ||
1468 | [ | ||
1469 | fill "#000000" | ||
1470 | targetArrow "standard" | ||
1471 | ] | ||
1472 | edgeAnchor | ||
1473 | [ | ||
1474 | xSource 0.07591881667988142 | ||
1475 | xTarget 0.056939112509911224 | ||
1476 | ] | ||
1477 | LabelGraphics | ||
1478 | [ | ||
1479 | text "target reference Transition" | ||
1480 | fontSize 14 | ||
1481 | fontName "Consolas" | ||
1482 | configuration "AutoFlippingLabel" | ||
1483 | contentWidth 211.826171875 | ||
1484 | contentHeight 18.0 | ||
1485 | model "six_pos" | ||
1486 | position "thead" | ||
1487 | ] | ||
1488 | ] | ||
1489 | edge | ||
1490 | [ | ||
1491 | source 9 | ||
1492 | target 6 | ||
1493 | label "target reference Transition" | ||
1494 | graphics | ||
1495 | [ | ||
1496 | fill "#000000" | ||
1497 | targetArrow "standard" | ||
1498 | ] | ||
1499 | edgeAnchor | ||
1500 | [ | ||
1501 | xSource 0.07230898048942265 | ||
1502 | xTarget 0.05423173536706701 | ||
1503 | ] | ||
1504 | LabelGraphics | ||
1505 | [ | ||
1506 | text "target reference Transition" | ||
1507 | fontSize 14 | ||
1508 | fontName "Consolas" | ||
1509 | configuration "AutoFlippingLabel" | ||
1510 | contentWidth 211.826171875 | ||
1511 | contentHeight 18.0 | ||
1512 | model "six_pos" | ||
1513 | position "thead" | ||
1514 | ] | ||
1515 | ] | ||
1516 | edge | ||
1517 | [ | ||
1518 | source 10 | ||
1519 | target 13 | ||
1520 | label "target reference Transition" | ||
1521 | graphics | ||
1522 | [ | ||
1523 | fill "#000000" | ||
1524 | targetArrow "standard" | ||
1525 | ] | ||
1526 | edgeAnchor | ||
1527 | [ | ||
1528 | xSource 0.08538434233375643 | ||
1529 | xTarget 0.06403825675031717 | ||
1530 | ] | ||
1531 | LabelGraphics | ||
1532 | [ | ||
1533 | text "target reference Transition" | ||
1534 | fontSize 14 | ||
1535 | fontName "Consolas" | ||
1536 | configuration "AutoFlippingLabel" | ||
1537 | contentWidth 211.826171875 | ||
1538 | contentHeight 18.0 | ||
1539 | model "six_pos" | ||
1540 | position "thead" | ||
1541 | ] | ||
1542 | ] | ||
1543 | edge | ||
1544 | [ | ||
1545 | source 11 | ||
1546 | target 15 | ||
1547 | label "target reference Transition" | ||
1548 | graphics | ||
1549 | [ | ||
1550 | fill "#000000" | ||
1551 | targetArrow "standard" | ||
1552 | ] | ||
1553 | edgeAnchor | ||
1554 | [ | ||
1555 | xSource 0.11120682879364265 | ||
1556 | xTarget 0.0834051215952323 | ||
1557 | ] | ||
1558 | LabelGraphics | ||
1559 | [ | ||
1560 | text "target reference Transition" | ||
1561 | fontSize 14 | ||
1562 | fontName "Consolas" | ||
1563 | configuration "AutoFlippingLabel" | ||
1564 | contentWidth 211.826171875 | ||
1565 | contentHeight 18.0 | ||
1566 | model "six_pos" | ||
1567 | position "thead" | ||
1568 | ] | ||
1569 | ] | ||
1570 | edge | ||
1571 | [ | ||
1572 | source 12 | ||
1573 | target 17 | ||
1574 | label "target reference Transition" | ||
1575 | graphics | ||
1576 | [ | ||
1577 | fill "#000000" | ||
1578 | targetArrow "standard" | ||
1579 | ] | ||
1580 | edgeAnchor | ||
1581 | [ | ||
1582 | xSource 0.10023010894030451 | ||
1583 | xTarget 0.07517258170522809 | ||
1584 | ] | ||
1585 | LabelGraphics | ||
1586 | [ | ||
1587 | text "target reference Transition" | ||
1588 | fontSize 14 | ||
1589 | fontName "Consolas" | ||
1590 | configuration "AutoFlippingLabel" | ||
1591 | contentWidth 211.826171875 | ||
1592 | contentHeight 18.0 | ||
1593 | model "six_pos" | ||
1594 | position "thead" | ||
1595 | ] | ||
1596 | ] | ||
1597 | edge | ||
1598 | [ | ||
1599 | source 14 | ||
1600 | target 8 | ||
1601 | label "target reference Transition" | ||
1602 | graphics | ||
1603 | [ | ||
1604 | fill "#000000" | ||
1605 | targetArrow "standard" | ||
1606 | ] | ||
1607 | edgeAnchor | ||
1608 | [ | ||
1609 | xSource -0.0762977295275961 | ||
1610 | xTarget -0.05722329714569708 | ||
1611 | ] | ||
1612 | LabelGraphics | ||
1613 | [ | ||
1614 | text "target reference Transition" | ||
1615 | fontSize 14 | ||
1616 | fontName "Consolas" | ||
1617 | configuration "AutoFlippingLabel" | ||
1618 | contentWidth 211.826171875 | ||
1619 | contentHeight 18.0 | ||
1620 | model "six_pos" | ||
1621 | position "thead" | ||
1622 | ] | ||
1623 | ] | ||
1624 | edge | ||
1625 | [ | ||
1626 | source 16 | ||
1627 | target 6 | ||
1628 | label "target reference Transition" | ||
1629 | graphics | ||
1630 | [ | ||
1631 | fill "#000000" | ||
1632 | targetArrow "standard" | ||
1633 | ] | ||
1634 | edgeAnchor | ||
1635 | [ | ||
1636 | xSource -0.12312154342042972 | ||
1637 | xTarget -0.09234115756532262 | ||
1638 | ] | ||
1639 | LabelGraphics | ||
1640 | [ | ||
1641 | text "target reference Transition" | ||
1642 | fontSize 14 | ||
1643 | fontName "Consolas" | ||
1644 | configuration "AutoFlippingLabel" | ||
1645 | contentWidth 211.826171875 | ||
1646 | contentHeight 18.0 | ||
1647 | model "six_pos" | ||
1648 | position "thead" | ||
1649 | ] | ||
1650 | ] | ||
1651 | edge | ||
1652 | [ | ||
1653 | source 5 | ||
1654 | target 4 | ||
1655 | label "source reference Transition" | ||
1656 | graphics | ||
1657 | [ | ||
1658 | fill "#000000" | ||
1659 | targetArrow "standard" | ||
1660 | ] | ||
1661 | edgeAnchor | ||
1662 | [ | ||
1663 | xSource 0.08713011406397665 | ||
1664 | xTarget 0.08254431858692544 | ||
1665 | ] | ||
1666 | LabelGraphics | ||
1667 | [ | ||
1668 | text "source reference Transition" | ||
1669 | fontSize 14 | ||
1670 | fontName "Consolas" | ||
1671 | configuration "AutoFlippingLabel" | ||
1672 | contentWidth 211.826171875 | ||
1673 | contentHeight 18.0 | ||
1674 | model "six_pos" | ||
1675 | position "thead" | ||
1676 | ] | ||
1677 | ] | ||
1678 | edge | ||
1679 | [ | ||
1680 | source 7 | ||
1681 | target 6 | ||
1682 | label "source reference Transition" | ||
1683 | graphics | ||
1684 | [ | ||
1685 | fill "#000000" | ||
1686 | targetArrow "standard" | ||
1687 | ] | ||
1688 | edgeAnchor | ||
1689 | [ | ||
1690 | xSource 0.11038537141147287 | ||
1691 | xTarget 0.08278902855860439 | ||
1692 | ] | ||
1693 | LabelGraphics | ||
1694 | [ | ||
1695 | text "source reference Transition" | ||
1696 | fontSize 14 | ||
1697 | fontName "Consolas" | ||
1698 | configuration "AutoFlippingLabel" | ||
1699 | contentWidth 211.826171875 | ||
1700 | contentHeight 18.0 | ||
1701 | model "six_pos" | ||
1702 | position "thead" | ||
1703 | ] | ||
1704 | ] | ||
1705 | edge | ||
1706 | [ | ||
1707 | source 9 | ||
1708 | target 8 | ||
1709 | label "source reference Transition" | ||
1710 | graphics | ||
1711 | [ | ||
1712 | fill "#000000" | ||
1713 | targetArrow "standard" | ||
1714 | ] | ||
1715 | edgeAnchor | ||
1716 | [ | ||
1717 | xSource 0.07668763691447301 | ||
1718 | xTarget 0.05751572768585469 | ||
1719 | ] | ||
1720 | LabelGraphics | ||
1721 | [ | ||
1722 | text "source reference Transition" | ||
1723 | fontSize 14 | ||
1724 | fontName "Consolas" | ||
1725 | configuration "AutoFlippingLabel" | ||
1726 | contentWidth 211.826171875 | ||
1727 | contentHeight 18.0 | ||
1728 | model "six_pos" | ||
1729 | position "thead" | ||
1730 | ] | ||
1731 | ] | ||
1732 | edge | ||
1733 | [ | ||
1734 | source 10 | ||
1735 | target 8 | ||
1736 | label "source reference Transition" | ||
1737 | graphics | ||
1738 | [ | ||
1739 | fill "#000000" | ||
1740 | targetArrow "standard" | ||
1741 | ] | ||
1742 | edgeAnchor | ||
1743 | [ | ||
1744 | xSource 0.13591141027157425 | ||
1745 | xTarget 0.10193355770368054 | ||
1746 | ] | ||
1747 | LabelGraphics | ||
1748 | [ | ||
1749 | text "source reference Transition" | ||
1750 | fontSize 14 | ||
1751 | fontName "Consolas" | ||
1752 | configuration "AutoFlippingLabel" | ||
1753 | contentWidth 211.826171875 | ||
1754 | contentHeight 18.0 | ||
1755 | model "six_pos" | ||
1756 | position "thead" | ||
1757 | ] | ||
1758 | ] | ||
1759 | edge | ||
1760 | [ | ||
1761 | source 11 | ||
1762 | target 8 | ||
1763 | label "source reference Transition" | ||
1764 | graphics | ||
1765 | [ | ||
1766 | fill "#000000" | ||
1767 | targetArrow "standard" | ||
1768 | ] | ||
1769 | edgeAnchor | ||
1770 | [ | ||
1771 | xSource -0.10203561056082977 | ||
1772 | xTarget -0.07652670792062218 | ||
1773 | ] | ||
1774 | LabelGraphics | ||
1775 | [ | ||
1776 | text "source reference Transition" | ||
1777 | fontSize 14 | ||
1778 | fontName "Consolas" | ||
1779 | configuration "AutoFlippingLabel" | ||
1780 | contentWidth 211.826171875 | ||
1781 | contentHeight 18.0 | ||
1782 | model "six_pos" | ||
1783 | position "thead" | ||
1784 | ] | ||
1785 | ] | ||
1786 | edge | ||
1787 | [ | ||
1788 | source 12 | ||
1789 | target 8 | ||
1790 | label "source reference Transition" | ||
1791 | graphics | ||
1792 | [ | ||
1793 | fill "#000000" | ||
1794 | targetArrow "standard" | ||
1795 | ] | ||
1796 | edgeAnchor | ||
1797 | [ | ||
1798 | xSource 0.12091459302605259 | ||
1799 | xTarget 0.0906859447695393 | ||
1800 | ] | ||
1801 | LabelGraphics | ||
1802 | [ | ||
1803 | text "source reference Transition" | ||
1804 | fontSize 14 | ||
1805 | fontName "Consolas" | ||
1806 | configuration "AutoFlippingLabel" | ||
1807 | contentWidth 211.826171875 | ||
1808 | contentHeight 18.0 | ||
1809 | model "six_pos" | ||
1810 | position "thead" | ||
1811 | ] | ||
1812 | ] | ||
1813 | edge | ||
1814 | [ | ||
1815 | source 14 | ||
1816 | target 13 | ||
1817 | label "source reference Transition" | ||
1818 | graphics | ||
1819 | [ | ||
1820 | fill "#000000" | ||
1821 | targetArrow "standard" | ||
1822 | ] | ||
1823 | edgeAnchor | ||
1824 | [ | ||
1825 | xSource -0.10321965914294329 | ||
1826 | ySource -7.105427357601002E-16 | ||
1827 | xTarget -0.07741474435720733 | ||
1828 | ] | ||
1829 | LabelGraphics | ||
1830 | [ | ||
1831 | text "source reference Transition" | ||
1832 | fontSize 14 | ||
1833 | fontName "Consolas" | ||
1834 | configuration "AutoFlippingLabel" | ||
1835 | contentWidth 211.826171875 | ||
1836 | contentHeight 18.0 | ||
1837 | model "six_pos" | ||
1838 | position "thead" | ||
1839 | ] | ||
1840 | ] | ||
1841 | edge | ||
1842 | [ | ||
1843 | source 16 | ||
1844 | target 15 | ||
1845 | label "source reference Transition" | ||
1846 | graphics | ||
1847 | [ | ||
1848 | fill "#000000" | ||
1849 | targetArrow "standard" | ||
1850 | ] | ||
1851 | edgeAnchor | ||
1852 | [ | ||
1853 | xSource 0.07918260654316284 | ||
1854 | xTarget 0.059386954907372135 | ||
1855 | ] | ||
1856 | LabelGraphics | ||
1857 | [ | ||
1858 | text "source reference Transition" | ||
1859 | fontSize 14 | ||
1860 | fontName "Consolas" | ||
1861 | configuration "AutoFlippingLabel" | ||
1862 | contentWidth 211.826171875 | ||
1863 | contentHeight 18.0 | ||
1864 | model "six_pos" | ||
1865 | position "thead" | ||
1866 | ] | ||
1867 | ] | ||
1868 | edge | ||
1869 | [ | ||
1870 | source 2 | ||
1871 | target 3 | ||
1872 | label "regions reference CompositeElement" | ||
1873 | graphics | ||
1874 | [ | ||
1875 | width 3 | ||
1876 | fill "#000000" | ||
1877 | targetArrow "standard" | ||
1878 | ] | ||
1879 | LabelGraphics | ||
1880 | [ | ||
1881 | text "regions reference CompositeElement" | ||
1882 | fontSize 14 | ||
1883 | fontName "Consolas" | ||
1884 | configuration "AutoFlippingLabel" | ||
1885 | contentWidth 265.70703125 | ||
1886 | contentHeight 18.0 | ||
1887 | model "six_pos" | ||
1888 | position "thead" | ||
1889 | ] | ||
1890 | ] | ||
1891 | ] | ||
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 | ] | ||
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModelNEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModelNEIGHBOURHOOD.gml new file mode 100644 index 00000000..e69de29b --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModelNEIGHBOURHOOD.gml | |||
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleLLMODEL.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleLLMODEL.gml new file mode 100644 index 00000000..aad12394 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleLLMODEL.gml | |||
@@ -0,0 +1,696 @@ | |||
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 92.4 | ||
79 | h 40 | ||
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 | List class | ||
100 | " | ||
101 | fontSize 14 | ||
102 | fontName "Consolas" | ||
103 | alignment "left" | ||
104 | anchor "tl" | ||
105 | borderDistance 6 | ||
106 | ] | ||
107 | ] | ||
108 | |||
109 | node | ||
110 | [ | ||
111 | id 3 | ||
112 | graphics | ||
113 | [ | ||
114 | w 115.50000000000001 | ||
115 | h 40 | ||
116 | type "rectangle" | ||
117 | fill "#FFFFFF" | ||
118 | fill2 "#FFFFFF" | ||
119 | outline "#000000" | ||
120 | ] | ||
121 | LabelGraphics | ||
122 | [ | ||
123 | text "null" | ||
124 | outline "#000000" | ||
125 | fill "#FFFFFF" | ||
126 | fontSize 16 | ||
127 | fontName "Monospace" | ||
128 | autoSizePolicy "node_width" | ||
129 | anchor "t" | ||
130 | borderDistance 0.0 | ||
131 | ] | ||
132 | LabelGraphics | ||
133 | [ | ||
134 | text " | ||
135 | Element class | ||
136 | " | ||
137 | fontSize 14 | ||
138 | fontName "Consolas" | ||
139 | alignment "left" | ||
140 | anchor "tl" | ||
141 | borderDistance 6 | ||
142 | ] | ||
143 | ] | ||
144 | |||
145 | node | ||
146 | [ | ||
147 | id 4 | ||
148 | graphics | ||
149 | [ | ||
150 | w 107.80000000000001 | ||
151 | h 40 | ||
152 | type "rectangle" | ||
153 | fill "#FFFFFF" | ||
154 | fill2 "#FFFFFF" | ||
155 | outline "#000000" | ||
156 | ] | ||
157 | LabelGraphics | ||
158 | [ | ||
159 | text "null" | ||
160 | outline "#000000" | ||
161 | fill "#FFFFFF" | ||
162 | fontSize 16 | ||
163 | fontName "Monospace" | ||
164 | autoSizePolicy "node_width" | ||
165 | anchor "t" | ||
166 | borderDistance 0.0 | ||
167 | ] | ||
168 | LabelGraphics | ||
169 | [ | ||
170 | text " | ||
171 | Object class | ||
172 | " | ||
173 | fontSize 14 | ||
174 | fontName "Consolas" | ||
175 | alignment "left" | ||
176 | anchor "tl" | ||
177 | borderDistance 6 | ||
178 | ] | ||
179 | ] | ||
180 | |||
181 | node | ||
182 | [ | ||
183 | id 5 | ||
184 | graphics | ||
185 | [ | ||
186 | w 115.50000000000001 | ||
187 | h 40 | ||
188 | type "rectangle" | ||
189 | fill "#FFFFFF" | ||
190 | fill2 "#FFFFFF" | ||
191 | outline "#000000" | ||
192 | ] | ||
193 | LabelGraphics | ||
194 | [ | ||
195 | text "null" | ||
196 | outline "#000000" | ||
197 | fill "#FFFFFF" | ||
198 | fontSize 16 | ||
199 | fontName "Monospace" | ||
200 | autoSizePolicy "node_width" | ||
201 | anchor "t" | ||
202 | borderDistance 0.0 | ||
203 | ] | ||
204 | LabelGraphics | ||
205 | [ | ||
206 | text " | ||
207 | Element class | ||
208 | " | ||
209 | fontSize 14 | ||
210 | fontName "Consolas" | ||
211 | alignment "left" | ||
212 | anchor "tl" | ||
213 | borderDistance 6 | ||
214 | ] | ||
215 | ] | ||
216 | |||
217 | node | ||
218 | [ | ||
219 | id 6 | ||
220 | graphics | ||
221 | [ | ||
222 | w 107.80000000000001 | ||
223 | h 40 | ||
224 | type "rectangle" | ||
225 | fill "#FFFFFF" | ||
226 | fill2 "#FFFFFF" | ||
227 | outline "#000000" | ||
228 | ] | ||
229 | LabelGraphics | ||
230 | [ | ||
231 | text "null" | ||
232 | outline "#000000" | ||
233 | fill "#FFFFFF" | ||
234 | fontSize 16 | ||
235 | fontName "Monospace" | ||
236 | autoSizePolicy "node_width" | ||
237 | anchor "t" | ||
238 | borderDistance 0.0 | ||
239 | ] | ||
240 | LabelGraphics | ||
241 | [ | ||
242 | text " | ||
243 | Object class | ||
244 | " | ||
245 | fontSize 14 | ||
246 | fontName "Consolas" | ||
247 | alignment "left" | ||
248 | anchor "tl" | ||
249 | borderDistance 6 | ||
250 | ] | ||
251 | ] | ||
252 | |||
253 | node | ||
254 | [ | ||
255 | id 7 | ||
256 | graphics | ||
257 | [ | ||
258 | w 115.50000000000001 | ||
259 | h 40 | ||
260 | type "rectangle" | ||
261 | fill "#FFFFFF" | ||
262 | fill2 "#FFFFFF" | ||
263 | outline "#000000" | ||
264 | ] | ||
265 | LabelGraphics | ||
266 | [ | ||
267 | text "null" | ||
268 | outline "#000000" | ||
269 | fill "#FFFFFF" | ||
270 | fontSize 16 | ||
271 | fontName "Monospace" | ||
272 | autoSizePolicy "node_width" | ||
273 | anchor "t" | ||
274 | borderDistance 0.0 | ||
275 | ] | ||
276 | LabelGraphics | ||
277 | [ | ||
278 | text " | ||
279 | Element class | ||
280 | " | ||
281 | fontSize 14 | ||
282 | fontName "Consolas" | ||
283 | alignment "left" | ||
284 | anchor "tl" | ||
285 | borderDistance 6 | ||
286 | ] | ||
287 | ] | ||
288 | |||
289 | node | ||
290 | [ | ||
291 | id 8 | ||
292 | graphics | ||
293 | [ | ||
294 | w 107.80000000000001 | ||
295 | h 40 | ||
296 | type "rectangle" | ||
297 | fill "#FFFFFF" | ||
298 | fill2 "#FFFFFF" | ||
299 | outline "#000000" | ||
300 | ] | ||
301 | LabelGraphics | ||
302 | [ | ||
303 | text "null" | ||
304 | outline "#000000" | ||
305 | fill "#FFFFFF" | ||
306 | fontSize 16 | ||
307 | fontName "Monospace" | ||
308 | autoSizePolicy "node_width" | ||
309 | anchor "t" | ||
310 | borderDistance 0.0 | ||
311 | ] | ||
312 | LabelGraphics | ||
313 | [ | ||
314 | text " | ||
315 | Object class | ||
316 | " | ||
317 | fontSize 14 | ||
318 | fontName "Consolas" | ||
319 | alignment "left" | ||
320 | anchor "tl" | ||
321 | borderDistance 6 | ||
322 | ] | ||
323 | ] | ||
324 | |||
325 | node | ||
326 | [ | ||
327 | id 9 | ||
328 | graphics | ||
329 | [ | ||
330 | w 115.50000000000001 | ||
331 | h 40 | ||
332 | type "rectangle" | ||
333 | fill "#FFFFFF" | ||
334 | fill2 "#FFFFFF" | ||
335 | outline "#000000" | ||
336 | ] | ||
337 | LabelGraphics | ||
338 | [ | ||
339 | text "null" | ||
340 | outline "#000000" | ||
341 | fill "#FFFFFF" | ||
342 | fontSize 16 | ||
343 | fontName "Monospace" | ||
344 | autoSizePolicy "node_width" | ||
345 | anchor "t" | ||
346 | borderDistance 0.0 | ||
347 | ] | ||
348 | LabelGraphics | ||
349 | [ | ||
350 | text " | ||
351 | Element class | ||
352 | " | ||
353 | fontSize 14 | ||
354 | fontName "Consolas" | ||
355 | alignment "left" | ||
356 | anchor "tl" | ||
357 | borderDistance 6 | ||
358 | ] | ||
359 | ] | ||
360 | |||
361 | node | ||
362 | [ | ||
363 | id 10 | ||
364 | graphics | ||
365 | [ | ||
366 | w 107.80000000000001 | ||
367 | h 40 | ||
368 | type "rectangle" | ||
369 | fill "#FFFFFF" | ||
370 | fill2 "#FFFFFF" | ||
371 | outline "#000000" | ||
372 | ] | ||
373 | LabelGraphics | ||
374 | [ | ||
375 | text "null" | ||
376 | outline "#000000" | ||
377 | fill "#FFFFFF" | ||
378 | fontSize 16 | ||
379 | fontName "Monospace" | ||
380 | autoSizePolicy "node_width" | ||
381 | anchor "t" | ||
382 | borderDistance 0.0 | ||
383 | ] | ||
384 | LabelGraphics | ||
385 | [ | ||
386 | text " | ||
387 | Object class | ||
388 | " | ||
389 | fontSize 14 | ||
390 | fontName "Consolas" | ||
391 | alignment "left" | ||
392 | anchor "tl" | ||
393 | borderDistance 6 | ||
394 | ] | ||
395 | ] | ||
396 | |||
397 | node | ||
398 | [ | ||
399 | id 11 | ||
400 | graphics | ||
401 | [ | ||
402 | w 112.2 | ||
403 | h 26 | ||
404 | type "rectangle" | ||
405 | fill "#FFFFFF" | ||
406 | fill2 "#FFFFFF" | ||
407 | outline "#000000" | ||
408 | ] | ||
409 | LabelGraphics | ||
410 | [ | ||
411 | text "New Integers" | ||
412 | outline "#000000" | ||
413 | fill "#FFFFFF" | ||
414 | fontSize 16 | ||
415 | fontName "Monospace" | ||
416 | autoSizePolicy "node_width" | ||
417 | anchor "t" | ||
418 | borderDistance 0.0 | ||
419 | ] | ||
420 | LabelGraphics | ||
421 | [ | ||
422 | text " | ||
423 | " | ||
424 | fontSize 14 | ||
425 | fontName "Consolas" | ||
426 | alignment "left" | ||
427 | anchor "tl" | ||
428 | borderDistance 6 | ||
429 | ] | ||
430 | ] | ||
431 | |||
432 | node | ||
433 | [ | ||
434 | id 12 | ||
435 | graphics | ||
436 | [ | ||
437 | w 85.80000000000001 | ||
438 | h 26 | ||
439 | type "rectangle" | ||
440 | fill "#FFFFFF" | ||
441 | fill2 "#FFFFFF" | ||
442 | outline "#000000" | ||
443 | ] | ||
444 | LabelGraphics | ||
445 | [ | ||
446 | text "New Reals" | ||
447 | outline "#000000" | ||
448 | fill "#FFFFFF" | ||
449 | fontSize 16 | ||
450 | fontName "Monospace" | ||
451 | autoSizePolicy "node_width" | ||
452 | anchor "t" | ||
453 | borderDistance 0.0 | ||
454 | ] | ||
455 | LabelGraphics | ||
456 | [ | ||
457 | text " | ||
458 | " | ||
459 | fontSize 14 | ||
460 | fontName "Consolas" | ||
461 | alignment "left" | ||
462 | anchor "tl" | ||
463 | borderDistance 6 | ||
464 | ] | ||
465 | ] | ||
466 | |||
467 | node | ||
468 | [ | ||
469 | id 13 | ||
470 | graphics | ||
471 | [ | ||
472 | w 103.4 | ||
473 | h 26 | ||
474 | type "rectangle" | ||
475 | fill "#FFFFFF" | ||
476 | fill2 "#FFFFFF" | ||
477 | outline "#000000" | ||
478 | ] | ||
479 | LabelGraphics | ||
480 | [ | ||
481 | text "New Strings" | ||
482 | outline "#000000" | ||
483 | fill "#FFFFFF" | ||
484 | fontSize 16 | ||
485 | fontName "Monospace" | ||
486 | autoSizePolicy "node_width" | ||
487 | anchor "t" | ||
488 | borderDistance 0.0 | ||
489 | ] | ||
490 | LabelGraphics | ||
491 | [ | ||
492 | text " | ||
493 | " | ||
494 | fontSize 14 | ||
495 | fontName "Consolas" | ||
496 | alignment "left" | ||
497 | anchor "tl" | ||
498 | borderDistance 6 | ||
499 | ] | ||
500 | ] | ||
501 | |||
502 | node | ||
503 | [ | ||
504 | id 14 | ||
505 | graphics | ||
506 | [ | ||
507 | w 103.4 | ||
508 | h 26 | ||
509 | type "rectangle" | ||
510 | fill "#FFFFFF" | ||
511 | fill2 "#FFFFFF" | ||
512 | outline "#000000" | ||
513 | ] | ||
514 | LabelGraphics | ||
515 | [ | ||
516 | text "New Objects" | ||
517 | outline "#000000" | ||
518 | fill "#FFFFFF" | ||
519 | fontSize 16 | ||
520 | fontName "Monospace" | ||
521 | autoSizePolicy "node_width" | ||
522 | anchor "t" | ||
523 | borderDistance 0.0 | ||
524 | ] | ||
525 | LabelGraphics | ||
526 | [ | ||
527 | text " | ||
528 | " | ||
529 | fontSize 14 | ||
530 | fontName "Consolas" | ||
531 | alignment "left" | ||
532 | anchor "tl" | ||
533 | borderDistance 6 | ||
534 | ] | ||
535 | ] | ||
536 | edge | ||
537 | [ | ||
538 | source 2 | ||
539 | target 3 | ||
540 | graphics | ||
541 | [ | ||
542 | fill "#000000" | ||
543 | width 3 | ||
544 | targetArrow "standard" | ||
545 | ] | ||
546 | LabelGraphics | ||
547 | [ | ||
548 | text "first reference List" | ||
549 | fontSize 14 | ||
550 | fontName "Consolas" | ||
551 | configuration "AutoFlippingLabel" | ||
552 | model "six_pos" | ||
553 | position "thead" | ||
554 | ] | ||
555 | ] | ||
556 | edge | ||
557 | [ | ||
558 | source 3 | ||
559 | target 4 | ||
560 | graphics | ||
561 | [ | ||
562 | fill "#000000" | ||
563 | width 3 | ||
564 | targetArrow "standard" | ||
565 | ] | ||
566 | LabelGraphics | ||
567 | [ | ||
568 | text "value reference Element" | ||
569 | fontSize 14 | ||
570 | fontName "Consolas" | ||
571 | configuration "AutoFlippingLabel" | ||
572 | model "six_pos" | ||
573 | position "thead" | ||
574 | ] | ||
575 | ] | ||
576 | edge | ||
577 | [ | ||
578 | source 5 | ||
579 | target 6 | ||
580 | graphics | ||
581 | [ | ||
582 | fill "#000000" | ||
583 | width 3 | ||
584 | targetArrow "standard" | ||
585 | ] | ||
586 | LabelGraphics | ||
587 | [ | ||
588 | text "value reference Element" | ||
589 | fontSize 14 | ||
590 | fontName "Consolas" | ||
591 | configuration "AutoFlippingLabel" | ||
592 | model "six_pos" | ||
593 | position "thead" | ||
594 | ] | ||
595 | ] | ||
596 | edge | ||
597 | [ | ||
598 | source 7 | ||
599 | target 8 | ||
600 | graphics | ||
601 | [ | ||
602 | fill "#000000" | ||
603 | width 3 | ||
604 | targetArrow "standard" | ||
605 | ] | ||
606 | LabelGraphics | ||
607 | [ | ||
608 | text "value reference Element" | ||
609 | fontSize 14 | ||
610 | fontName "Consolas" | ||
611 | configuration "AutoFlippingLabel" | ||
612 | model "six_pos" | ||
613 | position "thead" | ||
614 | ] | ||
615 | ] | ||
616 | edge | ||
617 | [ | ||
618 | source 9 | ||
619 | target 10 | ||
620 | graphics | ||
621 | [ | ||
622 | fill "#000000" | ||
623 | width 3 | ||
624 | targetArrow "standard" | ||
625 | ] | ||
626 | LabelGraphics | ||
627 | [ | ||
628 | text "value reference Element" | ||
629 | fontSize 14 | ||
630 | fontName "Consolas" | ||
631 | configuration "AutoFlippingLabel" | ||
632 | model "six_pos" | ||
633 | position "thead" | ||
634 | ] | ||
635 | ] | ||
636 | edge | ||
637 | [ | ||
638 | source 3 | ||
639 | target 5 | ||
640 | graphics | ||
641 | [ | ||
642 | fill "#000000" | ||
643 | width 3 | ||
644 | targetArrow "standard" | ||
645 | ] | ||
646 | LabelGraphics | ||
647 | [ | ||
648 | text "next reference Element" | ||
649 | fontSize 14 | ||
650 | fontName "Consolas" | ||
651 | configuration "AutoFlippingLabel" | ||
652 | model "six_pos" | ||
653 | position "thead" | ||
654 | ] | ||
655 | ] | ||
656 | edge | ||
657 | [ | ||
658 | source 5 | ||
659 | target 7 | ||
660 | graphics | ||
661 | [ | ||
662 | fill "#000000" | ||
663 | width 3 | ||
664 | targetArrow "standard" | ||
665 | ] | ||
666 | LabelGraphics | ||
667 | [ | ||
668 | text "next reference Element" | ||
669 | fontSize 14 | ||
670 | fontName "Consolas" | ||
671 | configuration "AutoFlippingLabel" | ||
672 | model "six_pos" | ||
673 | position "thead" | ||
674 | ] | ||
675 | ] | ||
676 | edge | ||
677 | [ | ||
678 | source 7 | ||
679 | target 9 | ||
680 | graphics | ||
681 | [ | ||
682 | fill "#000000" | ||
683 | width 3 | ||
684 | targetArrow "standard" | ||
685 | ] | ||
686 | LabelGraphics | ||
687 | [ | ||
688 | text "next reference Element" | ||
689 | fontSize 14 | ||
690 | fontName "Consolas" | ||
691 | configuration "AutoFlippingLabel" | ||
692 | model "six_pos" | ||
693 | position "thead" | ||
694 | ] | ||
695 | ] | ||
696 | ] | ||
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleLLNEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleLLNEIGHBOURHOOD.gml new file mode 100644 index 00000000..2ad22a58 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleLLNEIGHBOURHOOD.gml | |||
@@ -0,0 +1,336 @@ | |||
1 | graph | ||
2 | [ | ||
3 | node | ||
4 | [ | ||
5 | id 0 | ||
6 | graphics | ||
7 | [ | ||
8 | w 145.20000000000002 | ||
9 | h 40 | ||
10 | type "roundrectangle" | ||
11 | fill "#FFCC00" | ||
12 | outline "#000000" | ||
13 | ] | ||
14 | LabelGraphics | ||
15 | [ | ||
16 | ] | ||
17 | LabelGraphics | ||
18 | [ | ||
19 | text "[Object class] (4)" | ||
20 | fontSize 14 | ||
21 | fontName "Dialog" | ||
22 | ] | ||
23 | ] | ||
24 | node | ||
25 | [ | ||
26 | id 1 | ||
27 | graphics | ||
28 | [ | ||
29 | w 129.8 | ||
30 | h 40 | ||
31 | type "roundrectangle" | ||
32 | fill "#FFCC00" | ||
33 | outline "#000000" | ||
34 | ] | ||
35 | LabelGraphics | ||
36 | [ | ||
37 | ] | ||
38 | LabelGraphics | ||
39 | [ | ||
40 | text "[List class] (1)" | ||
41 | fontSize 14 | ||
42 | fontName "Dialog" | ||
43 | ] | ||
44 | ] | ||
45 | node | ||
46 | [ | ||
47 | id 2 | ||
48 | graphics | ||
49 | [ | ||
50 | w 152.9 | ||
51 | h 40 | ||
52 | type "roundrectangle" | ||
53 | fill "#FFCC00" | ||
54 | outline "#000000" | ||
55 | ] | ||
56 | LabelGraphics | ||
57 | [ | ||
58 | ] | ||
59 | LabelGraphics | ||
60 | [ | ||
61 | text "[Element class] (1)" | ||
62 | fontSize 14 | ||
63 | fontName "Dialog" | ||
64 | ] | ||
65 | ] | ||
66 | node | ||
67 | [ | ||
68 | id 3 | ||
69 | graphics | ||
70 | [ | ||
71 | w 152.9 | ||
72 | h 40 | ||
73 | type "roundrectangle" | ||
74 | fill "#FFCC00" | ||
75 | outline "#000000" | ||
76 | ] | ||
77 | LabelGraphics | ||
78 | [ | ||
79 | ] | ||
80 | LabelGraphics | ||
81 | [ | ||
82 | text "[Element class] (1)" | ||
83 | fontSize 14 | ||
84 | fontName "Dialog" | ||
85 | ] | ||
86 | ] | ||
87 | node | ||
88 | [ | ||
89 | id 4 | ||
90 | graphics | ||
91 | [ | ||
92 | w 152.9 | ||
93 | h 40 | ||
94 | type "roundrectangle" | ||
95 | fill "#FFCC00" | ||
96 | outline "#000000" | ||
97 | ] | ||
98 | LabelGraphics | ||
99 | [ | ||
100 | ] | ||
101 | LabelGraphics | ||
102 | [ | ||
103 | text "[Element class] (2)" | ||
104 | fontSize 14 | ||
105 | fontName "Dialog" | ||
106 | ] | ||
107 | ] | ||
108 | edge | ||
109 | [ | ||
110 | source 1 | ||
111 | target 2 | ||
112 | label "first reference List" | ||
113 | graphics | ||
114 | [ | ||
115 | fill "#000000" | ||
116 | targetArrow "standard" | ||
117 | ] | ||
118 | LabelGraphics | ||
119 | [ | ||
120 | text "first reference List" | ||
121 | fontSize 12 | ||
122 | fontName "Dialog" | ||
123 | configuration "AutoFlippingLabel" | ||
124 | model "six_pos" | ||
125 | position "head" | ||
126 | ] | ||
127 | LabelGraphics | ||
128 | [ | ||
129 | text "[1]" | ||
130 | fontSize 12 | ||
131 | fontName "Dialog" | ||
132 | configuration "AutoFlippingLabel" | ||
133 | model "six_pos" | ||
134 | position "stail" | ||
135 | ] | ||
136 | LabelGraphics | ||
137 | [ | ||
138 | text "[1]" | ||
139 | fontSize 12 | ||
140 | fontName "Dialog" | ||
141 | configuration "AutoFlippingLabel" | ||
142 | model "six_pos" | ||
143 | position "ttail" | ||
144 | ] | ||
145 | ] | ||
146 | edge | ||
147 | [ | ||
148 | source 2 | ||
149 | target 4 | ||
150 | label "next reference Element" | ||
151 | graphics | ||
152 | [ | ||
153 | fill "#000000" | ||
154 | targetArrow "standard" | ||
155 | ] | ||
156 | LabelGraphics | ||
157 | [ | ||
158 | text "next reference Element" | ||
159 | fontSize 12 | ||
160 | fontName "Dialog" | ||
161 | configuration "AutoFlippingLabel" | ||
162 | model "six_pos" | ||
163 | position "head" | ||
164 | ] | ||
165 | LabelGraphics | ||
166 | [ | ||
167 | text "[1]" | ||
168 | fontSize 12 | ||
169 | fontName "Dialog" | ||
170 | configuration "AutoFlippingLabel" | ||
171 | model "six_pos" | ||
172 | position "stail" | ||
173 | ] | ||
174 | LabelGraphics | ||
175 | [ | ||
176 | text "[1, 0]" | ||
177 | fontSize 12 | ||
178 | fontName "Dialog" | ||
179 | configuration "AutoFlippingLabel" | ||
180 | model "six_pos" | ||
181 | position "ttail" | ||
182 | ] | ||
183 | ] | ||
184 | edge | ||
185 | [ | ||
186 | source 2 | ||
187 | target 0 | ||
188 | label "value reference Element" | ||
189 | graphics | ||
190 | [ | ||
191 | fill "#000000" | ||
192 | targetArrow "standard" | ||
193 | ] | ||
194 | LabelGraphics | ||
195 | [ | ||
196 | text "value reference Element" | ||
197 | fontSize 12 | ||
198 | fontName "Dialog" | ||
199 | configuration "AutoFlippingLabel" | ||
200 | model "six_pos" | ||
201 | position "head" | ||
202 | ] | ||
203 | LabelGraphics | ||
204 | [ | ||
205 | text "[1]" | ||
206 | fontSize 12 | ||
207 | fontName "Dialog" | ||
208 | configuration "AutoFlippingLabel" | ||
209 | model "six_pos" | ||
210 | position "stail" | ||
211 | ] | ||
212 | LabelGraphics | ||
213 | [ | ||
214 | text "[1, 0, 0]" | ||
215 | fontSize 12 | ||
216 | fontName "Dialog" | ||
217 | configuration "AutoFlippingLabel" | ||
218 | model "six_pos" | ||
219 | position "ttail" | ||
220 | ] | ||
221 | ] | ||
222 | edge | ||
223 | [ | ||
224 | source 3 | ||
225 | target 0 | ||
226 | label "value reference Element" | ||
227 | graphics | ||
228 | [ | ||
229 | fill "#000000" | ||
230 | targetArrow "standard" | ||
231 | ] | ||
232 | LabelGraphics | ||
233 | [ | ||
234 | text "value reference Element" | ||
235 | fontSize 12 | ||
236 | fontName "Dialog" | ||
237 | configuration "AutoFlippingLabel" | ||
238 | model "six_pos" | ||
239 | position "head" | ||
240 | ] | ||
241 | LabelGraphics | ||
242 | [ | ||
243 | text "[1]" | ||
244 | fontSize 12 | ||
245 | fontName "Dialog" | ||
246 | configuration "AutoFlippingLabel" | ||
247 | model "six_pos" | ||
248 | position "stail" | ||
249 | ] | ||
250 | LabelGraphics | ||
251 | [ | ||
252 | text "[1, 0, 0]" | ||
253 | fontSize 12 | ||
254 | fontName "Dialog" | ||
255 | configuration "AutoFlippingLabel" | ||
256 | model "six_pos" | ||
257 | position "ttail" | ||
258 | ] | ||
259 | ] | ||
260 | edge | ||
261 | [ | ||
262 | source 4 | ||
263 | target 3 | ||
264 | label "next reference Element" | ||
265 | graphics | ||
266 | [ | ||
267 | fill "#000000" | ||
268 | targetArrow "standard" | ||
269 | ] | ||
270 | LabelGraphics | ||
271 | [ | ||
272 | text "next reference Element" | ||
273 | fontSize 12 | ||
274 | fontName "Dialog" | ||
275 | configuration "AutoFlippingLabel" | ||
276 | model "six_pos" | ||
277 | position "head" | ||
278 | ] | ||
279 | LabelGraphics | ||
280 | [ | ||
281 | text "[1, 1]" | ||
282 | fontSize 12 | ||
283 | fontName "Dialog" | ||
284 | configuration "AutoFlippingLabel" | ||
285 | model "six_pos" | ||
286 | position "stail" | ||
287 | ] | ||
288 | LabelGraphics | ||
289 | [ | ||
290 | text "[1]" | ||
291 | fontSize 12 | ||
292 | fontName "Dialog" | ||
293 | configuration "AutoFlippingLabel" | ||
294 | model "six_pos" | ||
295 | position "ttail" | ||
296 | ] | ||
297 | ] | ||
298 | edge | ||
299 | [ | ||
300 | source 4 | ||
301 | target 0 | ||
302 | label "value reference Element" | ||
303 | graphics | ||
304 | [ | ||
305 | fill "#000000" | ||
306 | targetArrow "standard" | ||
307 | ] | ||
308 | LabelGraphics | ||
309 | [ | ||
310 | text "value reference Element" | ||
311 | fontSize 12 | ||
312 | fontName "Dialog" | ||
313 | configuration "AutoFlippingLabel" | ||
314 | model "six_pos" | ||
315 | position "head" | ||
316 | ] | ||
317 | LabelGraphics | ||
318 | [ | ||
319 | text "[1, 1]" | ||
320 | fontSize 12 | ||
321 | fontName "Dialog" | ||
322 | configuration "AutoFlippingLabel" | ||
323 | model "six_pos" | ||
324 | position "stail" | ||
325 | ] | ||
326 | LabelGraphics | ||
327 | [ | ||
328 | text "[1, 0, 0]" | ||
329 | fontSize 12 | ||
330 | fontName "Dialog" | ||
331 | configuration "AutoFlippingLabel" | ||
332 | model "six_pos" | ||
333 | position "ttail" | ||
334 | ] | ||
335 | ] | ||
336 | ] | ||
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/unnames.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/unnames.gml new file mode 100644 index 00000000..61ab66f5 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/unnames.gml | |||
@@ -0,0 +1,90 @@ | |||
1 | Creator "yFiles" | ||
2 | Version "2.16" | ||
3 | graph | ||
4 | [ | ||
5 | hierarchic 1 | ||
6 | label "" | ||
7 | directed 1 | ||
8 | node | ||
9 | [ | ||
10 | id 0 | ||
11 | label "" | ||
12 | graphics | ||
13 | [ | ||
14 | x 370.0 | ||
15 | y 238.0 | ||
16 | w 124.0 | ||
17 | h 90.0 | ||
18 | type "roundrectangle" | ||
19 | raisedBorder 0 | ||
20 | fill "#FFCC00" | ||
21 | outline "#000000" | ||
22 | ] | ||
23 | LabelGraphics | ||
24 | [ | ||
25 | ] | ||
26 | LabelGraphics | ||
27 | [ | ||
28 | text "label1" | ||
29 | fontSize 12 | ||
30 | fontName "Dialog" | ||
31 | anchor "c" | ||
32 | ] | ||
33 | ] | ||
34 | node | ||
35 | [ | ||
36 | id 1 | ||
37 | label "" | ||
38 | graphics | ||
39 | [ | ||
40 | x 876.0 | ||
41 | y 238.0 | ||
42 | w 30.0 | ||
43 | h 30.0 | ||
44 | type "roundrectangle" | ||
45 | raisedBorder 0 | ||
46 | fill "#FFCC00" | ||
47 | outline "#000000" | ||
48 | ] | ||
49 | LabelGraphics | ||
50 | [ | ||
51 | ] | ||
52 | ] | ||
53 | edge | ||
54 | [ | ||
55 | source 0 | ||
56 | target 1 | ||
57 | graphics | ||
58 | [ | ||
59 | fill "#000000" | ||
60 | targetArrow "standard" | ||
61 | ] | ||
62 | LabelGraphics | ||
63 | [ | ||
64 | text "name" | ||
65 | fontSize 12 | ||
66 | fontName "Dialog" | ||
67 | configuration "AutoFlippingLabel" | ||
68 | model "six_pos" | ||
69 | position "tail" | ||
70 | ] | ||
71 | LabelGraphics | ||
72 | [ | ||
73 | text "m1" | ||
74 | fontSize 12 | ||
75 | fontName "Dialog" | ||
76 | configuration "AutoFlippingLabel" | ||
77 | model "six_pos" | ||
78 | position "stail" | ||
79 | ] | ||
80 | LabelGraphics | ||
81 | [ | ||
82 | text "m2" | ||
83 | fontSize 12 | ||
84 | fontName "Dialog" | ||
85 | configuration "AutoFlippingLabel" | ||
86 | model "six_pos" | ||
87 | position "ttail" | ||
88 | ] | ||
89 | ] | ||
90 | ] | ||