aboutsummaryrefslogtreecommitdiffstats
path: root/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs
diff options
context:
space:
mode:
Diffstat (limited to 'Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs')
-rw-r--r--Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/IRREALISTIC1NEIGHBOURHOOD.gml440
-rw-r--r--Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/REALISTIC1NEIGHBOURHOOD.gml520
-rw-r--r--Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/cycleMODEL.gml752
-rw-r--r--Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/cycleNEIGHBOURHOOD.gml210
-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.gml724
-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/simpleSCIrrealistic0NEIGHBOURHOOD.gml304
-rw-r--r--Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic1NEIGHBOURHOOD.gml374
-rw-r--r--Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic2NEIGHBOURHOOD.gml560
-rw-r--r--Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic3NEIGHBOURHOOD.gml639
-rw-r--r--Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealisticMODEL.gml698
-rw-r--r--Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic0NEIGHBOURHOOD.gml314
-rw-r--r--Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic1NEIGHBOURHOOD.gml621
-rw-r--r--Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic2NEIGHBOURHOOD.gml559
-rw-r--r--Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic3NEIGHBOURHOOD.gml599
-rw-r--r--Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealisticMODEL.gml736
-rw-r--r--Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/unnames.gml90
20 files changed, 12625 insertions, 0 deletions
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/IRREALISTIC1NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/IRREALISTIC1NEIGHBOURHOOD.gml
new file mode 100644
index 00000000..ef560678
--- /dev/null
+++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/IRREALISTIC1NEIGHBOURHOOD.gml
@@ -0,0 +1,440 @@
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 -352.0
15 y -118.0
16 w 137.5
17 h 40.0
18 type "roundrectangle"
19 fill "#FFCC00"
20 outline "#000000"
21 ]
22 LabelGraphics
23 [
24 ]
25 LabelGraphics
26 [
27 text "[Entry class] (1)"
28 fontSize 14
29 fontName "Dialog"
30 anchor "c"
31 ]
32 ]
33 node
34 [
35 id 1
36 label ""
37 graphics
38 [
39 x 319.0
40 y 34.0
41 w 137.5
42 h 40.0
43 type "roundrectangle"
44 fill "#FFCC00"
45 outline "#000000"
46 ]
47 LabelGraphics
48 [
49 ]
50 LabelGraphics
51 [
52 text "[State class] (4)"
53 fontSize 14
54 fontName "Dialog"
55 anchor "c"
56 ]
57 ]
58 node
59 [
60 id 2
61 label ""
62 graphics
63 [
64 x 75.0
65 y -196.0
66 w 176.0
67 h 40.0
68 type "roundrectangle"
69 fill "#FFCC00"
70 outline "#000000"
71 ]
72 LabelGraphics
73 [
74 ]
75 LabelGraphics
76 [
77 text "[Statechart class] (1)"
78 fontSize 14
79 fontName "Dialog"
80 anchor "c"
81 ]
82 ]
83 node
84 [
85 id 3
86 label ""
87 graphics
88 [
89 x 90.0
90 y 247.0
91 w 137.5
92 h 40.0
93 type "roundrectangle"
94 fill "#FFCC00"
95 outline "#000000"
96 ]
97 LabelGraphics
98 [
99 ]
100 LabelGraphics
101 [
102 text "[State class] (1)"
103 fontSize 14
104 fontName "Dialog"
105 anchor "c"
106 ]
107 ]
108 edge
109 [
110 source 0
111 target 3
112 label "entry reference Entry"
113 graphics
114 [
115 fill "#000000"
116 targetArrow "standard"
117 Line
118 [
119 point
120 [
121 x -352.0
122 y -118.0
123 ]
124 point
125 [
126 x -362.0
127 y 247.0
128 ]
129 point
130 [
131 x 90.0
132 y 247.0
133 ]
134 ]
135 ]
136 edgeAnchor
137 [
138 xSource -0.14545454545454545
139 ]
140 LabelGraphics
141 [
142 text "entry reference Entry"
143 fontSize 12
144 fontName "Dialog"
145 configuration "AutoFlippingLabel"
146 contentWidth 116.048828125
147 contentHeight 18.701171875
148 model "six_pos"
149 position "head"
150 ]
151 LabelGraphics
152 [
153 text "[1]"
154 fontSize 12
155 fontName "Dialog"
156 configuration "AutoFlippingLabel"
157 contentWidth 17.341796875
158 contentHeight 18.701171875
159 model "six_pos"
160 position "stail"
161 ]
162 LabelGraphics
163 [
164 text "[1]"
165 fontSize 12
166 fontName "Dialog"
167 configuration "AutoFlippingLabel"
168 contentWidth 17.341796875
169 contentHeight 18.701171875
170 model "six_pos"
171 position "ttail"
172 ]
173 ]
174 edge
175 [
176 source 1
177 target 1
178 label "next reference State"
179 graphics
180 [
181 fill "#000000"
182 targetArrow "standard"
183 Line
184 [
185 point
186 [
187 x 319.0
188 y 34.0
189 ]
190 point
191 [
192 x 319.0
193 y -122.0
194 ]
195 point
196 [
197 x 319.0
198 y 34.0
199 ]
200 ]
201 ]
202 LabelGraphics
203 [
204 text "next reference State"
205 fontSize 12
206 fontName "Dialog"
207 configuration "AutoFlippingLabel"
208 contentWidth 112.064453125
209 contentHeight 18.701171875
210 model "six_pos"
211 position "head"
212 ]
213 LabelGraphics
214 [
215 text "[1, 1, 1]"
216 fontSize 12
217 fontName "Dialog"
218 configuration "AutoFlippingLabel"
219 contentWidth 44.025390625
220 contentHeight 18.701171875
221 model "six_pos"
222 position "stail"
223 ]
224 LabelGraphics
225 [
226 text "[1, 1, 0]"
227 fontSize 12
228 fontName "Dialog"
229 configuration "AutoFlippingLabel"
230 contentWidth 44.025390625
231 contentHeight 18.701171875
232 model "six_pos"
233 position "shead"
234 ]
235 ]
236 edge
237 [
238 source 2
239 target 3
240 label "state reference Statechart"
241 graphics
242 [
243 fill "#000000"
244 targetArrow "standard"
245 Line
246 [
247 point
248 [
249 x 75.0
250 y -196.0
251 ]
252 point
253 [
254 x 65.0
255 y 173.5
256 ]
257 point
258 [
259 x 90.0
260 y 173.5
261 ]
262 point
263 [
264 x 90.0
265 y 247.0
266 ]
267 ]
268 ]
269 edgeAnchor
270 [
271 xSource -0.11363636363636363
272 ]
273 LabelGraphics
274 [
275 text "state reference Statechart"
276 fontSize 12
277 fontName "Dialog"
278 configuration "AutoFlippingLabel"
279 contentWidth 142.076171875
280 contentHeight 18.701171875
281 model "six_pos"
282 position "head"
283 ]
284 LabelGraphics
285 [
286 text "[4, 1]"
287 fontSize 12
288 fontName "Dialog"
289 configuration "AutoFlippingLabel"
290 contentWidth 30.68359375
291 contentHeight 18.701171875
292 model "six_pos"
293 position "stail"
294 ]
295 LabelGraphics
296 [
297 text "[1]"
298 fontSize 12
299 fontName "Dialog"
300 configuration "AutoFlippingLabel"
301 contentWidth 17.341796875
302 contentHeight 18.701171875
303 model "six_pos"
304 position "ttail"
305 ]
306 ]
307 edge
308 [
309 source 2
310 target 0
311 label "entry reference Statechart"
312 graphics
313 [
314 fill "#000000"
315 targetArrow "standard"
316 Line
317 [
318 point
319 [
320 x 75.0
321 y -196.0
322 ]
323 point
324 [
325 x -377.0
326 y -196.0
327 ]
328 point
329 [
330 x -352.0
331 y -118.0
332 ]
333 ]
334 ]
335 edgeAnchor
336 [
337 xTarget -0.36363636363636365
338 ]
339 LabelGraphics
340 [
341 text "entry reference Statechart"
342 fontSize 12
343 fontName "Dialog"
344 configuration "AutoFlippingLabel"
345 contentWidth 142.73828125
346 contentHeight 18.701171875
347 model "six_pos"
348 position "head"
349 ]
350 LabelGraphics
351 [
352 text "[1]"
353 fontSize 12
354 fontName "Dialog"
355 configuration "AutoFlippingLabel"
356 contentWidth 17.341796875
357 contentHeight 18.701171875
358 model "six_pos"
359 position "stail"
360 ]
361 LabelGraphics
362 [
363 text "[1]"
364 fontSize 12
365 fontName "Dialog"
366 configuration "AutoFlippingLabel"
367 contentWidth 17.341796875
368 contentHeight 18.701171875
369 model "six_pos"
370 position "ttail"
371 ]
372 ]
373 edge
374 [
375 source 3
376 target 1
377 label "next reference State"
378 graphics
379 [
380 fill "#000000"
381 targetArrow "standard"
382 Line
383 [
384 point
385 [
386 x 90.0
387 y 247.0
388 ]
389 point
390 [
391 x 309.0
392 y 241.5
393 ]
394 point
395 [
396 x 319.0
397 y 34.0
398 ]
399 ]
400 ]
401 edgeAnchor
402 [
403 ySource -0.275
404 xTarget -0.14545454545454545
405 ]
406 LabelGraphics
407 [
408 text "next reference State"
409 fontSize 12
410 fontName "Dialog"
411 configuration "AutoFlippingLabel"
412 contentWidth 112.064453125
413 contentHeight 18.701171875
414 model "six_pos"
415 position "head"
416 ]
417 LabelGraphics
418 [
419 text "[1]"
420 fontSize 12
421 fontName "Dialog"
422 configuration "AutoFlippingLabel"
423 contentWidth 17.341796875
424 contentHeight 18.701171875
425 model "six_pos"
426 position "stail"
427 ]
428 LabelGraphics
429 [
430 text "[1, 0, 0]"
431 fontSize 12
432 fontName "Dialog"
433 configuration "AutoFlippingLabel"
434 contentWidth 44.025390625
435 contentHeight 18.701171875
436 model "six_pos"
437 position "ttail"
438 ]
439 ]
440]
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/REALISTIC1NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/REALISTIC1NEIGHBOURHOOD.gml
new file mode 100644
index 00000000..6df09856
--- /dev/null
+++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/REALISTIC1NEIGHBOURHOOD.gml
@@ -0,0 +1,520 @@
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 -117.0
15 y -42.5
16 w 137.5
17 h 40.0
18 type "roundrectangle"
19 fill "#FFCC00"
20 outline "#000000"
21 ]
22 LabelGraphics
23 [
24 ]
25 LabelGraphics
26 [
27 text "[State class] (1)"
28 fontSize 14
29 fontName "Dialog"
30 anchor "c"
31 ]
32 ]
33 node
34 [
35 id 1
36 label ""
37 graphics
38 [
39 x -357.0
40 y -128.0
41 w 137.5
42 h 40.0
43 type "roundrectangle"
44 fill "#FFCC00"
45 outline "#000000"
46 ]
47 LabelGraphics
48 [
49 ]
50 LabelGraphics
51 [
52 text "[Entry class] (1)"
53 fontSize 14
54 fontName "Dialog"
55 anchor "c"
56 ]
57 ]
58 node
59 [
60 id 2
61 label ""
62 graphics
63 [
64 x -366.0
65 y 195.0
66 w 137.5
67 h 40.0
68 type "roundrectangle"
69 fill "#FFCC00"
70 outline "#000000"
71 ]
72 LabelGraphics
73 [
74 ]
75 LabelGraphics
76 [
77 text "[State class] (1)"
78 fontSize 14
79 fontName "Dialog"
80 anchor "c"
81 ]
82 ]
83 node
84 [
85 id 3
86 label ""
87 graphics
88 [
89 x -127.0
90 y 356.0
91 w 137.5
92 h 40.0
93 type "roundrectangle"
94 fill "#FFCC00"
95 outline "#000000"
96 ]
97 LabelGraphics
98 [
99 ]
100 LabelGraphics
101 [
102 text "[State class] (1)"
103 fontSize 14
104 fontName "Dialog"
105 anchor "c"
106 ]
107 ]
108 node
109 [
110 id 4
111 label ""
112 graphics
113 [
114 x 196.0
115 y 265.0
116 w 137.5
117 h 40.0
118 type "roundrectangle"
119 fill "#FFCC00"
120 outline "#000000"
121 ]
122 LabelGraphics
123 [
124 ]
125 LabelGraphics
126 [
127 text "[State class] (2)"
128 fontSize 14
129 fontName "Dialog"
130 anchor "c"
131 ]
132 ]
133 node
134 [
135 id 5
136 label ""
137 graphics
138 [
139 x 111.0
140 y -185.0
141 w 176.0
142 h 40.0
143 type "roundrectangle"
144 fill "#FFCC00"
145 outline "#000000"
146 ]
147 LabelGraphics
148 [
149 ]
150 LabelGraphics
151 [
152 text "[Statechart class] (1)"
153 fontSize 14
154 fontName "Dialog"
155 anchor "c"
156 ]
157 ]
158 edge
159 [
160 source 1
161 target 2
162 label "entry reference Entry"
163 graphics
164 [
165 fill "#000000"
166 targetArrow "standard"
167 ]
168 edgeAnchor
169 [
170 xSource -0.13090909090909092
171 ]
172 LabelGraphics
173 [
174 text "entry reference Entry"
175 fontSize 12
176 fontName "Dialog"
177 configuration "AutoFlippingLabel"
178 contentWidth 116.048828125
179 contentHeight 18.701171875
180 model "six_pos"
181 position "head"
182 ]
183 LabelGraphics
184 [
185 text "[1]"
186 fontSize 12
187 fontName "Dialog"
188 configuration "AutoFlippingLabel"
189 contentWidth 17.341796875
190 contentHeight 18.701171875
191 model "six_pos"
192 position "stail"
193 ]
194 LabelGraphics
195 [
196 text "[1]"
197 fontSize 12
198 fontName "Dialog"
199 configuration "AutoFlippingLabel"
200 contentWidth 17.341796875
201 contentHeight 18.701171875
202 model "six_pos"
203 position "ttail"
204 ]
205 ]
206 edge
207 [
208 source 3
209 target 0
210 label "next reference State"
211 graphics
212 [
213 fill "#000000"
214 targetArrow "standard"
215 ]
216 edgeAnchor
217 [
218 xTarget -0.14545454545454545
219 ]
220 LabelGraphics
221 [
222 text "next reference State"
223 fontSize 12
224 fontName "Dialog"
225 configuration "AutoFlippingLabel"
226 contentWidth 112.064453125
227 contentHeight 18.701171875
228 model "six_pos"
229 position "head"
230 ]
231 LabelGraphics
232 [
233 text "[2, 1, 1]"
234 fontSize 12
235 fontName "Dialog"
236 configuration "AutoFlippingLabel"
237 contentWidth 44.025390625
238 contentHeight 18.701171875
239 model "six_pos"
240 position "stail"
241 ]
242 LabelGraphics
243 [
244 text "[1]"
245 fontSize 12
246 fontName "Dialog"
247 configuration "AutoFlippingLabel"
248 contentWidth 17.341796875
249 contentHeight 18.701171875
250 model "six_pos"
251 position "ttail"
252 ]
253 ]
254 edge
255 [
256 source 2
257 target 3
258 label "next reference State"
259 graphics
260 [
261 fill "#000000"
262 targetArrow "standard"
263 Line
264 [
265 point
266 [
267 x -366.0
268 y 195.0
269 ]
270 point
271 [
272 x -390.0
273 y 215.0
274 ]
275 point
276 [
277 x -390.0
278 y 356.0
279 ]
280 point
281 [
282 x -127.0
283 y 356.0
284 ]
285 ]
286 ]
287 edgeAnchor
288 [
289 ySource 1.0
290 xTarget -0.2909090909090909
291 ]
292 LabelGraphics
293 [
294 text "next reference State"
295 fontSize 12
296 fontName "Dialog"
297 configuration "AutoFlippingLabel"
298 contentWidth 112.064453125
299 contentHeight 18.701171875
300 model "six_pos"
301 position "head"
302 ]
303 LabelGraphics
304 [
305 text "[1]"
306 fontSize 12
307 fontName "Dialog"
308 configuration "AutoFlippingLabel"
309 contentWidth 17.341796875
310 contentHeight 18.701171875
311 model "six_pos"
312 position "stail"
313 ]
314 LabelGraphics
315 [
316 text "[1]"
317 fontSize 12
318 fontName "Dialog"
319 configuration "AutoFlippingLabel"
320 contentWidth 17.341796875
321 contentHeight 18.701171875
322 model "six_pos"
323 position "ttail"
324 ]
325 ]
326 edge
327 [
328 source 4
329 target 3
330 label "next reference State"
331 graphics
332 [
333 fill "#000000"
334 targetArrow "standard"
335 Line
336 [
337 point
338 [
339 x 196.0
340 y 265.0
341 ]
342 point
343 [
344 x 196.0
345 y 356.0
346 ]
347 point
348 [
349 x -127.0
350 y 356.0
351 ]
352 ]
353 ]
354 LabelGraphics
355 [
356 text "next reference State"
357 fontSize 12
358 fontName "Dialog"
359 configuration "AutoFlippingLabel"
360 contentWidth 112.064453125
361 contentHeight 18.701171875
362 model "six_pos"
363 position "head"
364 ]
365 LabelGraphics
366 [
367 text "[1, 1]"
368 fontSize 12
369 fontName "Dialog"
370 configuration "AutoFlippingLabel"
371 contentWidth 30.68359375
372 contentHeight 18.701171875
373 model "six_pos"
374 position "stail"
375 ]
376 LabelGraphics
377 [
378 text "[1]"
379 fontSize 12
380 fontName "Dialog"
381 configuration "AutoFlippingLabel"
382 contentWidth 17.341796875
383 contentHeight 18.701171875
384 model "six_pos"
385 position "ttail"
386 ]
387 ]
388 edge
389 [
390 source 5
391 target 0
392 label "state reference Statechart"
393 graphics
394 [
395 fill "#000000"
396 targetArrow "standard"
397 Line
398 [
399 point
400 [
401 x 111.0
402 y -185.0
403 ]
404 point
405 [
406 x 111.0
407 y -42.5
408 ]
409 point
410 [
411 x -117.0
412 y -42.5
413 ]
414 ]
415 ]
416 edgeAnchor
417 [
418 xTarget 0.16
419 ]
420 LabelGraphics
421 [
422 text "state reference Statechart"
423 fontSize 12
424 fontName "Dialog"
425 configuration "AutoFlippingLabel"
426 contentWidth 142.076171875
427 contentHeight 18.701171875
428 model "six_pos"
429 position "head"
430 ]
431 LabelGraphics
432 [
433 text "[1, 2, 1, 1]"
434 fontSize 12
435 fontName "Dialog"
436 configuration "AutoFlippingLabel"
437 contentWidth 57.3671875
438 contentHeight 18.701171875
439 model "six_pos"
440 position "stail"
441 ]
442 LabelGraphics
443 [
444 text "[1]"
445 fontSize 12
446 fontName "Dialog"
447 configuration "AutoFlippingLabel"
448 contentWidth 17.341796875
449 contentHeight 18.701171875
450 model "six_pos"
451 position "ttail"
452 ]
453 ]
454 edge
455 [
456 source 5
457 target 1
458 label "entry reference Statechart"
459 graphics
460 [
461 fill "#000000"
462 targetArrow "standard"
463 Line
464 [
465 point
466 [
467 x 111.0
468 y -185.0
469 ]
470 point
471 [
472 x -346.0
473 y -185.0
474 ]
475 point
476 [
477 x -357.0
478 y -128.0
479 ]
480 ]
481 ]
482 edgeAnchor
483 [
484 xTarget 0.16
485 ]
486 LabelGraphics
487 [
488 text "entry reference Statechart"
489 fontSize 12
490 fontName "Dialog"
491 configuration "AutoFlippingLabel"
492 contentWidth 142.73828125
493 contentHeight 18.701171875
494 model "six_pos"
495 position "head"
496 ]
497 LabelGraphics
498 [
499 text "[1]"
500 fontSize 12
501 fontName "Dialog"
502 configuration "AutoFlippingLabel"
503 contentWidth 17.341796875
504 contentHeight 18.701171875
505 model "six_pos"
506 position "stail"
507 ]
508 LabelGraphics
509 [
510 text "[1]"
511 fontSize 12
512 fontName "Dialog"
513 configuration "AutoFlippingLabel"
514 contentWidth 17.341796875
515 contentHeight 18.701171875
516 model "six_pos"
517 position "ttail"
518 ]
519 ]
520]
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 @@
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 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]
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/cycleNEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/cycleNEIGHBOURHOOD.gml
new file mode 100644
index 00000000..125acc5c
--- /dev/null
+++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/cycleNEIGHBOURHOOD.gml
@@ -0,0 +1,210 @@
1graph
2[
3 node
4 [
5 id 0
6 graphics
7 [
8 w 152.9
9 h 40
10 type "roundrectangle"
11 fill "#FFCC00"
12 outline "#000000"
13 ]
14 LabelGraphics
15 [
16 ]
17 LabelGraphics
18 [
19 text "[Element class] (1)"
20 fontSize 14
21 fontName "Dialog"
22 ]
23 ]
24 node
25 [
26 id 1
27 graphics
28 [
29 w 145.20000000000002
30 h 40
31 type "roundrectangle"
32 fill "#FFCC00"
33 outline "#000000"
34 ]
35 LabelGraphics
36 [
37 ]
38 LabelGraphics
39 [
40 text "[Object class] (4)"
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] (4)"
83 fontSize 14
84 fontName "Dialog"
85 ]
86 ]
87 edge
88 [
89 source 2
90 target 3
91 label "next reference Element"
92 graphics
93 [
94 fill "#000000"
95 targetArrow "standard"
96 Line
97 [
98 ]
99 ]
100 LabelGraphics
101 [
102 text "next reference Element"
103 fontSize 12
104 fontName "Dialog"
105 configuration "AutoFlippingLabel"
106 model "six_pos"
107 position "head"
108 ]
109 LabelGraphics
110 [
111 text "[1]"
112 fontSize 12
113 fontName "Dialog"
114 configuration "AutoFlippingLabel"
115 model "six_pos"
116 position "stail"
117 ]
118 LabelGraphics
119 [
120 text "[1, 0, 0]"
121 fontSize 12
122 fontName "Dialog"
123 configuration "AutoFlippingLabel"
124 model "six_pos"
125 position "ttail"
126 ]
127 ]
128 edge
129 [
130 source 3
131 target 3
132 label "next reference Element"
133 graphics
134 [
135 fill "#000000"
136 targetArrow "standard"
137 Line
138 [
139 ]
140 ]
141 LabelGraphics
142 [
143 text "next reference Element"
144 fontSize 12
145 fontName "Dialog"
146 configuration "AutoFlippingLabel"
147 model "six_pos"
148 position "head"
149 ]
150 LabelGraphics
151 [
152 text "[1, 1, 1]"
153 fontSize 12
154 fontName "Dialog"
155 configuration "AutoFlippingLabel"
156 model "six_pos"
157 position "stail"
158 ]
159 LabelGraphics
160 [
161 text "[1, 1, 0]"
162 fontSize 12
163 fontName "Dialog"
164 configuration "AutoFlippingLabel"
165 model "six_pos"
166 position "ttail"
167 ]
168 ]
169 edge
170 [
171 source 3
172 target 1
173 label "value reference Element"
174 graphics
175 [
176 fill "#000000"
177 targetArrow "standard"
178 Line
179 [
180 ]
181 ]
182 LabelGraphics
183 [
184 text "value reference Element"
185 fontSize 12
186 fontName "Dialog"
187 configuration "AutoFlippingLabel"
188 model "six_pos"
189 position "head"
190 ]
191 LabelGraphics
192 [
193 text "[1, 1, 1]"
194 fontSize 12
195 fontName "Dialog"
196 configuration "AutoFlippingLabel"
197 model "six_pos"
198 position "stail"
199 ]
200 LabelGraphics
201 [
202 text "[1]"
203 fontSize 12
204 fontName "Dialog"
205 configuration "AutoFlippingLabel"
206 model "six_pos"
207 position "ttail"
208 ]
209 ]
210]
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..b0f17c49
--- /dev/null
+++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModelNEIGHBOURHOOD.gml
@@ -0,0 +1,724 @@
1graph
2[
3 node
4 [
5 id 0
6 graphics
7 [
8 w 176.0
9 h 40
10 type "roundrectangle"
11 fill "#FFCC00"
12 outline "#000000"
13 ]
14 LabelGraphics
15 [
16 ]
17 LabelGraphics
18 [
19 text "[Transition class] (7)"
20 fontSize 14
21 fontName "Dialog"
22 ]
23 ]
24 node
25 [
26 id 1
27 graphics
28 [
29 w 584.1
30 h 40
31 type "roundrectangle"
32 fill "#FFCC00"
33 outline "#000000"
34 ]
35 LabelGraphics
36 [
37 ]
38 LabelGraphics
39 [
40 text "[State class, CompositeElement class, Vertex class, RegularState class] (1)"
41 fontSize 14
42 fontName "Dialog"
43 ]
44 ]
45 node
46 [
47 id 2
48 graphics
49 [
50 w 360.8
51 h 40
52 type "roundrectangle"
53 fill "#FFCC00"
54 outline "#000000"
55 ]
56 LabelGraphics
57 [
58 ]
59 LabelGraphics
60 [
61 text "[Statechart class, CompositeElement class] (1)"
62 fontSize 14
63 fontName "Dialog"
64 ]
65 ]
66 node
67 [
68 id 3
69 graphics
70 [
71 w 584.1
72 h 40
73 type "roundrectangle"
74 fill "#FFCC00"
75 outline "#000000"
76 ]
77 LabelGraphics
78 [
79 ]
80 LabelGraphics
81 [
82 text "[State class, CompositeElement class, Vertex class, RegularState class] (1)"
83 fontSize 14
84 fontName "Dialog"
85 ]
86 ]
87 node
88 [
89 id 4
90 graphics
91 [
92 w 584.1
93 h 40
94 type "roundrectangle"
95 fill "#FFCC00"
96 outline "#000000"
97 ]
98 LabelGraphics
99 [
100 ]
101 LabelGraphics
102 [
103 text "[State class, CompositeElement class, Vertex class, RegularState class] (1)"
104 fontSize 14
105 fontName "Dialog"
106 ]
107 ]
108 node
109 [
110 id 5
111 graphics
112 [
113 w 584.1
114 h 40
115 type "roundrectangle"
116 fill "#FFCC00"
117 outline "#000000"
118 ]
119 LabelGraphics
120 [
121 ]
122 LabelGraphics
123 [
124 text "[State class, CompositeElement class, Vertex class, RegularState class] (2)"
125 fontSize 14
126 fontName "Dialog"
127 ]
128 ]
129 node
130 [
131 id 6
132 graphics
133 [
134 w 391.6
135 h 40
136 type "roundrectangle"
137 fill "#FFCC00"
138 outline "#000000"
139 ]
140 LabelGraphics
141 [
142 ]
143 LabelGraphics
144 [
145 text "[Pseudostate class, Entry class, Vertex class] (1)"
146 fontSize 14
147 fontName "Dialog"
148 ]
149 ]
150 node
151 [
152 id 7
153 graphics
154 [
155 w 145.20000000000002
156 h 40
157 type "roundrectangle"
158 fill "#FFCC00"
159 outline "#000000"
160 ]
161 LabelGraphics
162 [
163 ]
164 LabelGraphics
165 [
166 text "[Region class] (1)"
167 fontSize 14
168 fontName "Dialog"
169 ]
170 ]
171 node
172 [
173 id 8
174 graphics
175 [
176 w 176.0
177 h 40
178 type "roundrectangle"
179 fill "#FFCC00"
180 outline "#000000"
181 ]
182 LabelGraphics
183 [
184 ]
185 LabelGraphics
186 [
187 text "[Transition class] (1)"
188 fontSize 14
189 fontName "Dialog"
190 ]
191 ]
192 edge
193 [
194 source 2
195 target 7
196 label "regions reference CompositeElement"
197 graphics
198 [
199 fill "#000000"
200 targetArrow "standard"
201 ]
202 LabelGraphics
203 [
204 text "regions reference CompositeElement"
205 fontSize 12
206 fontName "Dialog"
207 configuration "AutoFlippingLabel"
208 model "six_pos"
209 position "head"
210 ]
211 LabelGraphics
212 [
213 text "[1]"
214 fontSize 12
215 fontName "Dialog"
216 configuration "AutoFlippingLabel"
217 model "six_pos"
218 position "stail"
219 ]
220 LabelGraphics
221 [
222 text "[1]"
223 fontSize 12
224 fontName "Dialog"
225 configuration "AutoFlippingLabel"
226 model "six_pos"
227 position "ttail"
228 ]
229 ]
230 edge
231 [
232 source 5
233 target 0
234 label "incomingTransitions reference Vertex"
235 graphics
236 [
237 fill "#000000"
238 targetArrow "standard"
239 ]
240 LabelGraphics
241 [
242 text "incomingTransitions reference Vertex"
243 fontSize 12
244 fontName "Dialog"
245 configuration "AutoFlippingLabel"
246 model "six_pos"
247 position "head"
248 ]
249 LabelGraphics
250 [
251 text "[1]"
252 fontSize 12
253 fontName "Dialog"
254 configuration "AutoFlippingLabel"
255 model "six_pos"
256 position "stail"
257 ]
258 LabelGraphics
259 [
260 text "[1, 0, 0, 0, 0, 0, 1]"
261 fontSize 12
262 fontName "Dialog"
263 configuration "AutoFlippingLabel"
264 model "six_pos"
265 position "ttail"
266 ]
267 ]
268 edge
269 [
270 source 5
271 target 0
272 label "outgoingTransitions reference Vertex"
273 graphics
274 [
275 fill "#000000"
276 targetArrow "standard"
277 ]
278 LabelGraphics
279 [
280 text "outgoingTransitions reference Vertex"
281 fontSize 12
282 fontName "Dialog"
283 configuration "AutoFlippingLabel"
284 model "six_pos"
285 position "head"
286 ]
287 LabelGraphics
288 [
289 text "[1]"
290 fontSize 12
291 fontName "Dialog"
292 configuration "AutoFlippingLabel"
293 model "six_pos"
294 position "stail"
295 ]
296 LabelGraphics
297 [
298 text "[1, 1, 0, 0, 0, 0, 1, 1]"
299 fontSize 12
300 fontName "Dialog"
301 configuration "AutoFlippingLabel"
302 model "six_pos"
303 position "ttail"
304 ]
305 ]
306 edge
307 [
308 source 4
309 target 0
310 label "incomingTransitions reference Vertex"
311 graphics
312 [
313 fill "#000000"
314 targetArrow "standard"
315 ]
316 LabelGraphics
317 [
318 text "incomingTransitions reference Vertex"
319 fontSize 12
320 fontName "Dialog"
321 configuration "AutoFlippingLabel"
322 model "six_pos"
323 position "head"
324 ]
325 LabelGraphics
326 [
327 text "[2]"
328 fontSize 12
329 fontName "Dialog"
330 configuration "AutoFlippingLabel"
331 model "six_pos"
332 position "stail"
333 ]
334 LabelGraphics
335 [
336 text "[1, 1, 0, 0, 0, 0, 1, 1]"
337 fontSize 12
338 fontName "Dialog"
339 configuration "AutoFlippingLabel"
340 model "six_pos"
341 position "ttail"
342 ]
343 ]
344 edge
345 [
346 source 4
347 target 0
348 label "outgoingTransitions reference Vertex"
349 graphics
350 [
351 fill "#000000"
352 targetArrow "standard"
353 ]
354 LabelGraphics
355 [
356 text "outgoingTransitions reference Vertex"
357 fontSize 12
358 fontName "Dialog"
359 configuration "AutoFlippingLabel"
360 model "six_pos"
361 position "head"
362 ]
363 LabelGraphics
364 [
365 text "[4]"
366 fontSize 12
367 fontName "Dialog"
368 configuration "AutoFlippingLabel"
369 model "six_pos"
370 position "stail"
371 ]
372 LabelGraphics
373 [
374 text "[1, 1, 1, 0, 0, 0, 1, 1, 1]"
375 fontSize 12
376 fontName "Dialog"
377 configuration "AutoFlippingLabel"
378 model "six_pos"
379 position "ttail"
380 ]
381 ]
382 edge
383 [
384 source 3
385 target 0
386 label "incomingTransitions reference Vertex"
387 graphics
388 [
389 fill "#000000"
390 targetArrow "standard"
391 ]
392 LabelGraphics
393 [
394 text "incomingTransitions reference Vertex"
395 fontSize 12
396 fontName "Dialog"
397 configuration "AutoFlippingLabel"
398 model "six_pos"
399 position "head"
400 ]
401 LabelGraphics
402 [
403 text "[1, 2]"
404 fontSize 12
405 fontName "Dialog"
406 configuration "AutoFlippingLabel"
407 model "six_pos"
408 position "stail"
409 ]
410 LabelGraphics
411 [
412 text "[1, 1, 0, 0, 0, 0, 1, 1]"
413 fontSize 12
414 fontName "Dialog"
415 configuration "AutoFlippingLabel"
416 model "six_pos"
417 position "ttail"
418 ]
419 ]
420 edge
421 [
422 source 3
423 target 0
424 label "outgoingTransitions reference Vertex"
425 graphics
426 [
427 fill "#000000"
428 targetArrow "standard"
429 ]
430 LabelGraphics
431 [
432 text "outgoingTransitions reference Vertex"
433 fontSize 12
434 fontName "Dialog"
435 configuration "AutoFlippingLabel"
436 model "six_pos"
437 position "head"
438 ]
439 LabelGraphics
440 [
441 text "[1]"
442 fontSize 12
443 fontName "Dialog"
444 configuration "AutoFlippingLabel"
445 model "six_pos"
446 position "stail"
447 ]
448 LabelGraphics
449 [
450 text "[1, 0, 0, 0, 0, 0, 1]"
451 fontSize 12
452 fontName "Dialog"
453 configuration "AutoFlippingLabel"
454 model "six_pos"
455 position "ttail"
456 ]
457 ]
458 edge
459 [
460 source 6
461 target 8
462 label "outgoingTransitions reference Vertex"
463 graphics
464 [
465 fill "#000000"
466 targetArrow "standard"
467 ]
468 LabelGraphics
469 [
470 text "outgoingTransitions reference Vertex"
471 fontSize 12
472 fontName "Dialog"
473 configuration "AutoFlippingLabel"
474 model "six_pos"
475 position "head"
476 ]
477 LabelGraphics
478 [
479 text "[1]"
480 fontSize 12
481 fontName "Dialog"
482 configuration "AutoFlippingLabel"
483 model "six_pos"
484 position "stail"
485 ]
486 LabelGraphics
487 [
488 text "[1]"
489 fontSize 12
490 fontName "Dialog"
491 configuration "AutoFlippingLabel"
492 model "six_pos"
493 position "ttail"
494 ]
495 ]
496 edge
497 [
498 source 7
499 target 6
500 label "vertices reference Region"
501 graphics
502 [
503 fill "#000000"
504 targetArrow "standard"
505 ]
506 LabelGraphics
507 [
508 text "vertices reference Region"
509 fontSize 12
510 fontName "Dialog"
511 configuration "AutoFlippingLabel"
512 model "six_pos"
513 position "head"
514 ]
515 LabelGraphics
516 [
517 text "[1, 1, 1, 2, 1]"
518 fontSize 12
519 fontName "Dialog"
520 configuration "AutoFlippingLabel"
521 model "six_pos"
522 position "stail"
523 ]
524 LabelGraphics
525 [
526 text "[1]"
527 fontSize 12
528 fontName "Dialog"
529 configuration "AutoFlippingLabel"
530 model "six_pos"
531 position "ttail"
532 ]
533 ]
534 edge
535 [
536 source 0
537 target 1
538 label "target reference Transition"
539 graphics
540 [
541 fill "#000000"
542 targetArrow "standard"
543 ]
544 LabelGraphics
545 [
546 text "target reference Transition"
547 fontSize 12
548 fontName "Dialog"
549 configuration "AutoFlippingLabel"
550 model "six_pos"
551 position "head"
552 ]
553 LabelGraphics
554 [
555 text "[1, 1, 1, 1, 1, 1]"
556 fontSize 12
557 fontName "Dialog"
558 configuration "AutoFlippingLabel"
559 model "six_pos"
560 position "stail"
561 ]
562 LabelGraphics
563 [
564 text "[1, 2]"
565 fontSize 12
566 fontName "Dialog"
567 configuration "AutoFlippingLabel"
568 model "six_pos"
569 position "ttail"
570 ]
571 ]
572 edge
573 [
574 source 0
575 target 4
576 label "source reference Transition"
577 graphics
578 [
579 fill "#000000"
580 targetArrow "standard"
581 ]
582 LabelGraphics
583 [
584 text "source reference Transition"
585 fontSize 12
586 fontName "Dialog"
587 configuration "AutoFlippingLabel"
588 model "six_pos"
589 position "head"
590 ]
591 LabelGraphics
592 [
593 text "[1, 1, 1, 1, 1, 1]"
594 fontSize 12
595 fontName "Dialog"
596 configuration "AutoFlippingLabel"
597 model "six_pos"
598 position "stail"
599 ]
600 LabelGraphics
601 [
602 text "[4]"
603 fontSize 12
604 fontName "Dialog"
605 configuration "AutoFlippingLabel"
606 model "six_pos"
607 position "ttail"
608 ]
609 ]
610 edge
611 [
612 source 1
613 target 0
614 label "incomingTransitions reference Vertex"
615 graphics
616 [
617 fill "#000000"
618 targetArrow "standard"
619 ]
620 LabelGraphics
621 [
622 text "incomingTransitions reference Vertex"
623 fontSize 12
624 fontName "Dialog"
625 configuration "AutoFlippingLabel"
626 model "six_pos"
627 position "head"
628 ]
629 LabelGraphics
630 [
631 text "[1]"
632 fontSize 12
633 fontName "Dialog"
634 configuration "AutoFlippingLabel"
635 model "six_pos"
636 position "stail"
637 ]
638 LabelGraphics
639 [
640 text "[1, 0, 0, 0, 0, 0]"
641 fontSize 12
642 fontName "Dialog"
643 configuration "AutoFlippingLabel"
644 model "six_pos"
645 position "ttail"
646 ]
647 ]
648 edge
649 [
650 source 8
651 target 3
652 label "target reference Transition"
653 graphics
654 [
655 fill "#000000"
656 targetArrow "standard"
657 ]
658 LabelGraphics
659 [
660 text "target reference Transition"
661 fontSize 12
662 fontName "Dialog"
663 configuration "AutoFlippingLabel"
664 model "six_pos"
665 position "head"
666 ]
667 LabelGraphics
668 [
669 text "[1]"
670 fontSize 12
671 fontName "Dialog"
672 configuration "AutoFlippingLabel"
673 model "six_pos"
674 position "stail"
675 ]
676 LabelGraphics
677 [
678 text "[1]"
679 fontSize 12
680 fontName "Dialog"
681 configuration "AutoFlippingLabel"
682 model "six_pos"
683 position "ttail"
684 ]
685 ]
686 edge
687 [
688 source 8
689 target 6
690 label "source reference Transition"
691 graphics
692 [
693 fill "#000000"
694 targetArrow "standard"
695 ]
696 LabelGraphics
697 [
698 text "source reference Transition"
699 fontSize 12
700 fontName "Dialog"
701 configuration "AutoFlippingLabel"
702 model "six_pos"
703 position "head"
704 ]
705 LabelGraphics
706 [
707 text "[1]"
708 fontSize 12
709 fontName "Dialog"
710 configuration "AutoFlippingLabel"
711 model "six_pos"
712 position "stail"
713 ]
714 LabelGraphics
715 [
716 text "[1]"
717 fontSize 12
718 fontName "Dialog"
719 configuration "AutoFlippingLabel"
720 model "six_pos"
721 position "ttail"
722 ]
723 ]
724]
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/simpleSCIrrealistic0NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic0NEIGHBOURHOOD.gml
new file mode 100644
index 00000000..0cfc9216
--- /dev/null
+++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic0NEIGHBOURHOOD.gml
@@ -0,0 +1,304 @@
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 95.0
15 y -28.0
16 w 137.5
17 h 40.0
18 type "roundrectangle"
19 fill "#FFCC00"
20 outline "#000000"
21 ]
22 LabelGraphics
23 [
24 ]
25 LabelGraphics
26 [
27 text "[State class] (5)"
28 fontSize 14
29 fontName "Dialog"
30 anchor "c"
31 ]
32 ]
33 node
34 [
35 id 1
36 label ""
37 graphics
38 [
39 x 357.0
40 y -28.0
41 w 176.0
42 h 40.0
43 type "roundrectangle"
44 fill "#FFCC00"
45 outline "#000000"
46 ]
47 LabelGraphics
48 [
49 ]
50 LabelGraphics
51 [
52 text "[Statechart class] (1)"
53 fontSize 14
54 fontName "Dialog"
55 anchor "c"
56 ]
57 ]
58 node
59 [
60 id 2
61 label ""
62 graphics
63 [
64 x -158.0
65 y -28.0
66 w 137.5
67 h 40.0
68 type "roundrectangle"
69 fill "#FFCC00"
70 outline "#000000"
71 ]
72 LabelGraphics
73 [
74 ]
75 LabelGraphics
76 [
77 text "[Entry class] (1)"
78 fontSize 14
79 fontName "Dialog"
80 anchor "c"
81 ]
82 ]
83 edge
84 [
85 source 0
86 target 0
87 label "next reference State"
88 graphics
89 [
90 fill "#000000"
91 targetArrow "standard"
92 Line
93 [
94 point
95 [
96 x 95.0
97 y -28.0
98 ]
99 point
100 [
101 x 105.0
102 y -199.0
103 ]
104 point
105 [
106 x 95.0
107 y -28.0
108 ]
109 ]
110 ]
111 LabelGraphics
112 [
113 text "next reference State"
114 fontSize 12
115 fontName "Dialog"
116 configuration "AutoFlippingLabel"
117 contentWidth 112.064453125
118 contentHeight 18.701171875
119 model "six_pos"
120 position "head"
121 ]
122 LabelGraphics
123 [
124 text "[1, 1]"
125 fontSize 12
126 fontName "Dialog"
127 configuration "AutoFlippingLabel"
128 contentWidth 30.68359375
129 contentHeight 18.701171875
130 model "six_pos"
131 position "stail"
132 ]
133 LabelGraphics
134 [
135 text "[1, 1]"
136 fontSize 12
137 fontName "Dialog"
138 configuration "AutoFlippingLabel"
139 contentWidth 30.68359375
140 contentHeight 18.701171875
141 model "six_pos"
142 position "shead"
143 ]
144 ]
145 edge
146 [
147 source 1
148 target 0
149 label "state reference Statechart"
150 graphics
151 [
152 fill "#000000"
153 targetArrow "standard"
154 ]
155 LabelGraphics
156 [
157 text "state reference Statechart"
158 fontSize 12
159 fontName "Dialog"
160 configuration "AutoFlippingLabel"
161 contentWidth 142.076171875
162 contentHeight 18.701171875
163 model "six_pos"
164 position "head"
165 ]
166 LabelGraphics
167 [
168 text "[5]"
169 fontSize 12
170 fontName "Dialog"
171 configuration "AutoFlippingLabel"
172 contentWidth 17.341796875
173 contentHeight 18.701171875
174 model "six_pos"
175 position "stail"
176 ]
177 LabelGraphics
178 [
179 text "[1, 1]"
180 fontSize 12
181 fontName "Dialog"
182 configuration "AutoFlippingLabel"
183 contentWidth 30.68359375
184 contentHeight 18.701171875
185 model "six_pos"
186 position "ttail"
187 ]
188 ]
189 edge
190 [
191 source 1
192 target 2
193 label "entry reference Statechart"
194 graphics
195 [
196 fill "#000000"
197 targetArrow "standard"
198 Line
199 [
200 point
201 [
202 x 357.0
203 y -28.0
204 ]
205 point
206 [
207 x 357.0
208 y 130.0
209 ]
210 point
211 [
212 x -158.0
213 y 130.0
214 ]
215 point
216 [
217 x -158.0
218 y -28.0
219 ]
220 ]
221 ]
222 edgeAnchor
223 [
224 ySource 1.0
225 ]
226 LabelGraphics
227 [
228 text "entry reference Statechart"
229 fontSize 12
230 fontName "Dialog"
231 configuration "AutoFlippingLabel"
232 contentWidth 142.73828125
233 contentHeight 18.701171875
234 model "six_pos"
235 position "head"
236 ]
237 LabelGraphics
238 [
239 text "[1]"
240 fontSize 12
241 fontName "Dialog"
242 configuration "AutoFlippingLabel"
243 contentWidth 17.341796875
244 contentHeight 18.701171875
245 model "six_pos"
246 position "stail"
247 ]
248 LabelGraphics
249 [
250 text "[1]"
251 fontSize 12
252 fontName "Dialog"
253 configuration "AutoFlippingLabel"
254 contentWidth 17.341796875
255 contentHeight 18.701171875
256 model "six_pos"
257 position "ttail"
258 ]
259 ]
260 edge
261 [
262 source 2
263 target 0
264 label "entry reference Entry"
265 graphics
266 [
267 fill "#000000"
268 targetArrow "standard"
269 ]
270 LabelGraphics
271 [
272 text "entry reference Entry"
273 fontSize 12
274 fontName "Dialog"
275 configuration "AutoFlippingLabel"
276 contentWidth 116.048828125
277 contentHeight 18.701171875
278 model "six_pos"
279 position "head"
280 ]
281 LabelGraphics
282 [
283 text "[1]"
284 fontSize 12
285 fontName "Dialog"
286 configuration "AutoFlippingLabel"
287 contentWidth 17.341796875
288 contentHeight 18.701171875
289 model "six_pos"
290 position "stail"
291 ]
292 LabelGraphics
293 [
294 text "[1, 0]"
295 fontSize 12
296 fontName "Dialog"
297 configuration "AutoFlippingLabel"
298 contentWidth 30.68359375
299 contentHeight 18.701171875
300 model "six_pos"
301 position "ttail"
302 ]
303 ]
304]
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic1NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic1NEIGHBOURHOOD.gml
new file mode 100644
index 00000000..868b39c5
--- /dev/null
+++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic1NEIGHBOURHOOD.gml
@@ -0,0 +1,374 @@
1graph
2[
3 node
4 [
5 id 0
6 graphics
7 [
8 w 137.5
9 h 40
10 type "roundrectangle"
11 fill "#FFCC00"
12 outline "#000000"
13 ]
14 LabelGraphics
15 [
16 ]
17 LabelGraphics
18 [
19 text "[Entry class] (1)"
20 fontSize 14
21 fontName "Dialog"
22 ]
23 ]
24 node
25 [
26 id 1
27 graphics
28 [
29 w 137.5
30 h 40
31 type "roundrectangle"
32 fill "#FFCC00"
33 outline "#000000"
34 ]
35 LabelGraphics
36 [
37 ]
38 LabelGraphics
39 [
40 text "[State class] (4)"
41 fontSize 14
42 fontName "Dialog"
43 ]
44 ]
45 node
46 [
47 id 2
48 graphics
49 [
50 w 176.0
51 h 40
52 type "roundrectangle"
53 fill "#FFCC00"
54 outline "#000000"
55 ]
56 LabelGraphics
57 [
58 ]
59 LabelGraphics
60 [
61 text "[Statechart class] (1)"
62 fontSize 14
63 fontName "Dialog"
64 ]
65 ]
66 node
67 [
68 id 3
69 graphics
70 [
71 w 137.5
72 h 40
73 type "roundrectangle"
74 fill "#FFCC00"
75 outline "#000000"
76 ]
77 LabelGraphics
78 [
79 ]
80 LabelGraphics
81 [
82 text "[State class] (1)"
83 fontSize 14
84 fontName "Dialog"
85 ]
86 ]
87 edge
88 [
89 source 0
90 target 3
91 label "entry reference Entry"
92 graphics
93 [
94 fill "#000000"
95 targetArrow "standard"
96 Line
97 [
98 ]
99 ]
100 LabelGraphics
101 [
102 text "entry reference Entry"
103 fontSize 12
104 fontName "Dialog"
105 configuration "AutoFlippingLabel"
106 model "six_pos"
107 position "head"
108 ]
109 LabelGraphics
110 [
111 text "[1]"
112 fontSize 12
113 fontName "Dialog"
114 configuration "AutoFlippingLabel"
115 model "six_pos"
116 position "stail"
117 ]
118 LabelGraphics
119 [
120 text "[1]"
121 fontSize 12
122 fontName "Dialog"
123 configuration "AutoFlippingLabel"
124 model "six_pos"
125 position "ttail"
126 ]
127 ]
128 edge
129 [
130 source 1
131 target 3
132 label "next reference State"
133 graphics
134 [
135 fill "#000000"
136 targetArrow "standard"
137 Line
138 [
139 ]
140 ]
141 LabelGraphics
142 [
143 text "next reference State"
144 fontSize 12
145 fontName "Dialog"
146 configuration "AutoFlippingLabel"
147 model "six_pos"
148 position "head"
149 ]
150 LabelGraphics
151 [
152 text "[1, 0, 0]"
153 fontSize 12
154 fontName "Dialog"
155 configuration "AutoFlippingLabel"
156 model "six_pos"
157 position "stail"
158 ]
159 LabelGraphics
160 [
161 text "[1, 1, 1]"
162 fontSize 12
163 fontName "Dialog"
164 configuration "AutoFlippingLabel"
165 model "six_pos"
166 position "ttail"
167 ]
168 ]
169 edge
170 [
171 source 1
172 target 1
173 label "next reference State"
174 graphics
175 [
176 fill "#000000"
177 targetArrow "standard"
178 Line
179 [
180 ]
181 ]
182 LabelGraphics
183 [
184 text "next reference State"
185 fontSize 12
186 fontName "Dialog"
187 configuration "AutoFlippingLabel"
188 model "six_pos"
189 position "head"
190 ]
191 LabelGraphics
192 [
193 text "[1, 1, 0]"
194 fontSize 12
195 fontName "Dialog"
196 configuration "AutoFlippingLabel"
197 model "six_pos"
198 position "stail"
199 ]
200 LabelGraphics
201 [
202 text "[1, 1, 1]"
203 fontSize 12
204 fontName "Dialog"
205 configuration "AutoFlippingLabel"
206 model "six_pos"
207 position "ttail"
208 ]
209 ]
210 edge
211 [
212 source 2
213 target 3
214 label "state reference Statechart"
215 graphics
216 [
217 fill "#000000"
218 targetArrow "standard"
219 Line
220 [
221 ]
222 ]
223 LabelGraphics
224 [
225 text "state reference Statechart"
226 fontSize 12
227 fontName "Dialog"
228 configuration "AutoFlippingLabel"
229 model "six_pos"
230 position "head"
231 ]
232 LabelGraphics
233 [
234 text "[1]"
235 fontSize 12
236 fontName "Dialog"
237 configuration "AutoFlippingLabel"
238 model "six_pos"
239 position "stail"
240 ]
241 LabelGraphics
242 [
243 text "[1, 1, 1, 1]"
244 fontSize 12
245 fontName "Dialog"
246 configuration "AutoFlippingLabel"
247 model "six_pos"
248 position "ttail"
249 ]
250 ]
251 edge
252 [
253 source 2
254 target 0
255 label "entry reference Statechart"
256 graphics
257 [
258 fill "#000000"
259 targetArrow "standard"
260 Line
261 [
262 ]
263 ]
264 LabelGraphics
265 [
266 text "entry reference Statechart"
267 fontSize 12
268 fontName "Dialog"
269 configuration "AutoFlippingLabel"
270 model "six_pos"
271 position "head"
272 ]
273 LabelGraphics
274 [
275 text "[1]"
276 fontSize 12
277 fontName "Dialog"
278 configuration "AutoFlippingLabel"
279 model "six_pos"
280 position "stail"
281 ]
282 LabelGraphics
283 [
284 text "[1]"
285 fontSize 12
286 fontName "Dialog"
287 configuration "AutoFlippingLabel"
288 model "six_pos"
289 position "ttail"
290 ]
291 ]
292 edge
293 [
294 source 2
295 target 1
296 label "state reference Statechart"
297 graphics
298 [
299 fill "#000000"
300 targetArrow "standard"
301 Line
302 [
303 ]
304 ]
305 LabelGraphics
306 [
307 text "state reference Statechart"
308 fontSize 12
309 fontName "Dialog"
310 configuration "AutoFlippingLabel"
311 model "six_pos"
312 position "head"
313 ]
314 LabelGraphics
315 [
316 text "[4]"
317 fontSize 12
318 fontName "Dialog"
319 configuration "AutoFlippingLabel"
320 model "six_pos"
321 position "stail"
322 ]
323 LabelGraphics
324 [
325 text "[1, 1, 1, 1]"
326 fontSize 12
327 fontName "Dialog"
328 configuration "AutoFlippingLabel"
329 model "six_pos"
330 position "ttail"
331 ]
332 ]
333 edge
334 [
335 source 3
336 target 1
337 label "next reference State"
338 graphics
339 [
340 fill "#000000"
341 targetArrow "standard"
342 Line
343 [
344 ]
345 ]
346 LabelGraphics
347 [
348 text "next reference State"
349 fontSize 12
350 fontName "Dialog"
351 configuration "AutoFlippingLabel"
352 model "six_pos"
353 position "head"
354 ]
355 LabelGraphics
356 [
357 text "[1]"
358 fontSize 12
359 fontName "Dialog"
360 configuration "AutoFlippingLabel"
361 model "six_pos"
362 position "stail"
363 ]
364 LabelGraphics
365 [
366 text "[1, 0, 0]"
367 fontSize 12
368 fontName "Dialog"
369 configuration "AutoFlippingLabel"
370 model "six_pos"
371 position "ttail"
372 ]
373 ]
374]
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic2NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic2NEIGHBOURHOOD.gml
new file mode 100644
index 00000000..4fe07a99
--- /dev/null
+++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic2NEIGHBOURHOOD.gml
@@ -0,0 +1,560 @@
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 -316.0
15 y 303.0
16 w 137.5
17 h 40.0
18 type "roundrectangle"
19 fill "#FFCC00"
20 outline "#000000"
21 ]
22 LabelGraphics
23 [
24 ]
25 LabelGraphics
26 [
27 text "[State class] (1)"
28 fontSize 14
29 fontName "Dialog"
30 anchor "c"
31 ]
32 ]
33 node
34 [
35 id 1
36 label ""
37 graphics
38 [
39 x 49.0
40 y -220.0
41 w 176.0
42 h 40.0
43 type "roundrectangle"
44 fill "#FFCC00"
45 outline "#000000"
46 ]
47 LabelGraphics
48 [
49 ]
50 LabelGraphics
51 [
52 text "[Statechart class] (1)"
53 fontSize 14
54 fontName "Dialog"
55 anchor "c"
56 ]
57 ]
58 node
59 [
60 id 2
61 label ""
62 graphics
63 [
64 x -280.0
65 y 100.0
66 w 137.5
67 h 40.0
68 type "roundrectangle"
69 fill "#FFCC00"
70 outline "#000000"
71 ]
72 LabelGraphics
73 [
74 ]
75 LabelGraphics
76 [
77 text "[State class] (1)"
78 fontSize 14
79 fontName "Dialog"
80 anchor "c"
81 ]
82 ]
83 node
84 [
85 id 3
86 label ""
87 graphics
88 [
89 x 156.0
90 y 100.0
91 w 137.5
92 h 40.0
93 type "roundrectangle"
94 fill "#FFCC00"
95 outline "#000000"
96 ]
97 LabelGraphics
98 [
99 ]
100 LabelGraphics
101 [
102 text "[State class] (1)"
103 fontSize 14
104 fontName "Dialog"
105 anchor "c"
106 ]
107 ]
108 node
109 [
110 id 4
111 label ""
112 graphics
113 [
114 x -270.0
115 y -92.0
116 w 137.5
117 h 40.0
118 type "roundrectangle"
119 fill "#FFCC00"
120 outline "#000000"
121 ]
122 LabelGraphics
123 [
124 ]
125 LabelGraphics
126 [
127 text "[Entry class] (1)"
128 fontSize 14
129 fontName "Dialog"
130 anchor "c"
131 ]
132 ]
133 node
134 [
135 id 5
136 label ""
137 graphics
138 [
139 x 425.0
140 y -220.0
141 w 137.5
142 h 40.0
143 type "roundrectangle"
144 fill "#FFCC00"
145 outline "#000000"
146 ]
147 LabelGraphics
148 [
149 ]
150 LabelGraphics
151 [
152 text "[State class] (2)"
153 fontSize 14
154 fontName "Dialog"
155 anchor "c"
156 ]
157 ]
158 edge
159 [
160 source 0
161 target 2
162 label "next reference State"
163 graphics
164 [
165 fill "#000000"
166 targetArrow "standard"
167 Line
168 [
169 point
170 [
171 x -316.0
172 y 303.0
173 ]
174 point
175 [
176 x -280.0
177 y 198.5
178 ]
179 point
180 [
181 x -292.0
182 y 198.5
183 ]
184 point
185 [
186 x -280.0
187 y 100.0
188 ]
189 ]
190 ]
191 edgeAnchor
192 [
193 xSource 0.5236363636363637
194 xTarget -0.17454545454545456
195 ]
196 LabelGraphics
197 [
198 text "next reference State"
199 fontSize 12
200 fontName "Dialog"
201 configuration "AutoFlippingLabel"
202 contentWidth 112.064453125
203 contentHeight 18.701171875
204 model "six_pos"
205 position "head"
206 ]
207 LabelGraphics
208 [
209 text "[1]"
210 fontSize 12
211 fontName "Dialog"
212 configuration "AutoFlippingLabel"
213 contentWidth 17.341796875
214 contentHeight 18.701171875
215 model "six_pos"
216 position "stail"
217 ]
218 LabelGraphics
219 [
220 text "[1]"
221 fontSize 12
222 fontName "Dialog"
223 configuration "AutoFlippingLabel"
224 contentWidth 17.341796875
225 contentHeight 18.701171875
226 model "six_pos"
227 position "ttail"
228 ]
229 ]
230 edge
231 [
232 source 1
233 target 5
234 label "state reference Statechart"
235 graphics
236 [
237 fill "#000000"
238 targetArrow "standard"
239 ]
240 edgeAnchor
241 [
242 xSource -0.625
243 ]
244 LabelGraphics
245 [
246 text "state reference Statechart"
247 fontSize 12
248 fontName "Dialog"
249 configuration "AutoFlippingLabel"
250 contentWidth 142.076171875
251 contentHeight 18.701171875
252 model "six_pos"
253 position "head"
254 ]
255 LabelGraphics
256 [
257 text "[1, 1, 1, 2]"
258 fontSize 12
259 fontName "Dialog"
260 configuration "AutoFlippingLabel"
261 contentWidth 57.3671875
262 contentHeight 18.701171875
263 model "six_pos"
264 position "stail"
265 ]
266 LabelGraphics
267 [
268 text "[1, 1]"
269 fontSize 12
270 fontName "Dialog"
271 configuration "AutoFlippingLabel"
272 contentWidth 30.68359375
273 contentHeight 18.701171875
274 model "six_pos"
275 position "ttail"
276 ]
277 ]
278 edge
279 [
280 source 1
281 target 4
282 label "entry reference Statechart"
283 graphics
284 [
285 fill "#000000"
286 targetArrow "standard"
287 Line
288 [
289 point
290 [
291 x 49.0
292 y -220.0
293 ]
294 point
295 [
296 x -270.0
297 y -220.0
298 ]
299 point
300 [
301 x -270.0
302 y -92.0
303 ]
304 ]
305 ]
306 LabelGraphics
307 [
308 text "entry reference Statechart"
309 fontSize 12
310 fontName "Dialog"
311 configuration "AutoFlippingLabel"
312 contentWidth 142.73828125
313 contentHeight 18.701171875
314 model "six_pos"
315 position "head"
316 ]
317 LabelGraphics
318 [
319 text "[1]"
320 fontSize 12
321 fontName "Dialog"
322 configuration "AutoFlippingLabel"
323 contentWidth 17.341796875
324 contentHeight 18.701171875
325 model "six_pos"
326 position "stail"
327 ]
328 LabelGraphics
329 [
330 text "[1]"
331 fontSize 12
332 fontName "Dialog"
333 configuration "AutoFlippingLabel"
334 contentWidth 17.341796875
335 contentHeight 18.701171875
336 model "six_pos"
337 position "ttail"
338 ]
339 ]
340 edge
341 [
342 source 2
343 target 3
344 label "next reference State"
345 graphics
346 [
347 fill "#000000"
348 targetArrow "standard"
349 ]
350 LabelGraphics
351 [
352 text "next reference State"
353 fontSize 12
354 fontName "Dialog"
355 configuration "AutoFlippingLabel"
356 contentWidth 112.064453125
357 contentHeight 18.701171875
358 model "six_pos"
359 position "head"
360 ]
361 LabelGraphics
362 [
363 text "[1]"
364 fontSize 12
365 fontName "Dialog"
366 configuration "AutoFlippingLabel"
367 contentWidth 17.341796875
368 contentHeight 18.701171875
369 model "six_pos"
370 position "stail"
371 ]
372 LabelGraphics
373 [
374 text "[1]"
375 fontSize 12
376 fontName "Dialog"
377 configuration "AutoFlippingLabel"
378 contentWidth 17.341796875
379 contentHeight 18.701171875
380 model "six_pos"
381 position "ttail"
382 ]
383 ]
384 edge
385 [
386 source 3
387 target 5
388 label "next reference State"
389 graphics
390 [
391 fill "#000000"
392 targetArrow "standard"
393 Line
394 [
395 point
396 [
397 x 156.0
398 y 100.0
399 ]
400 point
401 [
402 x 425.0
403 y 100.0
404 ]
405 point
406 [
407 x 425.0
408 y -220.0
409 ]
410 ]
411 ]
412 edgeAnchor
413 [
414 xSource -0.8
415 ]
416 LabelGraphics
417 [
418 text "next reference State"
419 fontSize 12
420 fontName "Dialog"
421 configuration "AutoFlippingLabel"
422 contentWidth 112.064453125
423 contentHeight 18.701171875
424 model "six_pos"
425 position "head"
426 ]
427 LabelGraphics
428 [
429 text "[1]"
430 fontSize 12
431 fontName "Dialog"
432 configuration "AutoFlippingLabel"
433 contentWidth 17.341796875
434 contentHeight 18.701171875
435 model "six_pos"
436 position "stail"
437 ]
438 LabelGraphics
439 [
440 text "[1, 0]"
441 fontSize 12
442 fontName "Dialog"
443 configuration "AutoFlippingLabel"
444 contentWidth 30.68359375
445 contentHeight 18.701171875
446 model "six_pos"
447 position "ttail"
448 ]
449 ]
450 edge
451 [
452 source 4
453 target 2
454 label "entry reference Entry"
455 graphics
456 [
457 fill "#000000"
458 targetArrow "standard"
459 ]
460 edgeAnchor
461 [
462 xTarget 0.14545454545454545
463 ]
464 LabelGraphics
465 [
466 text "entry reference Entry"
467 fontSize 12
468 fontName "Dialog"
469 configuration "AutoFlippingLabel"
470 contentWidth 116.048828125
471 contentHeight 18.701171875
472 model "six_pos"
473 position "head"
474 ]
475 LabelGraphics
476 [
477 text "[1]"
478 fontSize 12
479 fontName "Dialog"
480 configuration "AutoFlippingLabel"
481 contentWidth 17.341796875
482 contentHeight 18.701171875
483 model "six_pos"
484 position "stail"
485 ]
486 LabelGraphics
487 [
488 text "[1]"
489 fontSize 12
490 fontName "Dialog"
491 configuration "AutoFlippingLabel"
492 contentWidth 17.341796875
493 contentHeight 18.701171875
494 model "six_pos"
495 position "ttail"
496 ]
497 ]
498 edge
499 [
500 source 5
501 target 5
502 label "next reference State"
503 graphics
504 [
505 fill "#000000"
506 targetArrow "standard"
507 Line
508 [
509 point
510 [
511 x 425.0
512 y -220.0
513 ]
514 point
515 [
516 x 425.0
517 y -270.0
518 ]
519 point
520 [
521 x 425.0
522 y -220.0
523 ]
524 ]
525 ]
526 LabelGraphics
527 [
528 text "next reference State"
529 fontSize 12
530 fontName "Dialog"
531 configuration "AutoFlippingLabel"
532 contentWidth 112.064453125
533 contentHeight 18.701171875
534 model "six_pos"
535 position "head"
536 ]
537 LabelGraphics
538 [
539 text "[1, 1]"
540 fontSize 12
541 fontName "Dialog"
542 configuration "AutoFlippingLabel"
543 contentWidth 30.68359375
544 contentHeight 18.701171875
545 model "six_pos"
546 position "stail"
547 ]
548 LabelGraphics
549 [
550 text "[1, 0]"
551 fontSize 12
552 fontName "Dialog"
553 configuration "AutoFlippingLabel"
554 contentWidth 30.68359375
555 contentHeight 18.701171875
556 model "six_pos"
557 position "ttail"
558 ]
559 ]
560]
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic3NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic3NEIGHBOURHOOD.gml
new file mode 100644
index 00000000..4c6b4ee5
--- /dev/null
+++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic3NEIGHBOURHOOD.gml
@@ -0,0 +1,639 @@
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 332.0
15 y 59.0
16 w 137.5
17 h 40.0
18 type "roundrectangle"
19 fill "#FFCC00"
20 outline "#000000"
21 ]
22 LabelGraphics
23 [
24 ]
25 LabelGraphics
26 [
27 text "[State class] (1)"
28 fontSize 14
29 fontName "Dialog"
30 anchor "c"
31 ]
32 ]
33 node
34 [
35 id 1
36 label ""
37 graphics
38 [
39 x 38.0
40 y -148.0
41 w 137.5
42 h 40.0
43 type "roundrectangle"
44 fill "#FFCC00"
45 outline "#000000"
46 ]
47 LabelGraphics
48 [
49 ]
50 LabelGraphics
51 [
52 text "[State class] (1)"
53 fontSize 14
54 fontName "Dialog"
55 anchor "c"
56 ]
57 ]
58 node
59 [
60 id 2
61 label ""
62 graphics
63 [
64 x -247.0
65 y -148.0
66 w 137.5
67 h 40.0
68 type "roundrectangle"
69 fill "#FFCC00"
70 outline "#000000"
71 ]
72 LabelGraphics
73 [
74 ]
75 LabelGraphics
76 [
77 text "[Entry class] (1)"
78 fontSize 14
79 fontName "Dialog"
80 anchor "c"
81 ]
82 ]
83 node
84 [
85 id 3
86 label ""
87 graphics
88 [
89 x 23.0
90 y -252.0
91 w 176.0
92 h 40.0
93 type "roundrectangle"
94 fill "#FFCC00"
95 outline "#000000"
96 ]
97 LabelGraphics
98 [
99 ]
100 LabelGraphics
101 [
102 text "[Statechart class] (1)"
103 fontSize 14
104 fontName "Dialog"
105 anchor "c"
106 ]
107 ]
108 node
109 [
110 id 4
111 label ""
112 graphics
113 [
114 x 340.0
115 y 259.0
116 w 137.5
117 h 40.0
118 type "roundrectangle"
119 fill "#FFCC00"
120 outline "#000000"
121 ]
122 LabelGraphics
123 [
124 ]
125 LabelGraphics
126 [
127 text "[State class] (1)"
128 fontSize 14
129 fontName "Dialog"
130 anchor "c"
131 ]
132 ]
133 node
134 [
135 id 5
136 label ""
137 graphics
138 [
139 x 340.0
140 y -141.0
141 w 137.5
142 h 40.0
143 type "roundrectangle"
144 fill "#FFCC00"
145 outline "#000000"
146 ]
147 LabelGraphics
148 [
149 ]
150 LabelGraphics
151 [
152 text "[State class] (1)"
153 fontSize 14
154 fontName "Dialog"
155 anchor "c"
156 ]
157 ]
158 node
159 [
160 id 6
161 label ""
162 graphics
163 [
164 x -282.0
165 y 153.0
166 w 137.5
167 h 40.0
168 type "roundrectangle"
169 fill "#FFCC00"
170 outline "#000000"
171 ]
172 LabelGraphics
173 [
174 ]
175 LabelGraphics
176 [
177 text "[State class] (1)"
178 fontSize 14
179 fontName "Dialog"
180 anchor "c"
181 ]
182 ]
183 edge
184 [
185 source 4
186 target 6
187 label "next reference State"
188 graphics
189 [
190 fill "#000000"
191 targetArrow "standard"
192 Line
193 [
194 point
195 [
196 x 340.0
197 y 259.0
198 ]
199 point
200 [
201 x 377.5
202 y 325.5
203 ]
204 point
205 [
206 x -262.0
207 y 325.5
208 ]
209 point
210 [
211 x -262.0
212 y 278.75
213 ]
214 point
215 [
216 x -282.0
217 y 278.75
218 ]
219 point
220 [
221 x -282.0
222 y 153.0
223 ]
224 ]
225 ]
226 edgeAnchor
227 [
228 xSource 0.5454545454545454
229 ySource 0.975
230 ]
231 LabelGraphics
232 [
233 text "next reference State"
234 fontSize 12
235 fontName "Dialog"
236 configuration "AutoFlippingLabel"
237 contentWidth 112.064453125
238 contentHeight 18.701171875
239 model "six_pos"
240 position "head"
241 ]
242 LabelGraphics
243 [
244 text "[1]"
245 fontSize 12
246 fontName "Dialog"
247 configuration "AutoFlippingLabel"
248 contentWidth 17.341796875
249 contentHeight 18.701171875
250 model "six_pos"
251 position "stail"
252 ]
253 LabelGraphics
254 [
255 text "[1]"
256 fontSize 12
257 fontName "Dialog"
258 configuration "AutoFlippingLabel"
259 contentWidth 17.341796875
260 contentHeight 18.701171875
261 model "six_pos"
262 position "ttail"
263 ]
264 ]
265 edge
266 [
267 source 0
268 target 4
269 label "next reference State"
270 graphics
271 [
272 fill "#000000"
273 targetArrow "standard"
274 ]
275 edgeAnchor
276 [
277 xSource 0.11636363636363636
278 ySource 0.225
279 ]
280 LabelGraphics
281 [
282 text "next reference State"
283 fontSize 12
284 fontName "Dialog"
285 configuration "AutoFlippingLabel"
286 contentWidth 112.064453125
287 contentHeight 18.701171875
288 model "six_pos"
289 position "head"
290 ]
291 LabelGraphics
292 [
293 text "[1]"
294 fontSize 12
295 fontName "Dialog"
296 configuration "AutoFlippingLabel"
297 contentWidth 17.341796875
298 contentHeight 18.701171875
299 model "six_pos"
300 position "stail"
301 ]
302 LabelGraphics
303 [
304 text "[1]"
305 fontSize 12
306 fontName "Dialog"
307 configuration "AutoFlippingLabel"
308 contentWidth 17.341796875
309 contentHeight 18.701171875
310 model "six_pos"
311 position "ttail"
312 ]
313 ]
314 edge
315 [
316 source 1
317 target 5
318 label "next reference State"
319 graphics
320 [
321 fill "#000000"
322 targetArrow "standard"
323 ]
324 edgeAnchor
325 [
326 xSource 0.2690909090909091
327 ySource 0.35
328 ]
329 LabelGraphics
330 [
331 text "next reference State"
332 fontSize 12
333 fontName "Dialog"
334 configuration "AutoFlippingLabel"
335 contentWidth 112.064453125
336 contentHeight 18.701171875
337 model "six_pos"
338 position "head"
339 ]
340 LabelGraphics
341 [
342 text "[1]"
343 fontSize 12
344 fontName "Dialog"
345 configuration "AutoFlippingLabel"
346 contentWidth 17.341796875
347 contentHeight 18.701171875
348 model "six_pos"
349 position "stail"
350 ]
351 LabelGraphics
352 [
353 text "[1]"
354 fontSize 12
355 fontName "Dialog"
356 configuration "AutoFlippingLabel"
357 contentWidth 17.341796875
358 contentHeight 18.701171875
359 model "six_pos"
360 position "ttail"
361 ]
362 ]
363 edge
364 [
365 source 5
366 target 0
367 label "next reference State"
368 graphics
369 [
370 fill "#000000"
371 targetArrow "standard"
372 ]
373 edgeAnchor
374 [
375 xTarget 0.11636363636363636
376 ]
377 LabelGraphics
378 [
379 text "next reference State"
380 fontSize 12
381 fontName "Dialog"
382 configuration "AutoFlippingLabel"
383 contentWidth 112.064453125
384 contentHeight 18.701171875
385 model "six_pos"
386 position "head"
387 ]
388 LabelGraphics
389 [
390 text "[1]"
391 fontSize 12
392 fontName "Dialog"
393 configuration "AutoFlippingLabel"
394 contentWidth 17.341796875
395 contentHeight 18.701171875
396 model "six_pos"
397 position "stail"
398 ]
399 LabelGraphics
400 [
401 text "[1]"
402 fontSize 12
403 fontName "Dialog"
404 configuration "AutoFlippingLabel"
405 contentWidth 17.341796875
406 contentHeight 18.701171875
407 model "six_pos"
408 position "ttail"
409 ]
410 ]
411 edge
412 [
413 source 2
414 target 6
415 label "entry reference Entry"
416 graphics
417 [
418 fill "#000000"
419 targetArrow "standard"
420 ]
421 edgeAnchor
422 [
423 xSource -0.509090909090909
424 ]
425 LabelGraphics
426 [
427 text "entry reference Entry"
428 fontSize 12
429 fontName "Dialog"
430 configuration "AutoFlippingLabel"
431 contentWidth 116.048828125
432 contentHeight 18.701171875
433 model "six_pos"
434 position "head"
435 ]
436 LabelGraphics
437 [
438 text "[1]"
439 fontSize 12
440 fontName "Dialog"
441 configuration "AutoFlippingLabel"
442 contentWidth 17.341796875
443 contentHeight 18.701171875
444 model "six_pos"
445 position "stail"
446 ]
447 LabelGraphics
448 [
449 text "[1]"
450 fontSize 12
451 fontName "Dialog"
452 configuration "AutoFlippingLabel"
453 contentWidth 17.341796875
454 contentHeight 18.701171875
455 model "six_pos"
456 position "ttail"
457 ]
458 ]
459 edge
460 [
461 source 3
462 target 1
463 label "state reference Statechart"
464 graphics
465 [
466 fill "#000000"
467 targetArrow "standard"
468 ]
469 edgeAnchor
470 [
471 xTarget -0.21818181818181817
472 ]
473 LabelGraphics
474 [
475 text "state reference Statechart"
476 fontSize 12
477 fontName "Dialog"
478 configuration "AutoFlippingLabel"
479 contentWidth 142.076171875
480 contentHeight 18.701171875
481 model "six_pos"
482 position "head"
483 ]
484 LabelGraphics
485 [
486 text "[1, 1, 1, 1, 1]"
487 fontSize 12
488 fontName "Dialog"
489 configuration "AutoFlippingLabel"
490 contentWidth 70.708984375
491 contentHeight 18.701171875
492 model "six_pos"
493 position "stail"
494 ]
495 LabelGraphics
496 [
497 text "[1]"
498 fontSize 12
499 fontName "Dialog"
500 configuration "AutoFlippingLabel"
501 contentWidth 17.341796875
502 contentHeight 18.701171875
503 model "six_pos"
504 position "ttail"
505 ]
506 ]
507 edge
508 [
509 source 3
510 target 2
511 label "entry reference Statechart"
512 graphics
513 [
514 fill "#000000"
515 targetArrow "standard"
516 Line
517 [
518 point
519 [
520 x 23.0
521 y -252.0
522 ]
523 point
524 [
525 x -247.0
526 y -252.0
527 ]
528 point
529 [
530 x -247.0
531 y -148.0
532 ]
533 ]
534 ]
535 edgeAnchor
536 [
537 yTarget -1.0
538 ]
539 LabelGraphics
540 [
541 text "entry reference Statechart"
542 fontSize 12
543 fontName "Dialog"
544 configuration "AutoFlippingLabel"
545 contentWidth 142.73828125
546 contentHeight 18.701171875
547 model "six_pos"
548 position "head"
549 ]
550 LabelGraphics
551 [
552 text "[1]"
553 fontSize 12
554 fontName "Dialog"
555 configuration "AutoFlippingLabel"
556 contentWidth 17.341796875
557 contentHeight 18.701171875
558 model "six_pos"
559 position "stail"
560 ]
561 LabelGraphics
562 [
563 text "[1]"
564 fontSize 12
565 fontName "Dialog"
566 configuration "AutoFlippingLabel"
567 contentWidth 17.341796875
568 contentHeight 18.701171875
569 model "six_pos"
570 position "ttail"
571 ]
572 ]
573 edge
574 [
575 source 6
576 target 1
577 label "next reference State"
578 graphics
579 [
580 fill "#000000"
581 targetArrow "standard"
582 Line
583 [
584 point
585 [
586 x -282.0
587 y 153.0
588 ]
589 point
590 [
591 x 3.0
592 y 153.0
593 ]
594 point
595 [
596 x 38.0
597 y -148.0
598 ]
599 ]
600 ]
601 edgeAnchor
602 [
603 xTarget -0.509090909090909
604 ]
605 LabelGraphics
606 [
607 text "next reference State"
608 fontSize 12
609 fontName "Dialog"
610 configuration "AutoFlippingLabel"
611 contentWidth 112.064453125
612 contentHeight 18.701171875
613 model "six_pos"
614 position "head"
615 ]
616 LabelGraphics
617 [
618 text "[1]"
619 fontSize 12
620 fontName "Dialog"
621 configuration "AutoFlippingLabel"
622 contentWidth 17.341796875
623 contentHeight 18.701171875
624 model "six_pos"
625 position "stail"
626 ]
627 LabelGraphics
628 [
629 text "[1]"
630 fontSize 12
631 fontName "Dialog"
632 configuration "AutoFlippingLabel"
633 contentWidth 17.341796875
634 contentHeight 18.701171875
635 model "six_pos"
636 position "ttail"
637 ]
638 ]
639]
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealisticMODEL.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealisticMODEL.gml
new file mode 100644
index 00000000..5102dc66
--- /dev/null
+++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealisticMODEL.gml
@@ -0,0 +1,698 @@
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 138.60000000000002
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 Statechart 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 100.10000000000001
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 State 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 100.10000000000001
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 State 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 100.10000000000001
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 State 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 100.10000000000001
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 State 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 100.10000000000001
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 State 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 100.10000000000001
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 Entry 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 112.2
331 h 26
332 type "rectangle"
333 fill "#FFFFFF"
334 fill2 "#FFFFFF"
335 outline "#000000"
336 ]
337 LabelGraphics
338 [
339 text "New Integers"
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 "
352 fontSize 14
353 fontName "Consolas"
354 alignment "left"
355 anchor "tl"
356 borderDistance 6
357 ]
358 ]
359
360 node
361 [
362 id 10
363 graphics
364 [
365 w 85.80000000000001
366 h 26
367 type "rectangle"
368 fill "#FFFFFF"
369 fill2 "#FFFFFF"
370 outline "#000000"
371 ]
372 LabelGraphics
373 [
374 text "New Reals"
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 "
387 fontSize 14
388 fontName "Consolas"
389 alignment "left"
390 anchor "tl"
391 borderDistance 6
392 ]
393 ]
394
395 node
396 [
397 id 11
398 graphics
399 [
400 w 103.4
401 h 26
402 type "rectangle"
403 fill "#FFFFFF"
404 fill2 "#FFFFFF"
405 outline "#000000"
406 ]
407 LabelGraphics
408 [
409 text "New Strings"
410 outline "#000000"
411 fill "#FFFFFF"
412 fontSize 16
413 fontName "Monospace"
414 autoSizePolicy "node_width"
415 anchor "t"
416 borderDistance 0.0
417 ]
418 LabelGraphics
419 [
420 text "
421 "
422 fontSize 14
423 fontName "Consolas"
424 alignment "left"
425 anchor "tl"
426 borderDistance 6
427 ]
428 ]
429
430 node
431 [
432 id 12
433 graphics
434 [
435 w 103.4
436 h 26
437 type "rectangle"
438 fill "#FFFFFF"
439 fill2 "#FFFFFF"
440 outline "#000000"
441 ]
442 LabelGraphics
443 [
444 text "New Objects"
445 outline "#000000"
446 fill "#FFFFFF"
447 fontSize 16
448 fontName "Monospace"
449 autoSizePolicy "node_width"
450 anchor "t"
451 borderDistance 0.0
452 ]
453 LabelGraphics
454 [
455 text "
456 "
457 fontSize 14
458 fontName "Consolas"
459 alignment "left"
460 anchor "tl"
461 borderDistance 6
462 ]
463 ]
464 edge
465 [
466 source 3
467 target 4
468 graphics
469 [
470 fill "#000000"
471 targetArrow "standard"
472 ]
473 LabelGraphics
474 [
475 text "next reference State"
476 fontSize 14
477 fontName "Consolas"
478 configuration "AutoFlippingLabel"
479 model "six_pos"
480 position "thead"
481 ]
482 ]
483 edge
484 [
485 source 4
486 target 5
487 graphics
488 [
489 fill "#000000"
490 targetArrow "standard"
491 ]
492 LabelGraphics
493 [
494 text "next reference State"
495 fontSize 14
496 fontName "Consolas"
497 configuration "AutoFlippingLabel"
498 model "six_pos"
499 position "thead"
500 ]
501 ]
502 edge
503 [
504 source 5
505 target 6
506 graphics
507 [
508 fill "#000000"
509 targetArrow "standard"
510 ]
511 LabelGraphics
512 [
513 text "next reference State"
514 fontSize 14
515 fontName "Consolas"
516 configuration "AutoFlippingLabel"
517 model "six_pos"
518 position "thead"
519 ]
520 ]
521 edge
522 [
523 source 6
524 target 7
525 graphics
526 [
527 fill "#000000"
528 targetArrow "standard"
529 ]
530 LabelGraphics
531 [
532 text "next reference State"
533 fontSize 14
534 fontName "Consolas"
535 configuration "AutoFlippingLabel"
536 model "six_pos"
537 position "thead"
538 ]
539 ]
540 edge
541 [
542 source 7
543 target 3
544 graphics
545 [
546 fill "#000000"
547 targetArrow "standard"
548 ]
549 LabelGraphics
550 [
551 text "next reference State"
552 fontSize 14
553 fontName "Consolas"
554 configuration "AutoFlippingLabel"
555 model "six_pos"
556 position "thead"
557 ]
558 ]
559 edge
560 [
561 source 8
562 target 3
563 graphics
564 [
565 fill "#000000"
566 targetArrow "standard"
567 ]
568 LabelGraphics
569 [
570 text "entry reference Entry"
571 fontSize 14
572 fontName "Consolas"
573 configuration "AutoFlippingLabel"
574 model "six_pos"
575 position "thead"
576 ]
577 ]
578 edge
579 [
580 source 2
581 target 3
582 graphics
583 [
584 fill "#000000"
585 width 3
586 targetArrow "standard"
587 ]
588 LabelGraphics
589 [
590 text "state reference Statechart"
591 fontSize 14
592 fontName "Consolas"
593 configuration "AutoFlippingLabel"
594 model "six_pos"
595 position "thead"
596 ]
597 ]
598 edge
599 [
600 source 2
601 target 4
602 graphics
603 [
604 fill "#000000"
605 width 3
606 targetArrow "standard"
607 ]
608 LabelGraphics
609 [
610 text "state reference Statechart"
611 fontSize 14
612 fontName "Consolas"
613 configuration "AutoFlippingLabel"
614 model "six_pos"
615 position "thead"
616 ]
617 ]
618 edge
619 [
620 source 2
621 target 5
622 graphics
623 [
624 fill "#000000"
625 width 3
626 targetArrow "standard"
627 ]
628 LabelGraphics
629 [
630 text "state reference Statechart"
631 fontSize 14
632 fontName "Consolas"
633 configuration "AutoFlippingLabel"
634 model "six_pos"
635 position "thead"
636 ]
637 ]
638 edge
639 [
640 source 2
641 target 6
642 graphics
643 [
644 fill "#000000"
645 width 3
646 targetArrow "standard"
647 ]
648 LabelGraphics
649 [
650 text "state reference Statechart"
651 fontSize 14
652 fontName "Consolas"
653 configuration "AutoFlippingLabel"
654 model "six_pos"
655 position "thead"
656 ]
657 ]
658 edge
659 [
660 source 2
661 target 7
662 graphics
663 [
664 fill "#000000"
665 width 3
666 targetArrow "standard"
667 ]
668 LabelGraphics
669 [
670 text "state reference Statechart"
671 fontSize 14
672 fontName "Consolas"
673 configuration "AutoFlippingLabel"
674 model "six_pos"
675 position "thead"
676 ]
677 ]
678 edge
679 [
680 source 2
681 target 8
682 graphics
683 [
684 fill "#000000"
685 width 3
686 targetArrow "standard"
687 ]
688 LabelGraphics
689 [
690 text "entry reference Statechart"
691 fontSize 14
692 fontName "Consolas"
693 configuration "AutoFlippingLabel"
694 model "six_pos"
695 position "thead"
696 ]
697 ]
698]
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic0NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic0NEIGHBOURHOOD.gml
new file mode 100644
index 00000000..05929964
--- /dev/null
+++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic0NEIGHBOURHOOD.gml
@@ -0,0 +1,314 @@
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 120.0
15 y 68.0
16 w 137.5
17 h 40.0
18 type "roundrectangle"
19 fill "#FFCC00"
20 outline "#000000"
21 ]
22 LabelGraphics
23 [
24 ]
25 LabelGraphics
26 [
27 text "[State class] (5)"
28 fontSize 14
29 fontName "Dialog"
30 anchor "c"
31 ]
32 ]
33 node
34 [
35 id 1
36 label ""
37 graphics
38 [
39 x 435.0
40 y 82.0
41 w 176.0
42 h 40.0
43 type "roundrectangle"
44 fill "#FFCC00"
45 outline "#000000"
46 ]
47 LabelGraphics
48 [
49 ]
50 LabelGraphics
51 [
52 text "[Statechart class] (1)"
53 fontSize 14
54 fontName "Dialog"
55 anchor "c"
56 ]
57 ]
58 node
59 [
60 id 2
61 label ""
62 graphics
63 [
64 x -139.25
65 y 68.0
66 w 137.5
67 h 40.0
68 type "roundrectangle"
69 fill "#FFCC00"
70 outline "#000000"
71 ]
72 LabelGraphics
73 [
74 ]
75 LabelGraphics
76 [
77 text "[Entry class] (1)"
78 fontSize 14
79 fontName "Dialog"
80 anchor "c"
81 ]
82 ]
83 edge
84 [
85 source 0
86 target 0
87 label "next reference State"
88 graphics
89 [
90 fill "#000000"
91 targetArrow "standard"
92 Line
93 [
94 point
95 [
96 x 120.0
97 y 68.0
98 ]
99 point
100 [
101 x 90.0
102 y -141.0
103 ]
104 point
105 [
106 x 120.0
107 y 68.0
108 ]
109 ]
110 ]
111 LabelGraphics
112 [
113 text "next reference State"
114 fontSize 12
115 fontName "Dialog"
116 configuration "AutoFlippingLabel"
117 contentWidth 112.064453125
118 contentHeight 18.701171875
119 model "six_pos"
120 position "head"
121 ]
122 LabelGraphics
123 [
124 text "[1, 4, 1]"
125 fontSize 12
126 fontName "Dialog"
127 configuration "AutoFlippingLabel"
128 contentWidth 44.025390625
129 contentHeight 18.701171875
130 model "six_pos"
131 position "stail"
132 ]
133 LabelGraphics
134 [
135 text "[1, 2, 2, 1]"
136 fontSize 12
137 fontName "Dialog"
138 configuration "AutoFlippingLabel"
139 contentWidth 57.3671875
140 contentHeight 18.701171875
141 model "six_pos"
142 position "shead"
143 ]
144 ]
145 edge
146 [
147 source 1
148 target 0
149 label "state reference Statechart"
150 graphics
151 [
152 fill "#000000"
153 targetArrow "standard"
154 ]
155 edgeAnchor
156 [
157 ySource -0.7
158 ]
159 LabelGraphics
160 [
161 text "state reference Statechart"
162 fontSize 12
163 fontName "Dialog"
164 configuration "AutoFlippingLabel"
165 contentWidth 142.076171875
166 contentHeight 18.701171875
167 model "six_pos"
168 position "head"
169 ]
170 LabelGraphics
171 [
172 text "[5]"
173 fontSize 12
174 fontName "Dialog"
175 configuration "AutoFlippingLabel"
176 contentWidth 17.341796875
177 contentHeight 18.701171875
178 model "six_pos"
179 position "stail"
180 ]
181 LabelGraphics
182 [
183 text "[1, 1, 1, 1]"
184 fontSize 12
185 fontName "Dialog"
186 configuration "AutoFlippingLabel"
187 contentWidth 57.3671875
188 contentHeight 18.701171875
189 model "six_pos"
190 position "ttail"
191 ]
192 ]
193 edge
194 [
195 source 1
196 target 2
197 label "entry reference Statechart"
198 graphics
199 [
200 fill "#000000"
201 targetArrow "standard"
202 Line
203 [
204 point
205 [
206 x 435.0
207 y 82.0
208 ]
209 point
210 [
211 x 415.75
212 y 287.0
213 ]
214 point
215 [
216 x -139.25
217 y 287.0
218 ]
219 point
220 [
221 x -139.25
222 y 68.0
223 ]
224 ]
225 ]
226 edgeAnchor
227 [
228 xSource -0.21875
229 ]
230 LabelGraphics
231 [
232 text "entry reference Statechart"
233 fontSize 12
234 fontName "Dialog"
235 configuration "AutoFlippingLabel"
236 contentWidth 142.73828125
237 contentHeight 18.701171875
238 model "six_pos"
239 position "head"
240 ]
241 LabelGraphics
242 [
243 text "[1]"
244 fontSize 12
245 fontName "Dialog"
246 configuration "AutoFlippingLabel"
247 contentWidth 17.341796875
248 contentHeight 18.701171875
249 model "six_pos"
250 position "stail"
251 ]
252 LabelGraphics
253 [
254 text "[1]"
255 fontSize 12
256 fontName "Dialog"
257 configuration "AutoFlippingLabel"
258 contentWidth 17.341796875
259 contentHeight 18.701171875
260 model "six_pos"
261 position "ttail"
262 ]
263 ]
264 edge
265 [
266 source 2
267 target 0
268 label "entry reference Entry"
269 graphics
270 [
271 fill "#000000"
272 targetArrow "standard"
273 ]
274 edgeAnchor
275 [
276 ySource 0.35
277 xTarget -0.28
278 yTarget 0.35
279 ]
280 LabelGraphics
281 [
282 text "entry reference Entry"
283 fontSize 12
284 fontName "Dialog"
285 configuration "AutoFlippingLabel"
286 contentWidth 116.048828125
287 contentHeight 18.701171875
288 model "six_pos"
289 position "head"
290 ]
291 LabelGraphics
292 [
293 text "[1]"
294 fontSize 12
295 fontName "Dialog"
296 configuration "AutoFlippingLabel"
297 contentWidth 17.341796875
298 contentHeight 18.701171875
299 model "six_pos"
300 position "stail"
301 ]
302 LabelGraphics
303 [
304 text "[1, 0, 0, 0]"
305 fontSize 12
306 fontName "Dialog"
307 configuration "AutoFlippingLabel"
308 contentWidth 57.3671875
309 contentHeight 18.701171875
310 model "six_pos"
311 position "ttail"
312 ]
313 ]
314]
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic1NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic1NEIGHBOURHOOD.gml
new file mode 100644
index 00000000..09dff987
--- /dev/null
+++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic1NEIGHBOURHOOD.gml
@@ -0,0 +1,621 @@
1graph
2[
3 node
4 [
5 id 0
6 graphics
7 [
8 w 137.5
9 h 40
10 type "roundrectangle"
11 fill "#FFCC00"
12 outline "#000000"
13 ]
14 LabelGraphics
15 [
16 ]
17 LabelGraphics
18 [
19 text "[State class] (1)"
20 fontSize 14
21 fontName "Dialog"
22 ]
23 ]
24 node
25 [
26 id 1
27 graphics
28 [
29 w 137.5
30 h 40
31 type "roundrectangle"
32 fill "#FFCC00"
33 outline "#000000"
34 ]
35 LabelGraphics
36 [
37 ]
38 LabelGraphics
39 [
40 text "[Entry class] (1)"
41 fontSize 14
42 fontName "Dialog"
43 ]
44 ]
45 node
46 [
47 id 2
48 graphics
49 [
50 w 137.5
51 h 40
52 type "roundrectangle"
53 fill "#FFCC00"
54 outline "#000000"
55 ]
56 LabelGraphics
57 [
58 ]
59 LabelGraphics
60 [
61 text "[State class] (1)"
62 fontSize 14
63 fontName "Dialog"
64 ]
65 ]
66 node
67 [
68 id 3
69 graphics
70 [
71 w 137.5
72 h 40
73 type "roundrectangle"
74 fill "#FFCC00"
75 outline "#000000"
76 ]
77 LabelGraphics
78 [
79 ]
80 LabelGraphics
81 [
82 text "[State class] (1)"
83 fontSize 14
84 fontName "Dialog"
85 ]
86 ]
87 node
88 [
89 id 4
90 graphics
91 [
92 w 137.5
93 h 40
94 type "roundrectangle"
95 fill "#FFCC00"
96 outline "#000000"
97 ]
98 LabelGraphics
99 [
100 ]
101 LabelGraphics
102 [
103 text "[State class] (2)"
104 fontSize 14
105 fontName "Dialog"
106 ]
107 ]
108 node
109 [
110 id 5
111 graphics
112 [
113 w 176.0
114 h 40
115 type "roundrectangle"
116 fill "#FFCC00"
117 outline "#000000"
118 ]
119 LabelGraphics
120 [
121 ]
122 LabelGraphics
123 [
124 text "[Statechart class] (1)"
125 fontSize 14
126 fontName "Dialog"
127 ]
128 ]
129 edge
130 [
131 source 1
132 target 2
133 label "entry reference Entry"
134 graphics
135 [
136 fill "#000000"
137 targetArrow "standard"
138 Line
139 [
140 ]
141 ]
142 LabelGraphics
143 [
144 text "entry reference Entry"
145 fontSize 12
146 fontName "Dialog"
147 configuration "AutoFlippingLabel"
148 model "six_pos"
149 position "head"
150 ]
151 LabelGraphics
152 [
153 text "[1]"
154 fontSize 12
155 fontName "Dialog"
156 configuration "AutoFlippingLabel"
157 model "six_pos"
158 position "stail"
159 ]
160 LabelGraphics
161 [
162 text "[1]"
163 fontSize 12
164 fontName "Dialog"
165 configuration "AutoFlippingLabel"
166 model "six_pos"
167 position "ttail"
168 ]
169 ]
170 edge
171 [
172 source 3
173 target 2
174 label "next reference State"
175 graphics
176 [
177 fill "#000000"
178 targetArrow "standard"
179 Line
180 [
181 ]
182 ]
183 LabelGraphics
184 [
185 text "next reference State"
186 fontSize 12
187 fontName "Dialog"
188 configuration "AutoFlippingLabel"
189 model "six_pos"
190 position "head"
191 ]
192 LabelGraphics
193 [
194 text "[1]"
195 fontSize 12
196 fontName "Dialog"
197 configuration "AutoFlippingLabel"
198 model "six_pos"
199 position "stail"
200 ]
201 LabelGraphics
202 [
203 text "[1, 1, 1, 1]"
204 fontSize 12
205 fontName "Dialog"
206 configuration "AutoFlippingLabel"
207 model "six_pos"
208 position "ttail"
209 ]
210 ]
211 edge
212 [
213 source 3
214 target 0
215 label "next reference State"
216 graphics
217 [
218 fill "#000000"
219 targetArrow "standard"
220 Line
221 [
222 ]
223 ]
224 LabelGraphics
225 [
226 text "next reference State"
227 fontSize 12
228 fontName "Dialog"
229 configuration "AutoFlippingLabel"
230 model "six_pos"
231 position "head"
232 ]
233 LabelGraphics
234 [
235 text "[1]"
236 fontSize 12
237 fontName "Dialog"
238 configuration "AutoFlippingLabel"
239 model "six_pos"
240 position "stail"
241 ]
242 LabelGraphics
243 [
244 text "[1, 1, 1, 1]"
245 fontSize 12
246 fontName "Dialog"
247 configuration "AutoFlippingLabel"
248 model "six_pos"
249 position "ttail"
250 ]
251 ]
252 edge
253 [
254 source 3
255 target 4
256 label "next reference State"
257 graphics
258 [
259 fill "#000000"
260 targetArrow "standard"
261 Line
262 [
263 ]
264 ]
265 LabelGraphics
266 [
267 text "next reference State"
268 fontSize 12
269 fontName "Dialog"
270 configuration "AutoFlippingLabel"
271 model "six_pos"
272 position "head"
273 ]
274 LabelGraphics
275 [
276 text "[2]"
277 fontSize 12
278 fontName "Dialog"
279 configuration "AutoFlippingLabel"
280 model "six_pos"
281 position "stail"
282 ]
283 LabelGraphics
284 [
285 text "[1, 1, 1, 1]"
286 fontSize 12
287 fontName "Dialog"
288 configuration "AutoFlippingLabel"
289 model "six_pos"
290 position "ttail"
291 ]
292 ]
293 edge
294 [
295 source 2
296 target 3
297 label "next reference State"
298 graphics
299 [
300 fill "#000000"
301 targetArrow "standard"
302 Line
303 [
304 ]
305 ]
306 LabelGraphics
307 [
308 text "next reference State"
309 fontSize 12
310 fontName "Dialog"
311 configuration "AutoFlippingLabel"
312 model "six_pos"
313 position "head"
314 ]
315 LabelGraphics
316 [
317 text "[1]"
318 fontSize 12
319 fontName "Dialog"
320 configuration "AutoFlippingLabel"
321 model "six_pos"
322 position "stail"
323 ]
324 LabelGraphics
325 [
326 text "[1]"
327 fontSize 12
328 fontName "Dialog"
329 configuration "AutoFlippingLabel"
330 model "six_pos"
331 position "ttail"
332 ]
333 ]
334 edge
335 [
336 source 4
337 target 2
338 label "next reference State"
339 graphics
340 [
341 fill "#000000"
342 targetArrow "standard"
343 Line
344 [
345 ]
346 ]
347 LabelGraphics
348 [
349 text "next reference State"
350 fontSize 12
351 fontName "Dialog"
352 configuration "AutoFlippingLabel"
353 model "six_pos"
354 position "head"
355 ]
356 LabelGraphics
357 [
358 text "[1, 0]"
359 fontSize 12
360 fontName "Dialog"
361 configuration "AutoFlippingLabel"
362 model "six_pos"
363 position "stail"
364 ]
365 LabelGraphics
366 [
367 text "[1, 1]"
368 fontSize 12
369 fontName "Dialog"
370 configuration "AutoFlippingLabel"
371 model "six_pos"
372 position "ttail"
373 ]
374 ]
375 edge
376 [
377 source 4
378 target 3
379 label "next reference State"
380 graphics
381 [
382 fill "#000000"
383 targetArrow "standard"
384 Line
385 [
386 ]
387 ]
388 LabelGraphics
389 [
390 text "next reference State"
391 fontSize 12
392 fontName "Dialog"
393 configuration "AutoFlippingLabel"
394 model "six_pos"
395 position "head"
396 ]
397 LabelGraphics
398 [
399 text "[1, 0]"
400 fontSize 12
401 fontName "Dialog"
402 configuration "AutoFlippingLabel"
403 model "six_pos"
404 position "stail"
405 ]
406 LabelGraphics
407 [
408 text "[1, 1]"
409 fontSize 12
410 fontName "Dialog"
411 configuration "AutoFlippingLabel"
412 model "six_pos"
413 position "ttail"
414 ]
415 ]
416 edge
417 [
418 source 5
419 target 2
420 label "state reference Statechart"
421 graphics
422 [
423 fill "#000000"
424 targetArrow "standard"
425 Line
426 [
427 ]
428 ]
429 LabelGraphics
430 [
431 text "state reference Statechart"
432 fontSize 12
433 fontName "Dialog"
434 configuration "AutoFlippingLabel"
435 model "six_pos"
436 position "head"
437 ]
438 LabelGraphics
439 [
440 text "[1]"
441 fontSize 12
442 fontName "Dialog"
443 configuration "AutoFlippingLabel"
444 model "six_pos"
445 position "stail"
446 ]
447 LabelGraphics
448 [
449 text "[1, 1, 1, 1, 1]"
450 fontSize 12
451 fontName "Dialog"
452 configuration "AutoFlippingLabel"
453 model "six_pos"
454 position "ttail"
455 ]
456 ]
457 edge
458 [
459 source 5
460 target 1
461 label "entry reference Statechart"
462 graphics
463 [
464 fill "#000000"
465 targetArrow "standard"
466 Line
467 [
468 ]
469 ]
470 LabelGraphics
471 [
472 text "entry reference Statechart"
473 fontSize 12
474 fontName "Dialog"
475 configuration "AutoFlippingLabel"
476 model "six_pos"
477 position "head"
478 ]
479 LabelGraphics
480 [
481 text "[1]"
482 fontSize 12
483 fontName "Dialog"
484 configuration "AutoFlippingLabel"
485 model "six_pos"
486 position "stail"
487 ]
488 LabelGraphics
489 [
490 text "[1]"
491 fontSize 12
492 fontName "Dialog"
493 configuration "AutoFlippingLabel"
494 model "six_pos"
495 position "ttail"
496 ]
497 ]
498 edge
499 [
500 source 5
501 target 4
502 label "state reference Statechart"
503 graphics
504 [
505 fill "#000000"
506 targetArrow "standard"
507 Line
508 [
509 ]
510 ]
511 LabelGraphics
512 [
513 text "state reference Statechart"
514 fontSize 12
515 fontName "Dialog"
516 configuration "AutoFlippingLabel"
517 model "six_pos"
518 position "head"
519 ]
520 LabelGraphics
521 [
522 text "[2]"
523 fontSize 12
524 fontName "Dialog"
525 configuration "AutoFlippingLabel"
526 model "six_pos"
527 position "stail"
528 ]
529 LabelGraphics
530 [
531 text "[1, 1, 1, 1, 1]"
532 fontSize 12
533 fontName "Dialog"
534 configuration "AutoFlippingLabel"
535 model "six_pos"
536 position "ttail"
537 ]
538 ]
539 edge
540 [
541 source 5
542 target 3
543 label "state reference Statechart"
544 graphics
545 [
546 fill "#000000"
547 targetArrow "standard"
548 Line
549 [
550 ]
551 ]
552 LabelGraphics
553 [
554 text "state reference Statechart"
555 fontSize 12
556 fontName "Dialog"
557 configuration "AutoFlippingLabel"
558 model "six_pos"
559 position "head"
560 ]
561 LabelGraphics
562 [
563 text "[1]"
564 fontSize 12
565 fontName "Dialog"
566 configuration "AutoFlippingLabel"
567 model "six_pos"
568 position "stail"
569 ]
570 LabelGraphics
571 [
572 text "[1, 1, 1, 1, 1]"
573 fontSize 12
574 fontName "Dialog"
575 configuration "AutoFlippingLabel"
576 model "six_pos"
577 position "ttail"
578 ]
579 ]
580 edge
581 [
582 source 5
583 target 0
584 label "state reference Statechart"
585 graphics
586 [
587 fill "#000000"
588 targetArrow "standard"
589 Line
590 [
591 ]
592 ]
593 LabelGraphics
594 [
595 text "state reference Statechart"
596 fontSize 12
597 fontName "Dialog"
598 configuration "AutoFlippingLabel"
599 model "six_pos"
600 position "head"
601 ]
602 LabelGraphics
603 [
604 text "[1]"
605 fontSize 12
606 fontName "Dialog"
607 configuration "AutoFlippingLabel"
608 model "six_pos"
609 position "stail"
610 ]
611 LabelGraphics
612 [
613 text "[1, 1, 1, 1, 1]"
614 fontSize 12
615 fontName "Dialog"
616 configuration "AutoFlippingLabel"
617 model "six_pos"
618 position "ttail"
619 ]
620 ]
621]
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic2NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic2NEIGHBOURHOOD.gml
new file mode 100644
index 00000000..aa0f19b6
--- /dev/null
+++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic2NEIGHBOURHOOD.gml
@@ -0,0 +1,559 @@
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 -321.0
15 y 198.0
16 w 137.5
17 h 40.0
18 type "roundrectangle"
19 fill "#FFCC00"
20 outline "#000000"
21 ]
22 LabelGraphics
23 [
24 ]
25 LabelGraphics
26 [
27 text "[State class] (1)"
28 fontSize 14
29 fontName "Dialog"
30 anchor "c"
31 ]
32 ]
33 node
34 [
35 id 1
36 label ""
37 graphics
38 [
39 x 312.0
40 y -56.0
41 w 137.5
42 h 40.0
43 type "roundrectangle"
44 fill "#FFCC00"
45 outline "#000000"
46 ]
47 LabelGraphics
48 [
49 ]
50 LabelGraphics
51 [
52 text "[State class] (1)"
53 fontSize 14
54 fontName "Dialog"
55 anchor "c"
56 ]
57 ]
58 node
59 [
60 id 2
61 label ""
62 graphics
63 [
64 x 337.0
65 y 323.0
66 w 137.5
67 h 40.0
68 type "roundrectangle"
69 fill "#FFCC00"
70 outline "#000000"
71 ]
72 LabelGraphics
73 [
74 ]
75 LabelGraphics
76 [
77 text "[State class] (1)"
78 fontSize 14
79 fontName "Dialog"
80 anchor "c"
81 ]
82 ]
83 node
84 [
85 id 3
86 label ""
87 graphics
88 [
89 x 40.75
90 y 192.0
91 w 137.5
92 h 40.0
93 type "roundrectangle"
94 fill "#FFCC00"
95 outline "#000000"
96 ]
97 LabelGraphics
98 [
99 ]
100 LabelGraphics
101 [
102 text "[State class] (1)"
103 fontSize 14
104 fontName "Dialog"
105 anchor "c"
106 ]
107 ]
108 node
109 [
110 id 4
111 label ""
112 graphics
113 [
114 x -321.0
115 y 47.0
116 w 137.5
117 h 40.0
118 type "roundrectangle"
119 fill "#FFCC00"
120 outline "#000000"
121 ]
122 LabelGraphics
123 [
124 ]
125 LabelGraphics
126 [
127 text "[State class] (1)"
128 fontSize 14
129 fontName "Dialog"
130 anchor "c"
131 ]
132 ]
133 node
134 [
135 id 5
136 label ""
137 graphics
138 [
139 x 312.0
140 y -193.0
141 w 176.0
142 h 40.0
143 type "roundrectangle"
144 fill "#FFCC00"
145 outline "#000000"
146 ]
147 LabelGraphics
148 [
149 ]
150 LabelGraphics
151 [
152 text "[Statechart class] (1)"
153 fontSize 14
154 fontName "Dialog"
155 anchor "c"
156 ]
157 ]
158 node
159 [
160 id 6
161 label ""
162 graphics
163 [
164 x 40.75
165 y -128.0
166 w 137.5
167 h 40.0
168 type "roundrectangle"
169 fill "#FFCC00"
170 outline "#000000"
171 ]
172 LabelGraphics
173 [
174 ]
175 LabelGraphics
176 [
177 text "[Entry class] (1)"
178 fontSize 14
179 fontName "Dialog"
180 anchor "c"
181 ]
182 ]
183 edge
184 [
185 source 2
186 target 3
187 label "next reference State"
188 graphics
189 [
190 fill "#000000"
191 targetArrow "standard"
192 Line
193 [
194 point
195 [
196 x 337.0
197 y 323.0
198 ]
199 point
200 [
201 x 40.75
202 y 323.0
203 ]
204 point
205 [
206 x 40.75
207 y 192.0
208 ]
209 ]
210 ]
211 LabelGraphics
212 [
213 text "next reference State"
214 fontSize 12
215 fontName "Dialog"
216 configuration "AutoFlippingLabel"
217 contentWidth 112.064453125
218 contentHeight 18.701171875
219 model "six_pos"
220 position "head"
221 ]
222 LabelGraphics
223 [
224 text "[1, 1, 1, 1]"
225 fontSize 12
226 fontName "Dialog"
227 configuration "AutoFlippingLabel"
228 contentWidth 57.3671875
229 contentHeight 18.701171875
230 model "six_pos"
231 position "stail"
232 ]
233 LabelGraphics
234 [
235 text "[1]"
236 fontSize 12
237 fontName "Dialog"
238 configuration "AutoFlippingLabel"
239 contentWidth 17.341796875
240 contentHeight 18.701171875
241 model "six_pos"
242 position "ttail"
243 ]
244 ]
245 edge
246 [
247 source 3
248 target 2
249 label "next reference State"
250 graphics
251 [
252 fill "#000000"
253 targetArrow "standard"
254 Line
255 [
256 point
257 [
258 x 40.75
259 y 192.0
260 ]
261 point
262 [
263 x 40.75
264 y 323.0
265 ]
266 point
267 [
268 x 337.0
269 y 323.0
270 ]
271 ]
272 ]
273 LabelGraphics
274 [
275 text "next reference State"
276 fontSize 12
277 fontName "Dialog"
278 configuration "AutoFlippingLabel"
279 contentWidth 112.064453125
280 contentHeight 18.701171875
281 model "six_pos"
282 position "head"
283 ]
284 LabelGraphics
285 [
286 text "[1]"
287 fontSize 12
288 fontName "Dialog"
289 configuration "AutoFlippingLabel"
290 contentWidth 17.341796875
291 contentHeight 18.701171875
292 model "six_pos"
293 position "stail"
294 ]
295 LabelGraphics
296 [
297 text "[1]"
298 fontSize 12
299 fontName "Dialog"
300 configuration "AutoFlippingLabel"
301 contentWidth 17.341796875
302 contentHeight 18.701171875
303 model "six_pos"
304 position "ttail"
305 ]
306 ]
307 edge
308 [
309 source 5
310 target 1
311 label "state reference Statechart"
312 graphics
313 [
314 fill "#000000"
315 targetArrow "standard"
316 ]
317 LabelGraphics
318 [
319 text "state reference Statechart"
320 fontSize 12
321 fontName "Dialog"
322 configuration "AutoFlippingLabel"
323 contentWidth 142.076171875
324 contentHeight 18.701171875
325 model "six_pos"
326 position "head"
327 ]
328 LabelGraphics
329 [
330 text "[1, 1, 1, 1, 1]"
331 fontSize 12
332 fontName "Dialog"
333 configuration "AutoFlippingLabel"
334 contentWidth 70.708984375
335 contentHeight 18.701171875
336 model "six_pos"
337 position "stail"
338 ]
339 LabelGraphics
340 [
341 text "[1]"
342 fontSize 12
343 fontName "Dialog"
344 configuration "AutoFlippingLabel"
345 contentWidth 17.341796875
346 contentHeight 18.701171875
347 model "six_pos"
348 position "ttail"
349 ]
350 ]
351 edge
352 [
353 source 5
354 target 6
355 label "entry reference Statechart"
356 graphics
357 [
358 fill "#000000"
359 targetArrow "standard"
360 Line
361 [
362 point
363 [
364 x 312.0
365 y -193.0
366 ]
367 point
368 [
369 x 40.75
370 y -193.0
371 ]
372 point
373 [
374 x 40.75
375 y -128.0
376 ]
377 ]
378 ]
379 edgeAnchor
380 [
381 xSource -0.5113636363636364
382 ]
383 LabelGraphics
384 [
385 text "entry reference Statechart"
386 fontSize 12
387 fontName "Dialog"
388 configuration "AutoFlippingLabel"
389 contentWidth 142.73828125
390 contentHeight 18.701171875
391 model "six_pos"
392 position "head"
393 ]
394 LabelGraphics
395 [
396 text "[1]"
397 fontSize 12
398 fontName "Dialog"
399 configuration "AutoFlippingLabel"
400 contentWidth 17.341796875
401 contentHeight 18.701171875
402 model "six_pos"
403 position "stail"
404 ]
405 LabelGraphics
406 [
407 text "[1]"
408 fontSize 12
409 fontName "Dialog"
410 configuration "AutoFlippingLabel"
411 contentWidth 17.341796875
412 contentHeight 18.701171875
413 model "six_pos"
414 position "ttail"
415 ]
416 ]
417 edge
418 [
419 source 0
420 target 3
421 label "next reference State"
422 graphics
423 [
424 fill "#000000"
425 targetArrow "standard"
426 ]
427 edgeAnchor
428 [
429 yTarget 0.3
430 ]
431 LabelGraphics
432 [
433 text "next reference State"
434 fontSize 12
435 fontName "Dialog"
436 configuration "AutoFlippingLabel"
437 contentWidth 112.064453125
438 contentHeight 18.701171875
439 model "six_pos"
440 position "head"
441 ]
442 LabelGraphics
443 [
444 text "[1]"
445 fontSize 12
446 fontName "Dialog"
447 configuration "AutoFlippingLabel"
448 contentWidth 17.341796875
449 contentHeight 18.701171875
450 model "six_pos"
451 position "stail"
452 ]
453 LabelGraphics
454 [
455 text "[1]"
456 fontSize 12
457 fontName "Dialog"
458 configuration "AutoFlippingLabel"
459 contentWidth 17.341796875
460 contentHeight 18.701171875
461 model "six_pos"
462 position "ttail"
463 ]
464 ]
465 edge
466 [
467 source 6
468 target 3
469 label "entry reference Entry"
470 graphics
471 [
472 fill "#000000"
473 targetArrow "standard"
474 ]
475 LabelGraphics
476 [
477 text "entry reference Entry"
478 fontSize 12
479 fontName "Dialog"
480 configuration "AutoFlippingLabel"
481 contentWidth 116.048828125
482 contentHeight 18.701171875
483 model "six_pos"
484 position "head"
485 ]
486 LabelGraphics
487 [
488 text "[1]"
489 fontSize 12
490 fontName "Dialog"
491 configuration "AutoFlippingLabel"
492 contentWidth 17.341796875
493 contentHeight 18.701171875
494 model "six_pos"
495 position "stail"
496 ]
497 LabelGraphics
498 [
499 text "[1]"
500 fontSize 12
501 fontName "Dialog"
502 configuration "AutoFlippingLabel"
503 contentWidth 17.341796875
504 contentHeight 18.701171875
505 model "six_pos"
506 position "ttail"
507 ]
508 ]
509 edge
510 [
511 source 1
512 target 2
513 label "next reference State"
514 graphics
515 [
516 fill "#000000"
517 targetArrow "standard"
518 ]
519 edgeAnchor
520 [
521 xSource 0.5454545454545454
522 xTarget 0.18181818181818182
523 yTarget -0.75
524 ]
525 LabelGraphics
526 [
527 text "next reference State"
528 fontSize 12
529 fontName "Dialog"
530 configuration "AutoFlippingLabel"
531 contentWidth 112.064453125
532 contentHeight 18.701171875
533 model "six_pos"
534 position "head"
535 ]
536 LabelGraphics
537 [
538 text "[1]"
539 fontSize 12
540 fontName "Dialog"
541 configuration "AutoFlippingLabel"
542 contentWidth 17.341796875
543 contentHeight 18.701171875
544 model "six_pos"
545 position "stail"
546 ]
547 LabelGraphics
548 [
549 text "[1]"
550 fontSize 12
551 fontName "Dialog"
552 configuration "AutoFlippingLabel"
553 contentWidth 17.341796875
554 contentHeight 18.701171875
555 model "six_pos"
556 position "ttail"
557 ]
558 ]
559]
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic3NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic3NEIGHBOURHOOD.gml
new file mode 100644
index 00000000..8127e609
--- /dev/null
+++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic3NEIGHBOURHOOD.gml
@@ -0,0 +1,599 @@
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 -158.5
15 y -79.0
16 w 137.5
17 h 40.0
18 type "roundrectangle"
19 fill "#FFCC00"
20 outline "#000000"
21 ]
22 LabelGraphics
23 [
24 ]
25 LabelGraphics
26 [
27 text "[State class] (1)"
28 fontSize 14
29 fontName "Dialog"
30 anchor "c"
31 ]
32 ]
33 node
34 [
35 id 1
36 label ""
37 graphics
38 [
39 x 229.25
40 y 230.0
41 w 137.5
42 h 40.0
43 type "roundrectangle"
44 fill "#FFCC00"
45 outline "#000000"
46 ]
47 LabelGraphics
48 [
49 ]
50 LabelGraphics
51 [
52 text "[State class] (1)"
53 fontSize 14
54 fontName "Dialog"
55 anchor "c"
56 ]
57 ]
58 node
59 [
60 id 2
61 label ""
62 graphics
63 [
64 x 93.0
65 y 9.0
66 w 137.5
67 h 40.0
68 type "roundrectangle"
69 fill "#FFCC00"
70 outline "#000000"
71 ]
72 LabelGraphics
73 [
74 ]
75 LabelGraphics
76 [
77 text "[State class] (1)"
78 fontSize 14
79 fontName "Dialog"
80 anchor "c"
81 ]
82 ]
83 node
84 [
85 id 3
86 label ""
87 graphics
88 [
89 x 424.0
90 y 43.0
91 w 137.5
92 h 40.0
93 type "roundrectangle"
94 fill "#FFCC00"
95 outline "#000000"
96 ]
97 LabelGraphics
98 [
99 ]
100 LabelGraphics
101 [
102 text "[State class] (1)"
103 fontSize 14
104 fontName "Dialog"
105 anchor "c"
106 ]
107 ]
108 node
109 [
110 id 4
111 label ""
112 graphics
113 [
114 x -416.0
115 y 9.0
116 w 137.5
117 h 40.0
118 type "roundrectangle"
119 fill "#FFCC00"
120 outline "#000000"
121 ]
122 LabelGraphics
123 [
124 ]
125 LabelGraphics
126 [
127 text "[Entry class] (1)"
128 fontSize 14
129 fontName "Dialog"
130 anchor "c"
131 ]
132 ]
133 node
134 [
135 id 5
136 label ""
137 graphics
138 [
139 x -197.0
140 y 243.0
141 w 137.5
142 h 40.0
143 type "roundrectangle"
144 fill "#FFCC00"
145 outline "#000000"
146 ]
147 LabelGraphics
148 [
149 ]
150 LabelGraphics
151 [
152 text "[State class] (1)"
153 fontSize 14
154 fontName "Dialog"
155 anchor "c"
156 ]
157 ]
158 node
159 [
160 id 6
161 label ""
162 graphics
163 [
164 x -177.75
165 y -230.0
166 w 176.0
167 h 40.0
168 type "roundrectangle"
169 fill "#FFCC00"
170 outline "#000000"
171 ]
172 LabelGraphics
173 [
174 ]
175 LabelGraphics
176 [
177 text "[Statechart class] (1)"
178 fontSize 14
179 fontName "Dialog"
180 anchor "c"
181 ]
182 ]
183 edge
184 [
185 source 3
186 target 1
187 label "next reference State"
188 graphics
189 [
190 fill "#000000"
191 targetArrow "standard"
192 Line
193 [
194 point
195 [
196 x 424.0
197 y 43.0
198 ]
199 point
200 [
201 x 424.0
202 y 230.0
203 ]
204 point
205 [
206 x 229.25
207 y 230.0
208 ]
209 ]
210 ]
211 LabelGraphics
212 [
213 text "next reference State"
214 fontSize 12
215 fontName "Dialog"
216 configuration "AutoFlippingLabel"
217 contentWidth 112.064453125
218 contentHeight 18.701171875
219 model "six_pos"
220 position "head"
221 ]
222 LabelGraphics
223 [
224 text "[1]"
225 fontSize 12
226 fontName "Dialog"
227 configuration "AutoFlippingLabel"
228 contentWidth 17.341796875
229 contentHeight 18.701171875
230 model "six_pos"
231 position "stail"
232 ]
233 LabelGraphics
234 [
235 text "[1]"
236 fontSize 12
237 fontName "Dialog"
238 configuration "AutoFlippingLabel"
239 contentWidth 17.341796875
240 contentHeight 18.701171875
241 model "six_pos"
242 position "ttail"
243 ]
244 ]
245 edge
246 [
247 source 4
248 target 5
249 label "entry reference Entry"
250 graphics
251 [
252 fill "#000000"
253 targetArrow "standard"
254 Line
255 [
256 point
257 [
258 x -416.0
259 y 9.0
260 ]
261 point
262 [
263 x -321.0
264 y 9.0
265 ]
266 point
267 [
268 x -321.0
269 y 250.0
270 ]
271 point
272 [
273 x -197.0
274 y 243.0
275 ]
276 ]
277 ]
278 edgeAnchor
279 [
280 yTarget 0.35
281 ]
282 LabelGraphics
283 [
284 text "entry reference Entry"
285 fontSize 12
286 fontName "Dialog"
287 configuration "AutoFlippingLabel"
288 contentWidth 116.048828125
289 contentHeight 18.701171875
290 model "six_pos"
291 position "head"
292 ]
293 LabelGraphics
294 [
295 text "[1]"
296 fontSize 12
297 fontName "Dialog"
298 configuration "AutoFlippingLabel"
299 contentWidth 17.341796875
300 contentHeight 18.701171875
301 model "six_pos"
302 position "stail"
303 ]
304 LabelGraphics
305 [
306 text "[1]"
307 fontSize 12
308 fontName "Dialog"
309 configuration "AutoFlippingLabel"
310 contentWidth 17.341796875
311 contentHeight 18.701171875
312 model "six_pos"
313 position "ttail"
314 ]
315 ]
316 edge
317 [
318 source 5
319 target 1
320 label "next reference State"
321 graphics
322 [
323 fill "#000000"
324 targetArrow "standard"
325 Line
326 [
327 point
328 [
329 x -197.0
330 y 243.0
331 ]
332 point
333 [
334 x -180.9375
335 y 306.0
336 ]
337 point
338 [
339 x 229.25
340 y 306.0
341 ]
342 point
343 [
344 x 229.25
345 y 230.0
346 ]
347 ]
348 ]
349 edgeAnchor
350 [
351 xSource 0.23363636363636364
352 yTarget 1.0
353 ]
354 LabelGraphics
355 [
356 text "next reference State"
357 fontSize 12
358 fontName "Dialog"
359 configuration "AutoFlippingLabel"
360 contentWidth 112.064453125
361 contentHeight 18.701171875
362 model "six_pos"
363 position "head"
364 ]
365 LabelGraphics
366 [
367 text "[1]"
368 fontSize 12
369 fontName "Dialog"
370 configuration "AutoFlippingLabel"
371 contentWidth 17.341796875
372 contentHeight 18.701171875
373 model "six_pos"
374 position "stail"
375 ]
376 LabelGraphics
377 [
378 text "[1]"
379 fontSize 12
380 fontName "Dialog"
381 configuration "AutoFlippingLabel"
382 contentWidth 17.341796875
383 contentHeight 18.701171875
384 model "six_pos"
385 position "ttail"
386 ]
387 ]
388 edge
389 [
390 source 0
391 target 5
392 label "next reference State"
393 graphics
394 [
395 fill "#000000"
396 targetArrow "standard"
397 ]
398 edgeAnchor
399 [
400 xSource -0.56
401 ]
402 LabelGraphics
403 [
404 text "next reference State"
405 fontSize 12
406 fontName "Dialog"
407 configuration "AutoFlippingLabel"
408 contentWidth 112.064453125
409 contentHeight 18.701171875
410 model "six_pos"
411 position "head"
412 ]
413 LabelGraphics
414 [
415 text "[1]"
416 fontSize 12
417 fontName "Dialog"
418 configuration "AutoFlippingLabel"
419 contentWidth 17.341796875
420 contentHeight 18.701171875
421 model "six_pos"
422 position "stail"
423 ]
424 LabelGraphics
425 [
426 text "[1]"
427 fontSize 12
428 fontName "Dialog"
429 configuration "AutoFlippingLabel"
430 contentWidth 17.341796875
431 contentHeight 18.701171875
432 model "six_pos"
433 position "ttail"
434 ]
435 ]
436 edge
437 [
438 source 6
439 target 0
440 label "state reference Statechart"
441 graphics
442 [
443 fill "#000000"
444 targetArrow "standard"
445 ]
446 edgeAnchor
447 [
448 xSource 0.21875
449 ]
450 LabelGraphics
451 [
452 text "state reference Statechart"
453 fontSize 12
454 fontName "Dialog"
455 configuration "AutoFlippingLabel"
456 contentWidth 142.076171875
457 contentHeight 18.701171875
458 model "six_pos"
459 position "head"
460 ]
461 LabelGraphics
462 [
463 text "[1, 1, 1, 1, 1]"
464 fontSize 12
465 fontName "Dialog"
466 configuration "AutoFlippingLabel"
467 contentWidth 70.708984375
468 contentHeight 18.701171875
469 model "six_pos"
470 position "stail"
471 ]
472 LabelGraphics
473 [
474 text "[1]"
475 fontSize 12
476 fontName "Dialog"
477 configuration "AutoFlippingLabel"
478 contentWidth 17.341796875
479 contentHeight 18.701171875
480 model "six_pos"
481 position "ttail"
482 ]
483 ]
484 edge
485 [
486 source 6
487 target 4
488 label "entry reference Statechart"
489 graphics
490 [
491 fill "#000000"
492 targetArrow "standard"
493 Line
494 [
495 point
496 [
497 x -177.75
498 y -230.0
499 ]
500 point
501 [
502 x -416.0
503 y -230.0
504 ]
505 point
506 [
507 x -416.0
508 y 9.0
509 ]
510 ]
511 ]
512 edgeAnchor
513 [
514 xSource -0.7727272727272727
515 ]
516 LabelGraphics
517 [
518 text "entry reference Statechart"
519 fontSize 12
520 fontName "Dialog"
521 configuration "AutoFlippingLabel"
522 contentWidth 142.73828125
523 contentHeight 18.701171875
524 model "six_pos"
525 position "head"
526 ]
527 LabelGraphics
528 [
529 text "[1]"
530 fontSize 12
531 fontName "Dialog"
532 configuration "AutoFlippingLabel"
533 contentWidth 17.341796875
534 contentHeight 18.701171875
535 model "six_pos"
536 position "stail"
537 ]
538 LabelGraphics
539 [
540 text "[1]"
541 fontSize 12
542 fontName "Dialog"
543 configuration "AutoFlippingLabel"
544 contentWidth 17.341796875
545 contentHeight 18.701171875
546 model "six_pos"
547 position "ttail"
548 ]
549 ]
550 edge
551 [
552 source 1
553 target 5
554 label "next reference State"
555 graphics
556 [
557 fill "#000000"
558 targetArrow "standard"
559 ]
560 edgeAnchor
561 [
562 xTarget 0.5672727272727273
563 yTarget -0.65
564 ]
565 LabelGraphics
566 [
567 text "next reference State"
568 fontSize 12
569 fontName "Dialog"
570 configuration "AutoFlippingLabel"
571 contentWidth 112.064453125
572 contentHeight 18.701171875
573 model "six_pos"
574 position "head"
575 ]
576 LabelGraphics
577 [
578 text "[1, 1, 1, 1]"
579 fontSize 12
580 fontName "Dialog"
581 configuration "AutoFlippingLabel"
582 contentWidth 57.3671875
583 contentHeight 18.701171875
584 model "six_pos"
585 position "stail"
586 ]
587 LabelGraphics
588 [
589 text "[1]"
590 fontSize 12
591 fontName "Dialog"
592 configuration "AutoFlippingLabel"
593 contentWidth 17.341796875
594 contentHeight 18.701171875
595 model "six_pos"
596 position "ttail"
597 ]
598 ]
599]
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealisticMODEL.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealisticMODEL.gml
new file mode 100644
index 00000000..584651de
--- /dev/null
+++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealisticMODEL.gml
@@ -0,0 +1,736 @@
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 138.60000000000002
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 Statechart 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 100.10000000000001
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 State 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 100.10000000000001
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 State 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 100.10000000000001
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 State 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 100.10000000000001
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 State 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 100.10000000000001
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 State 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 100.10000000000001
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 Entry 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 112.2
331 h 26
332 type "rectangle"
333 fill "#FFFFFF"
334 fill2 "#FFFFFF"
335 outline "#000000"
336 ]
337 LabelGraphics
338 [
339 text "New Integers"
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 "
352 fontSize 14
353 fontName "Consolas"
354 alignment "left"
355 anchor "tl"
356 borderDistance 6
357 ]
358 ]
359
360 node
361 [
362 id 10
363 graphics
364 [
365 w 85.80000000000001
366 h 26
367 type "rectangle"
368 fill "#FFFFFF"
369 fill2 "#FFFFFF"
370 outline "#000000"
371 ]
372 LabelGraphics
373 [
374 text "New Reals"
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 "
387 fontSize 14
388 fontName "Consolas"
389 alignment "left"
390 anchor "tl"
391 borderDistance 6
392 ]
393 ]
394
395 node
396 [
397 id 11
398 graphics
399 [
400 w 103.4
401 h 26
402 type "rectangle"
403 fill "#FFFFFF"
404 fill2 "#FFFFFF"
405 outline "#000000"
406 ]
407 LabelGraphics
408 [
409 text "New Strings"
410 outline "#000000"
411 fill "#FFFFFF"
412 fontSize 16
413 fontName "Monospace"
414 autoSizePolicy "node_width"
415 anchor "t"
416 borderDistance 0.0
417 ]
418 LabelGraphics
419 [
420 text "
421 "
422 fontSize 14
423 fontName "Consolas"
424 alignment "left"
425 anchor "tl"
426 borderDistance 6
427 ]
428 ]
429
430 node
431 [
432 id 12
433 graphics
434 [
435 w 103.4
436 h 26
437 type "rectangle"
438 fill "#FFFFFF"
439 fill2 "#FFFFFF"
440 outline "#000000"
441 ]
442 LabelGraphics
443 [
444 text "New Objects"
445 outline "#000000"
446 fill "#FFFFFF"
447 fontSize 16
448 fontName "Monospace"
449 autoSizePolicy "node_width"
450 anchor "t"
451 borderDistance 0.0
452 ]
453 LabelGraphics
454 [
455 text "
456 "
457 fontSize 14
458 fontName "Consolas"
459 alignment "left"
460 anchor "tl"
461 borderDistance 6
462 ]
463 ]
464 edge
465 [
466 source 3
467 target 4
468 graphics
469 [
470 fill "#000000"
471 targetArrow "standard"
472 ]
473 LabelGraphics
474 [
475 text "next reference State"
476 fontSize 14
477 fontName "Consolas"
478 configuration "AutoFlippingLabel"
479 model "six_pos"
480 position "thead"
481 ]
482 ]
483 edge
484 [
485 source 4
486 target 3
487 graphics
488 [
489 fill "#000000"
490 targetArrow "standard"
491 ]
492 LabelGraphics
493 [
494 text "next reference State"
495 fontSize 14
496 fontName "Consolas"
497 configuration "AutoFlippingLabel"
498 model "six_pos"
499 position "thead"
500 ]
501 ]
502 edge
503 [
504 source 4
505 target 5
506 graphics
507 [
508 fill "#000000"
509 targetArrow "standard"
510 ]
511 LabelGraphics
512 [
513 text "next reference State"
514 fontSize 14
515 fontName "Consolas"
516 configuration "AutoFlippingLabel"
517 model "six_pos"
518 position "thead"
519 ]
520 ]
521 edge
522 [
523 source 4
524 target 6
525 graphics
526 [
527 fill "#000000"
528 targetArrow "standard"
529 ]
530 LabelGraphics
531 [
532 text "next reference State"
533 fontSize 14
534 fontName "Consolas"
535 configuration "AutoFlippingLabel"
536 model "six_pos"
537 position "thead"
538 ]
539 ]
540 edge
541 [
542 source 4
543 target 7
544 graphics
545 [
546 fill "#000000"
547 targetArrow "standard"
548 ]
549 LabelGraphics
550 [
551 text "next reference State"
552 fontSize 14
553 fontName "Consolas"
554 configuration "AutoFlippingLabel"
555 model "six_pos"
556 position "thead"
557 ]
558 ]
559 edge
560 [
561 source 5
562 target 4
563 graphics
564 [
565 fill "#000000"
566 targetArrow "standard"
567 ]
568 LabelGraphics
569 [
570 text "next reference State"
571 fontSize 14
572 fontName "Consolas"
573 configuration "AutoFlippingLabel"
574 model "six_pos"
575 position "thead"
576 ]
577 ]
578 edge
579 [
580 source 7
581 target 3
582 graphics
583 [
584 fill "#000000"
585 targetArrow "standard"
586 ]
587 LabelGraphics
588 [
589 text "next reference State"
590 fontSize 14
591 fontName "Consolas"
592 configuration "AutoFlippingLabel"
593 model "six_pos"
594 position "thead"
595 ]
596 ]
597 edge
598 [
599 source 8
600 target 3
601 graphics
602 [
603 fill "#000000"
604 targetArrow "standard"
605 ]
606 LabelGraphics
607 [
608 text "entry reference Entry"
609 fontSize 14
610 fontName "Consolas"
611 configuration "AutoFlippingLabel"
612 model "six_pos"
613 position "thead"
614 ]
615 ]
616 edge
617 [
618 source 2
619 target 3
620 graphics
621 [
622 fill "#000000"
623 width 3
624 targetArrow "standard"
625 ]
626 LabelGraphics
627 [
628 text "state reference Statechart"
629 fontSize 14
630 fontName "Consolas"
631 configuration "AutoFlippingLabel"
632 model "six_pos"
633 position "thead"
634 ]
635 ]
636 edge
637 [
638 source 2
639 target 4
640 graphics
641 [
642 fill "#000000"
643 width 3
644 targetArrow "standard"
645 ]
646 LabelGraphics
647 [
648 text "state reference Statechart"
649 fontSize 14
650 fontName "Consolas"
651 configuration "AutoFlippingLabel"
652 model "six_pos"
653 position "thead"
654 ]
655 ]
656 edge
657 [
658 source 2
659 target 5
660 graphics
661 [
662 fill "#000000"
663 width 3
664 targetArrow "standard"
665 ]
666 LabelGraphics
667 [
668 text "state reference Statechart"
669 fontSize 14
670 fontName "Consolas"
671 configuration "AutoFlippingLabel"
672 model "six_pos"
673 position "thead"
674 ]
675 ]
676 edge
677 [
678 source 2
679 target 6
680 graphics
681 [
682 fill "#000000"
683 width 3
684 targetArrow "standard"
685 ]
686 LabelGraphics
687 [
688 text "state reference Statechart"
689 fontSize 14
690 fontName "Consolas"
691 configuration "AutoFlippingLabel"
692 model "six_pos"
693 position "thead"
694 ]
695 ]
696 edge
697 [
698 source 2
699 target 7
700 graphics
701 [
702 fill "#000000"
703 width 3
704 targetArrow "standard"
705 ]
706 LabelGraphics
707 [
708 text "state reference Statechart"
709 fontSize 14
710 fontName "Consolas"
711 configuration "AutoFlippingLabel"
712 model "six_pos"
713 position "thead"
714 ]
715 ]
716 edge
717 [
718 source 2
719 target 8
720 graphics
721 [
722 fill "#000000"
723 width 3
724 targetArrow "standard"
725 ]
726 LabelGraphics
727 [
728 text "entry reference Statechart"
729 fontSize 14
730 fontName "Consolas"
731 configuration "AutoFlippingLabel"
732 model "six_pos"
733 position "thead"
734 ]
735 ]
736]
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-70-g09d2 (git 2.46.0) at 2024-09-06 21:35:40 +0000