aboutsummaryrefslogtreecommitdiffstats
path: root/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-05-19 04:57:59 -0400
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-05-19 04:57:59 -0400
commit250722c453223a238192fda8db9e692ea776afc7 (patch)
treed3ba95ae84e0119cb222cf9d3540f6a944cc7321 /Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs
parentadd inital metrics project (diff)
downloadVIATRA-Generator-250722c453223a238192fda8db9e692ea776afc7.tar.gz
VIATRA-Generator-250722c453223a238192fda8db9e692ea776afc7.tar.zst
VIATRA-Generator-250722c453223a238192fda8db9e692ea776afc7.zip
REALMET: first impl of n'hood visualis. minor bug with adding outgng 0s.
Diffstat (limited to 'Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs')
-rw-r--r--Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModel.gml1891
-rw-r--r--Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModelMODEL.gml1562
-rw-r--r--Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModelNEIGHBOURHOOD.gml0
-rw-r--r--Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleLLMODEL.gml696
-rw-r--r--Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleLLNEIGHBOURHOOD.gml336
-rw-r--r--Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/unnames.gml90
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 @@
1Creator "yFiles"
2Version "2.16"
3graph
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 @@
1graph
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 @@
1graph
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 @@
1graph
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 @@
1Creator "yFiles"
2Version "2.16"
3graph
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]
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-03 14:52:47 +0000