diff options
Diffstat (limited to 'Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/cycleMODEL.gml')
-rw-r--r-- | Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/cycleMODEL.gml | 752 |
1 files changed, 752 insertions, 0 deletions
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/cycleMODEL.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/cycleMODEL.gml new file mode 100644 index 00000000..2dd8a1d8 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/cycleMODEL.gml | |||
@@ -0,0 +1,752 @@ | |||
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 115.50000000000001 | ||
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 | Element 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 115.50000000000001 | ||
403 | h 40 | ||
404 | type "rectangle" | ||
405 | fill "#FFFFFF" | ||
406 | fill2 "#FFFFFF" | ||
407 | outline "#000000" | ||
408 | ] | ||
409 | LabelGraphics | ||
410 | [ | ||
411 | text "null" | ||
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 | Element class | ||
424 | " | ||
425 | fontSize 14 | ||
426 | fontName "Consolas" | ||
427 | alignment "left" | ||
428 | anchor "tl" | ||
429 | borderDistance 6 | ||
430 | ] | ||
431 | ] | ||
432 | |||
433 | node | ||
434 | [ | ||
435 | id 12 | ||
436 | graphics | ||
437 | [ | ||
438 | w 112.2 | ||
439 | h 26 | ||
440 | type "rectangle" | ||
441 | fill "#FFFFFF" | ||
442 | fill2 "#FFFFFF" | ||
443 | outline "#000000" | ||
444 | ] | ||
445 | LabelGraphics | ||
446 | [ | ||
447 | text "New Integers" | ||
448 | outline "#000000" | ||
449 | fill "#FFFFFF" | ||
450 | fontSize 16 | ||
451 | fontName "Monospace" | ||
452 | autoSizePolicy "node_width" | ||
453 | anchor "t" | ||
454 | borderDistance 0.0 | ||
455 | ] | ||
456 | LabelGraphics | ||
457 | [ | ||
458 | text " | ||
459 | " | ||
460 | fontSize 14 | ||
461 | fontName "Consolas" | ||
462 | alignment "left" | ||
463 | anchor "tl" | ||
464 | borderDistance 6 | ||
465 | ] | ||
466 | ] | ||
467 | |||
468 | node | ||
469 | [ | ||
470 | id 13 | ||
471 | graphics | ||
472 | [ | ||
473 | w 85.80000000000001 | ||
474 | h 26 | ||
475 | type "rectangle" | ||
476 | fill "#FFFFFF" | ||
477 | fill2 "#FFFFFF" | ||
478 | outline "#000000" | ||
479 | ] | ||
480 | LabelGraphics | ||
481 | [ | ||
482 | text "New Reals" | ||
483 | outline "#000000" | ||
484 | fill "#FFFFFF" | ||
485 | fontSize 16 | ||
486 | fontName "Monospace" | ||
487 | autoSizePolicy "node_width" | ||
488 | anchor "t" | ||
489 | borderDistance 0.0 | ||
490 | ] | ||
491 | LabelGraphics | ||
492 | [ | ||
493 | text " | ||
494 | " | ||
495 | fontSize 14 | ||
496 | fontName "Consolas" | ||
497 | alignment "left" | ||
498 | anchor "tl" | ||
499 | borderDistance 6 | ||
500 | ] | ||
501 | ] | ||
502 | |||
503 | node | ||
504 | [ | ||
505 | id 14 | ||
506 | graphics | ||
507 | [ | ||
508 | w 103.4 | ||
509 | h 26 | ||
510 | type "rectangle" | ||
511 | fill "#FFFFFF" | ||
512 | fill2 "#FFFFFF" | ||
513 | outline "#000000" | ||
514 | ] | ||
515 | LabelGraphics | ||
516 | [ | ||
517 | text "New Strings" | ||
518 | outline "#000000" | ||
519 | fill "#FFFFFF" | ||
520 | fontSize 16 | ||
521 | fontName "Monospace" | ||
522 | autoSizePolicy "node_width" | ||
523 | anchor "t" | ||
524 | borderDistance 0.0 | ||
525 | ] | ||
526 | LabelGraphics | ||
527 | [ | ||
528 | text " | ||
529 | " | ||
530 | fontSize 14 | ||
531 | fontName "Consolas" | ||
532 | alignment "left" | ||
533 | anchor "tl" | ||
534 | borderDistance 6 | ||
535 | ] | ||
536 | ] | ||
537 | |||
538 | node | ||
539 | [ | ||
540 | id 15 | ||
541 | graphics | ||
542 | [ | ||
543 | w 103.4 | ||
544 | h 26 | ||
545 | type "rectangle" | ||
546 | fill "#FFFFFF" | ||
547 | fill2 "#FFFFFF" | ||
548 | outline "#000000" | ||
549 | ] | ||
550 | LabelGraphics | ||
551 | [ | ||
552 | text "New Objects" | ||
553 | outline "#000000" | ||
554 | fill "#FFFFFF" | ||
555 | fontSize 16 | ||
556 | fontName "Monospace" | ||
557 | autoSizePolicy "node_width" | ||
558 | anchor "t" | ||
559 | borderDistance 0.0 | ||
560 | ] | ||
561 | LabelGraphics | ||
562 | [ | ||
563 | text " | ||
564 | " | ||
565 | fontSize 14 | ||
566 | fontName "Consolas" | ||
567 | alignment "left" | ||
568 | anchor "tl" | ||
569 | borderDistance 6 | ||
570 | ] | ||
571 | ] | ||
572 | edge | ||
573 | [ | ||
574 | source 3 | ||
575 | target 4 | ||
576 | graphics | ||
577 | [ | ||
578 | fill "#000000" | ||
579 | width 3 | ||
580 | targetArrow "standard" | ||
581 | ] | ||
582 | LabelGraphics | ||
583 | [ | ||
584 | text "value reference Element" | ||
585 | fontSize 14 | ||
586 | fontName "Consolas" | ||
587 | configuration "AutoFlippingLabel" | ||
588 | model "six_pos" | ||
589 | position "thead" | ||
590 | ] | ||
591 | ] | ||
592 | edge | ||
593 | [ | ||
594 | source 5 | ||
595 | target 6 | ||
596 | graphics | ||
597 | [ | ||
598 | fill "#000000" | ||
599 | width 3 | ||
600 | targetArrow "standard" | ||
601 | ] | ||
602 | LabelGraphics | ||
603 | [ | ||
604 | text "value reference Element" | ||
605 | fontSize 14 | ||
606 | fontName "Consolas" | ||
607 | configuration "AutoFlippingLabel" | ||
608 | model "six_pos" | ||
609 | position "thead" | ||
610 | ] | ||
611 | ] | ||
612 | edge | ||
613 | [ | ||
614 | source 7 | ||
615 | target 8 | ||
616 | graphics | ||
617 | [ | ||
618 | fill "#000000" | ||
619 | width 3 | ||
620 | targetArrow "standard" | ||
621 | ] | ||
622 | LabelGraphics | ||
623 | [ | ||
624 | text "value reference Element" | ||
625 | fontSize 14 | ||
626 | fontName "Consolas" | ||
627 | configuration "AutoFlippingLabel" | ||
628 | model "six_pos" | ||
629 | position "thead" | ||
630 | ] | ||
631 | ] | ||
632 | edge | ||
633 | [ | ||
634 | source 9 | ||
635 | target 10 | ||
636 | graphics | ||
637 | [ | ||
638 | fill "#000000" | ||
639 | width 3 | ||
640 | targetArrow "standard" | ||
641 | ] | ||
642 | LabelGraphics | ||
643 | [ | ||
644 | text "value reference Element" | ||
645 | fontSize 14 | ||
646 | fontName "Consolas" | ||
647 | configuration "AutoFlippingLabel" | ||
648 | model "six_pos" | ||
649 | position "thead" | ||
650 | ] | ||
651 | ] | ||
652 | edge | ||
653 | [ | ||
654 | source 2 | ||
655 | target 3 | ||
656 | graphics | ||
657 | [ | ||
658 | fill "#000000" | ||
659 | width 3 | ||
660 | targetArrow "standard" | ||
661 | ] | ||
662 | LabelGraphics | ||
663 | [ | ||
664 | text "next reference Element" | ||
665 | fontSize 14 | ||
666 | fontName "Consolas" | ||
667 | configuration "AutoFlippingLabel" | ||
668 | model "six_pos" | ||
669 | position "thead" | ||
670 | ] | ||
671 | ] | ||
672 | edge | ||
673 | [ | ||
674 | source 3 | ||
675 | target 5 | ||
676 | graphics | ||
677 | [ | ||
678 | fill "#000000" | ||
679 | width 3 | ||
680 | targetArrow "standard" | ||
681 | ] | ||
682 | LabelGraphics | ||
683 | [ | ||
684 | text "next reference Element" | ||
685 | fontSize 14 | ||
686 | fontName "Consolas" | ||
687 | configuration "AutoFlippingLabel" | ||
688 | model "six_pos" | ||
689 | position "thead" | ||
690 | ] | ||
691 | ] | ||
692 | edge | ||
693 | [ | ||
694 | source 5 | ||
695 | target 7 | ||
696 | graphics | ||
697 | [ | ||
698 | fill "#000000" | ||
699 | width 3 | ||
700 | targetArrow "standard" | ||
701 | ] | ||
702 | LabelGraphics | ||
703 | [ | ||
704 | text "next reference Element" | ||
705 | fontSize 14 | ||
706 | fontName "Consolas" | ||
707 | configuration "AutoFlippingLabel" | ||
708 | model "six_pos" | ||
709 | position "thead" | ||
710 | ] | ||
711 | ] | ||
712 | edge | ||
713 | [ | ||
714 | source 7 | ||
715 | target 9 | ||
716 | graphics | ||
717 | [ | ||
718 | fill "#000000" | ||
719 | width 3 | ||
720 | targetArrow "standard" | ||
721 | ] | ||
722 | LabelGraphics | ||
723 | [ | ||
724 | text "next reference Element" | ||
725 | fontSize 14 | ||
726 | fontName "Consolas" | ||
727 | configuration "AutoFlippingLabel" | ||
728 | model "six_pos" | ||
729 | position "thead" | ||
730 | ] | ||
731 | ] | ||
732 | edge | ||
733 | [ | ||
734 | source 9 | ||
735 | target 11 | ||
736 | graphics | ||
737 | [ | ||
738 | fill "#000000" | ||
739 | width 3 | ||
740 | targetArrow "standard" | ||
741 | ] | ||
742 | LabelGraphics | ||
743 | [ | ||
744 | text "next reference Element" | ||
745 | fontSize 14 | ||
746 | fontName "Consolas" | ||
747 | configuration "AutoFlippingLabel" | ||
748 | model "six_pos" | ||
749 | position "thead" | ||
750 | ] | ||
751 | ] | ||
752 | ] | ||