V "GNAT Lib v15"
A -nostdinc
A -O2
A -Wextra
A -Wall
A -gnatwa
A -g
A -gnatp
A -gnatg
A -march=armv8-a
A -mlittle-endian
A -mabi=lp64
P ZX

RN
RV NO_ALLOCATORS
RV NO_EXCEPTIONS
RV NO_FLOATING_POINT
RV NO_LOCAL_ALLOCATORS
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_DEALLOCATION
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_ASPECT_SPECIFICATIONS
RV NO_IMPLEMENTATION_PRAGMAS

U gnat.graphs%b		g-graphs.adb		18033725 NE OL PK
W ada%s			ada.ads			ada.ali
W ada.unchecked_deallocation%s
W gnat%s		gnat.ads		gnat.ali

U gnat.graphs%s		g-graphs.ads		6a9751bb BN EE NE OL PK
W gnat%s		gnat.ads		gnat.ali
W gnat.dynamic_htables%s  g-dynhta.adb		g-dynhta.ali
W gnat.lists%s		g-lists.adb		g-lists.ali
W gnat.sets%s		g-sets.adb		g-sets.ali

D ada.ads		20250808065140 76789da1 ada%s
D a-unccon.ads		20250808065140 0e9b276f ada.unchecked_conversion%s
D a-uncdea.ads		20250808065140 c3a8ac65 ada.unchecked_deallocation%s
D gnat.ads		20250808065140 b5988c27 gnat%s
D g-dynhta.ads		20250808065140 968f1a08 gnat.dynamic_htables%s
D g-dynhta.adb		20250808065140 7317e45d gnat.dynamic_htables%b
D g-graphs.ads		20250808065140 c15a3f84 gnat.graphs%s
D g-graphs.adb		20250808065140 1af1a4c4 gnat.graphs%b
D g-lists.ads		20250808065140 59ce8c71 gnat.lists%s
D g-lists.adb		20250808065140 961335c6 gnat.lists%b
D g-sets.ads		20250808065140 d1147461 gnat.sets%s
D g-sets.adb		20250808065140 bee99687 gnat.sets%b
D system.ads		20250808065140 d0bef732 system%s
D s-exctab.ads		20250808065140 91bef6ef system.exception_table%s
D s-stalib.ads		20250808065140 1c9580f6 system.standard_library%s
G a e
G c Z s b [hash_component gnat__graphs 51 13 none]
G c Z s b [present gnat__graphs 54 13 none]
G c Z b b [sequence_next_component gnat__graphs 40 13 none]
X 1 ada.ads
18K9*Ada 22e8 8|32r6 102r13
X 3 a-uncdea.ads
23u15*Unchecked_Deallocation 8|32w10 102r17
X 4 gnat.ads
40K9*GNAT 63e9 7|35r6 35r32 36r6 36r32 37r6 37r32 39r9 537r5 8|34r14 1491r5
46M9*Bucket_Range_Type 7|51r57 91r56 109r52 8|1461r57 1463r14
61X4*Not_Created 8|418r19
X 5 g-dynhta.ads
52K14*Dynamic_HTables 518e25 7|35w11 35r37
301F12*Threshold_Type{long_float}
304+12 Key_Type 7|413r10 465r10 492r10 8|533r13
305+12 Value_Type 7|414r10 466r10 493r10 8|534r13
308*7 No_Value{305+12} 7|415r10 467r10 494r10 8|535r13
311f7 Expansion_Threshold{301F12} 7|416r10 468r10 495r10 8|536r13
312m7 Expansion_Factor{296M12} 7|417r10 469r10 496r10 8|537r13
322f7 Compression_Threshold{301F12} 7|418r10 470r10 497r10 8|538r13
323m7 Compression_Factor{296M12} 7|419r10 471r10 498r10 8|539r13
333V22 "="{boolean} 7|420r11 472r11 499r11 8|540r14
337U22 Destroy_Value 7|421r10 473r10 500r10 8|541r13
340V21 Hash{4|46M9} 7|422r10 474r10 501r10 8|542r13
343k12*Dynamic_Hash_Tables 516e27 7|412r31 464r33 491r36 8|532r36
352P12 Dynamic_Hash_Table 7|508r31[412] 511r36[464] 515r37[491] 8|557r29[532]
353p7 Nil{352P12[7|412]} 7|508r62[412] 511r69[464] 515r73[491] 8|557r64[532]
355V16 Contains{boolean} 8|265s31[7|491] 279s26[7|412] 293s28[7|464]
360V16 Create{352P12[7|412]} 8|307s37[7|412] 308s39[7|464] 309s42[7|491]
. 767s46[7|491] 1032s30[532]
364U17 Delete 8|338s19[7|412]
373U17 Destroy 8|364s19[7|412] 365s21[7|464] 366s24[7|491] 766s30[7|491]
. 1039s21[532]
379V16 Get{8|512R15} 8|738s31[532] 1059s31[7|491] 1074s26[7|412] 1089s28[7|464]
385V16 Is_Empty{boolean} 8|1176s21[7|412] 1177s34[7|464]
391U17 Put 8|170s24[7|491] 194s19[7|412] 223s21[7|464] 939s24[532] 1438s21[7|464]
392p10 T{352P12[7|491]} 8|171r13[7|491] 195r13[7|412] 224r13[7|464]
393i10 Key{7|48I9} 8|172r13[7|491] 196r13[7|412] 225r13[7|464]
394r10 Value{7|480R12} 8|173r13[7|491] 197r13[7|412] 226r13[7|464]
407V16 Size{natural} 8|1336s31[7|491] 1347s26[7|412] 1373s28[7|464]
427R12 Iterator 7|527r54[412] 528r56[464] 529r59[491] 8|1128r45[7|412] 1137r49[7|464]
. 1146r55[7|491] 1262r34[7|412] 1274r38[7|464] 1286r44[7|491]
429V16 Has_Next{boolean} 8|1128s26[7|412] 1137s28[7|464] 1146s31[7|491]
434V16 Iterate{427R12[7|412]} 8|1190s45[7|412] 1203s49[7|464] 1216s51[7|491]
438U17 Next 8|1262s19[7|412] 1274s21[7|464] 1286s24[7|491]
X 7 g-graphs.ads
39K14*Graphs 4|40k9 7|535E4 537l10 537e16 8|34b19 1491l10 1491t16
48I9*Component_Id<integer> 49r28 49r44 51r36 54r29 169r32 177r17 236r17 336r21
. 353r17 450r22 492r35 535r31 8|40r44 56r21 82r17 107r17 131r17 138r16 162r21
. 245r32 260r17 456r17 569r47 659r20 675r47 1053r17 1113r17 1225r17 1283r21
. 1319r17 1392r16 1461r36 1470r29 1479r26 1483r44 1484r28
49i4*No_Component{48I9} 450r38 458r28 535r47 8|227r34 1472r22
51V13*Hash_Component{4|46M9} 51>29 501r35 8|1461b13 1464l8 1464t22
51i29 Comp{48I9} 8|1461b29 1463r33
54V13*Present{boolean} 54>22 8|1470b13 1473l8 1473t15
54i22 Comp{48I9} 8|1470b22 1472r14
85+12 Vertex_Id 88r19 91r38 95r23 96r23 145r24 146r24 160r14 169r14 187r14
. 211r30 247r14 258r30 314r21 359r21 376r14 398r24 401r19 437r44 441r29 465r35
. 8|75r14 96r14 119r14 125r14 137r16 144r16 151r16 183r24 184r24 215r14 245r14
. 288r14 322r19 347r30 396r44 442r14 484r14 533r38 549r32 573r42 578r17 582r30
. 590r35 594r33 598r33 602r30 606r30 610r38 619r19 625r19 631r19 637r19 642r42
. 646r38 677r20 692r42 693r24 732r17 745r30 775r35 787r33 799r33 811r30 812r17
. 829r30 842r38 875r19 894r19 913r19 932r19 946r42 949r20 986r38 1010r20
. 1083r14 1098r14 1242r14 1271r21 1295r21 1356r14 1391r16 1411r16 1431r16
. 1447r30
88*7 No_Vertex{85+12} 398r37 401r32 406r25 407r25
91V21 Hash_Vertex{4|46M9} 91>34 474r35 8|542r38
91*34 V{85+12}
94V21 Same_Vertex{boolean} 95>15 96>15 442r29 472r35 8|540r38 550r32 706s26
95*15 Left{85+12}
96*15 Right{85+12}
103+12 Edge_Id 106r17 109r36 113r23 114r23 144r24 182r14 199r14 211r14 258r14
. 293r21 382r21 413r35 429r26 8|68r14 89r14 113r14 182r24 274r14 320r14 347r14
. 428r14 470r14 947r20 1068r14 1259r21 1307r21 1447r14
106*7 No_Edge{103+12} 391r28
109V21 Hash_Edge{4|46M9} 109>32 422r35 431r26
109*32 E{103+12}
112V21 Same_Edge{boolean} 113>15 114>15 420r35
113*15 Left{103+12}
114*15 Right{103+12}
117k12*Directed_Graphs 85z12 88z7 91z21 94z21 103z12 106z7 109z21 112z21
. 397E12 532l8 532e23 8|48b17 1455l8 1455t23
122X7*Duplicate_Edge 8|432r19
123X7*Duplicate_Vertex 8|446r19
128X7*Missing_Component 8|460r19
129X7*Missing_Edge 8|474r19
130X7*Missing_Vertex 8|488r19
139P12*Directed_Graph 140r22 143r24 159r14 168r14 176r17 181r14 186r14 192r46
. 198r14 210r14 217r37 224r38 231r30 235r17 239r42 242r37 246r14 250r40 253r29
. 257r14 288r39 309r14 331r14 352r17 375r14 520c12 521r22 8|55r21 61r37 67r14
. 74r14 81r17 88r14 95r14 103r43 106r17 112r14 118r14 124r14 130r17 136r16
. 143r16 150r16 161r21 181r24 214r14 244r14 259r17 273r14 287r14 302r46 304r23
. 319r14 346r14 360r37 415r37 427r14 441r14 455r17 469r14 483r14 496r38 1052r17
. 1067r14 1082r14 1097r14 1112r17 1171r30 1185r14 1198r14 1211r14 1224r17
. 1241r14 1318r17 1332r42 1343r37 1355r14 1369r40 1380r29 1390r16 1410r16
. 1430r16 1446r14
140p7*Nil{139P12} 521c7 8|1382r22
142U17*Add_Edge 143>10 144>10 145>10 146>10 8|180b17 207l11 207t19
143p10 G{139P12} 8|181b10 187r26 188r30 189r26 190r26 195r22 205r41
144*10 E{103+12} 8|182b10 188r33 196r22 206r21
145*10 Source{85+12} 8|183b10 189r29 199r31 205r44
146*10 Destination{85+12} 8|184b10 190r29 198r31
158U17*Add_Vertex 159>10 160>10 8|213b17 237l11 237t21
159p10 G{139P12} 8|214b10 218r26 219r30 224r22 236r30
160*10 V{85+12} 8|215b10 219r33 225r22 236r33
167V16*Component{48I9} 168>10 169>10 8|243b16 252l11 252t20
168p10 G{139P12} 8|244b10 248r26 249r26 251r40
169*10 V{85+12} 8|245b10 249r29 251r43
175V16*Contains_Component{boolean} 176>10 177>10 8|258b16 266l11 266t29 459s17
. 1057s25 1117s25
176p10 G{139P12} 8|259b10 263r26 265r41
177i10 Comp{48I9} 8|260b10 265r55
180V16*Contains_Edge{boolean} 181>10 182>10 8|272b16 280l11 280t24 431s13
. 473s17 1072s25
181p10 G{139P12} 8|273b10 277r26 279r36
182*10 E{103+12} 8|274b10 279r49
185V16*Contains_Vertex{boolean} 186>10 187>10 8|286b16 294l11 294t26 445s13
. 487s17 736s28 748s28 778s28 790s28 802s28 820s28 832s28 847s28 882s28 901s28
. 920s28 937s28 953s28 960s31 989s28 1087s25 1102s25 1398s25 1418s25 1436s25
186p10 G{139P12} 8|287b10 291r26 293r38
187*10 V{85+12} 8|288b10 293r54
190V16*Create{139P12} 191>10 192>10 8|300b16 312l11 312t17
191i10 Initial_Vertices{positive} 8|301b10 308r50 309r50
192i10 Initial_Edges{positive} 8|302b10 307r50
197U17*Delete_Edge 198>10 199>10 8|318b17 339l11 339t22
198p10 G{139P12} 8|319b10 325r26 326r26 328r35 329r26 334r47 338r27
199*10 E{103+12} 8|320b10 326r29 328r38 334r59 338r40
209V16*Destination_Vertex{85+12} 210>10 211>10 8|345b16 354l11 354t29 959s24
210p10 G{139P12} 8|346b10 350r26 351r26 353r38
211*10 E{103+12} 8|347b10 351r29 353r41
217U17*Destroy 217=26 8|360b17 369l11 369t18
217p26 G{139P12} 8|360b26 362r26 364r33 365r33 366r33 368m16
224U17*Find_Components 224>34 8|496b17 1045l11 1045t26
224p34 G{139P12} 8|496b34 663r41 680r49 684r31 710r28 735r37 736r45 747r37
. 748r45 759r37 765r38 766r39 767r16 767r74 777r37 778r45 789r37 790r45 801r37
. 802r45 819r37 820r45 831r37 832r45 846r37 847r45 881r37 882r45 900r37 901r45
. 919r37 920r45 936r37 937r45 952r37 953r45 955r45 959r44 960r48 988r37 989r45
. 1013r43 1032r58
231V16*Is_Empty{boolean} 231>26 8|1171b16 1178l11 1178t19
231p26 G{139P12} 8|1171b26 1173r26 1176r31 1177r44
234V16*Number_Of_Component_Vertices{natural} 235>10 236>10 8|1317b16 1326l11
. 1326t39
235p10 G{139P12} 8|1318b10 1322r26 1323r26 1325r49
236i10 Comp{48I9} 8|1319b10 1323r29 1325r52
239V16*Number_Of_Components{natural} 239>38 8|765s16 1332b16 1337l11 1337t31
239p38 G{139P12} 8|1332b38 1334r26 1336r37
242V16*Number_Of_Edges{natural} 242>33 8|1343b16 1348l11 1348t26
242p33 G{139P12} 8|1343b33 1345r26 1347r32
245V16*Number_Of_Outgoing_Edges{natural} 246>10 247>10 8|1354b16 1363l11
. 1363t35
246p10 G{139P12} 8|1355b10 1359r26 1360r26 1362r52
247*10 V{85+12} 8|1356b10 1360r29 1362r55
250V16*Number_Of_Vertices{natural} 250>36 8|767s54 1032s38 1369b16 1374l11
. 1374t29
250p36 G{139P12} 8|1369b36 1371r26 1373r34
253V16*Present{boolean} 253>25 8|166s25 417s17 735s28 747s28 759s28 777s28
. 789s28 801s28 819s28 831s28 846s28 881s28 900s28 919s28 936s28 952s28 988s28
. 1056s25 1071s25 1086s25 1101s25 1116s25 1380b16 1383l11 1383t18 1397s25
. 1417s25 1435s25
253p25 G{139P12} 8|1380b25 1382r17
256V16*Source_Vertex{85+12} 257>10 258>10 8|328s20 1445b16 1454l11 1454t24
257p10 G{139P12} 8|1446b10 1450r26 1451r26 1453r38
258*10 E{103+12} 8|1447b10 1451r29 1453r41
283R12*All_Edge_Iterator<5|427R12[412]> 285r33 288r62 292r24 527c12 8|1126r33
. 1185r37 1190r17 1258r24
285V16*Has_Next{boolean}<5|429p16> 285>26 8|1126b16 1129l11 1129t19
285r26 Iter{283R12} 8|1126b26 1128r55
288V16*Iterate_All_Edges{283R12} 288>35 8|1184b16 1191l11 1191t28
288p35 G{139P12} 8|1185b10 1188r26 1190r54
291U17*Next<5|438p17> 292=10 293<10 8|1257b17 1263l11 1263t15
292r10 Iter{283R12} 8|1258b10 1262m44 1262r44
293*10 E{103+12} 8|1259b10 1262m51
303R12*All_Vertex_Iterator<5|427R12[464]> 305r33 309r37 313r24 528c12 8|1009r20
. 1135r33 1198r37 1203r17 1270r24
305V16*Has_Next{boolean}<5|429p16> 305>26 8|1014s19 1135b16 1138l11 1138t19
305r26 Iter{303R12} 8|1135b26 1137r59
308V16*Iterate_All_Vertices{303R12} 309>10 8|1013s21 1197b16 1204l11 1204t31
309p10 G{139P12} 8|1198b10 1201r26 1203r58
312U17*Next<5|438p17> 313=10 314<10 8|1015s16 1269b17 1275l11 1275t15
313r10 Iter{303R12} 8|1270b10 1274m48 1274r48
314*10 V{85+12} 8|1271b10 1274m55
325R12*Component_Iterator<5|427R12[491]> 327r33 331r37 335r24 529c12 8|660r20
. 1144r33 1211r37 1216r17 1282r24
327V16*Has_Next{boolean}<5|429p16> 327>26 8|664s19 1144b16 1147l11 1147t19
327r26 Iter{325R12} 8|1144b26 1146r65
330V16*Iterate_Components{325R12} 331>10 8|663s21 1210b16 1217l11 1217t29
331p10 G{139P12} 8|1211b10 1214r26 1216r60
334U17*Next<5|438p17> 335=10 336<10 8|665s16 1281b17 1287l11 1287t15
335r10 Iter{325R12} 8|1282b10 1286m54 1286r54
336i10 Comp{48I9} 8|1283b10 1286m61
346R12*Component_Vertex_Iterator<9|192R12[440]> 348r33 353r38 358r24 530c12
. 8|676r20 1153r33 1225r38 1232r12 1294r24
348V16*Has_Next{boolean}<9|194p16> 348>26 8|681s19 1153b16 1156l11 1156t19
348r26 Iter{346R12} 8|1153b26 1155r61
351V16*Iterate_Component_Vertices{346R12} 352>10 353>10 8|680s21 1223b16
. 1234l11 1234t37
352p10 G{139P12} 8|1224b10 1228r26 1229r26 1233r50
353i10 Comp{48I9} 8|1225b10 1229r29 1233r53
357U17*Next<9|203p17> 358=10 359<10 8|682s16 1293b17 1299l11 1299t15
358r10 Iter{346R12} 8|1294b10 1298m50 1298r50
359*10 V{85+12} 8|1295b10 1298m57
369R12*Outgoing_Edge_Iterator<11|140R12[428]> 371r33 376r32 381r24 531c12
. 8|948r20 1162r33 1242r32 1249r12 1306r24
371V16*Has_Next{boolean}<11|146p16> 371>26 8|956s19 1162b16 1165l11 1165t19
371r26 Iter{369R12} 8|1162b26 1164r55
374V16*Iterate_Outgoing_Edges{369R12} 375>10 376>10 8|955s21 1240b16 1251l11
. 1251t33
375p10 G{139P12} 8|1241b10 1245r26 1246r26 1250r53
376*10 V{85+12} 8|1242b10 1246r29 1250r56
380U17*Next<11|151p17> 381=10 382<10 8|957s16 1305b17 1311l11 1311t15
381r10 Iter{369R12} 8|1306b10 1310m44 1310r44
382*10 E{103+12} 8|1307b10 1310m51
397R12 Edge_Attributes 403e17 405r37 409r57 414r35 8|113r30 386r57 1068r30
398*10 Destination{85+12} 406m10 8|198m16 353r44
401*10 Source{85+12} 407m10 8|199m16 1453r44
405r7 No_Edge_Attributes{397R12} 415r35
409U17 Destroy_Edge_Attributes 409=42 421r35 8|386b17 390l11 390t34
409r42 Attrs{397R12} 8|386b42 387r31
412K15 Edge_Map[5|343] 508r22 508r53 527r45 8|194r10 279r17 307r28 338r10
. 364r10 1074r17 1128r17 1128r36 1176r12 1190r36 1262r10 1262r25 1347r17
428K15 Edge_Set[11|69] 453r27 453r54 459r28 531r45 8|125r32 145r16 204r10
. 228r34 236r36 334r10 408r10 1098r32 1164r17 1164r36 1250r15 1310r10 1310r25
. 1362r17 1412r16
437U17 Destroy_Vertex 437=33 443r29 8|396b17 400l11 400t25 551r32
437*33 V{85+12} 8|396b33 397r31
440K15 Vertex_List[9|69] 481r21 481r55 485r22 530r45 8|57r21 131r38 163r21
. 379r10 694r24 697r25 704r16 1113r38 1155r17 1155r39 1233r15 1298r10 1298r28
. 1325r17
449R12 Vertex_Attributes 455e17 457r39 461r59 466r35 8|119r32 152r16 406r59
. 1083r32 1394r15 1414r15 1432r16
450i10 Component{48I9} 458m10 8|227m16 251r46 1401m13
453p10 Outgoing_Edges{11|78P12[428]} 459m10 8|228m16 408m34 1104r46 1421m13
457r7 No_Vertex_Attributes{449R12} 467r35
461U17 Destroy_Vertex_Attributes 461=44 473r35 8|406b17 409l11 409t36
461r44 Attrs{449R12} 8|406b44 408m28 408r28
464K15 Vertex_Map[5|343] 511r25 511r58 528r45 8|223r10 293r17 308r28 365r10
. 1089r17 1137r17 1137r38 1177r23 1203r38 1274r10 1274r27 1373r17 1438r10
480R12 Component_Attributes 482e17 484r42 488r25 493r35 8|107r38 376r25 1053r38
481p10 Vertices{9|75P12[440]} 485m10 8|173m23 379m37 1119r52
484r7 No_Component_Attributes{480R12} 494r35
487U17 Destroy_Component_Attributes 488=10 500r35 8|375b17 380l11 380t39
488r10 Attrs{480R12} 8|376b10 379m31 379r31
491K15 Component_Map[5|343] 515r23 515r59 529r45 8|170r10 265r17 309r28 366r10
. 766r16 767r32 1059r17 1146r17 1146r41 1216r37 1286r10 1286r30 1336r17
507R12 Directed_Graph_Attributes 518e17 520r37 8|103r16 304r45
508p10 All_Edges{5|352P12[412]} 8|195r24 279r38 307m12 338r29 364m35 1074r33
. 1176r33 1190r56 1347r34
511p10 All_Vertices{5|352P12[464]} 8|224r24 293r40 308m12 365m35 1089r35
. 1177r46 1203r60 1373r36 1438r28
515p10 Components{5|352P12[491]} 8|171r24 265r43 309m12 366m35 766m41 767m18
. 1059r38 1216r62 1336r39
535i4 First_Component{48I9} 8|1479r42
X 8 g-graphs.adb
40V13 Sequence_Next_Component{7|48I9} 711s28 1483b13 1489l8 1489t31
54U17 Add_Component 55>10 56>10 57>10 58r22 160b17 174l11 174t24 709s13
55p10 G{7|139P12} 161b10 166r34 171r22 710r16
56i10 Comp{7|48I9} 162b10 172r22 711r16
57p10 Vertices{9|75P12[7|440]} 163b10 173r35 712r16
61U17 Ensure_Created 61>33 62r22 187s10 218s10 248s10 263s10 277s10 291s10
. 325s10 350s10 362s10 415b17 420l11 420t25 1173s10 1188s10 1201s10 1214s10
. 1228s10 1245s10 1322s10 1334s10 1345s10 1359s10 1371s10 1450s10
61p33 G{7|139P12} 415b33 417r26
66U17 Ensure_Not_Present 67>10 68>10 69r22 188s10 426b17 434l11 434t29
67p10 G{7|139P12} 427b10 431r28
68*10 E{7|103+12} 428b10 431r31
73U17 Ensure_Not_Present 74>10 75>10 219s10 440b17 448l11 448t29
74p10 G{7|139P12} 441b10 445r30
75*10 V{7|85+12} 442b10 445r33
80U17 Ensure_Present 81>10 82>10 83r22 454b17 462l11 462t25 1229s10 1323s10
81p10 G{7|139P12} 455b10 459r37
82i10 Comp{7|48I9} 456b10 459r40
87U17 Ensure_Present 88>10 89>10 326s10 351s10 468b17 476l11 476t25 1451s10
88p10 G{7|139P12} 469b10 473r32
89*10 E{7|103+12} 470b10 473r35
94U17 Ensure_Present 95>10 96>10 189s10 190s10 249s10 329s10 482b17 490l11
. 490t25 1246s10 1360s10
95p10 G{7|139P12} 483b10 487r34
96*10 V{7|85+12} 484b10 487r37
101U17 Free[3|23] 368s10
105V16 Get_Component_Attributes{7|480R12} 106>10 107>10 108r22 1051b16 1060l11
. 1060t35 1119s17
106p10 G{7|139P12} 1052b10 1056r34 1057r45 1059r36
107i10 Comp{7|48I9} 1053b10 1057r48 1059r50
111V16 Get_Edge_Attributes{7|397R12} 112>10 113>10 114r22 353s17 1066b16
. 1075l11 1075t30 1453s17
112p10 G{7|139P12} 1067b10 1071r34 1072r40 1074r31
113*10 E{7|103+12} 1068b10 1072r43 1074r44
117V16 Get_Vertex_Attributes{7|449R12} 118>10 119>10 120r22 251s17 1081b16
. 1090l11 1090t32 1104s17 1400s16 1420s16
118p10 G{7|139P12} 1082b10 1086r34 1087r42 1089r33
119*10 V{7|85+12} 1083b10 1087r45 1089r49
123V16 Get_Outgoing_Edges{11|78P12[7|428]} 124>10 125>10 126r22 205s21 334s27
. 1096b16 1105l11 1105t29 1250s33 1362s32
124p10 G{7|139P12} 1097b10 1101r34 1102r42 1104r40
125*10 V{7|85+12} 1098b10 1102r45 1104r43
129V16 Get_Vertices{9|75P12[7|440]} 130>10 131>10 132r22 1111b16 1120l11
. 1120t23 1233s36 1325s35
130p10 G{7|139P12} 1112b10 1116r34 1117r45 1119r43
131i10 Comp{7|48I9} 1113b10 1117r48 1119r46
135U17 Set_Component 136>10 137>10 138>10 139r22 684s16 1389b17 1403l11 1403t24
136p10 G{7|139P12} 1390b10 1397r34 1398r42 1400r39 1402r33
137*10 V{7|85+12} 1391b10 1398r45 1400r42 1402r36
138i10 Val{7|48I9} 1392b10 1401r26
142U17 Set_Outgoing_Edges 143>10 144>10 145>10 146r22 236s10 1409b17 1423l11
. 1423t29
143p10 G{7|139P12} 1410b10 1417r34 1418r42 1420r39 1422r33
144*10 V{7|85+12} 1411b10 1418r45 1420r42 1422r36
145p10 Val{11|78P12[7|428]} 1412b10 1421r31
149U17 Set_Vertex_Attributes 150>10 151>10 152>10 153r22 1402s10 1422s10
. 1429b17 1439l11 1439t32
150p10 G{7|139P12} 1430b10 1435r34 1436r42 1438r26
151*10 V{7|85+12} 1431b10 1436r45 1438r42
152r10 Val{7|449R12} 1432b10 1438r45
304p10 G{7|139P12} 307r10 308r10 309r10 311r17
322*10 Source{7|85+12} 328m10 329r29 334r50
506I15 Visitation_Number<integer> 507r45 508r39 509r45 513r21 516r24 582r48
. 594r51 614r46 620r19 626r19 745r48 787r51 843r30 857r28 862r46 863r30 876r19
. 895r19 969r21 977r21
507i10 No_Visitation_Number{506I15} 510r38 513r42 516r45 524r25 525r25 780r33
509i10 First_Visitation_Number{506I15} 857r49
512R15 Tarjan_Attributes 521e20 523r42 529r28 534r38 578r35 638r19 720r28
. 732r35 878r18 897r18 916r18 933r19
513i13 Index{506I15} 524m13 750r46 885m16
516i13 Low_Link{506I15} 525m13 792r46 904m16
519b13 On_Stack{boolean} 526m13 804r46 923m16
523r10 No_Tarjan_Attributes{512R15} 535r38
528U20 Destroy_Tarjan_Attributes 529=13 541r38 719b20 725l14 725t39
529r13 Attrs{512R15} 720b13 722r34
532K18 Tarjan_Map[5|343] 557r18 557r53 738r20 939r13 1032r19 1039r10
548K18 Tarjan_Stack[9|69] 558r18 558r53 815r18 816r13 834r13 1033r19 1040r10
557p10 Attrs{5|352P12[532]} 738r36 939r29 1032m10 1039m32 1039r32
558p10 Stack{9|75P12[548]} 815r37 816r39 834r34 1033m10 1040m32 1040r32
564U20 Associate_All_Vertices 565r25 658b20 669l14 669t36 1044s10
569U20 Associate_Vertices 569>40 570r25 667s16 675b20 686l14 686t32
569i40 Comp{7|48I9} 675b40 680r52 684r37
573U20 Create_Component 573>38 574r25 692b20 713l14 713t30 999s19
573*38 V{7|85+12} 692b38 706r47
577V19 Get_Tarjan_Attributes{512R15} 578>13 579r25 731b19 739l14 739t35 750s20
. 792s20 804s20 884s19 903s19 922s19
578*13 V{7|85+12} 732b13 736r48 738r43
582V19 Index{506I15} 582>26 583r25 745b19 751l14 751t19 780s20 977s58 998s34
582*26 V{7|85+12} 745b26 748r48 750r43
586U20 Initialize_Components 587r25 757b20 769l14 769t35 1026s10
590V19 Is_Visited{boolean} 590>31 591r25 775b19 781l14 781t24 965s23 991s20
590*31 V{7|85+12} 775b31 778r48 780r27
594V19 Low_Link{506I15} 594>29 595r25 787b19 793l14 793t22 969s44 969s58
. 977s44 998s19
594*29 V{7|85+12} 787b29 790r48 792r43
598V19 On_Stack{boolean} 598>29 599r25 799b19 805l14 805t22 975s22
598*29 V{7|85+12} 799b29 802r48 804r43
602V19 Pop{7|85+12} 603r25 703s26 811b19 823l14 823t17
606U20 Push 606>26 607r25 829b20 836l14 836t18 993s16
606*26 V{7|85+12} 829b26 832r48 834r41 835r27
610U20 Record_Visit 610>34 611r25 842b20 851l14 851t26 992s16
610*34 V{7|85+12} 842b34 847r48 849r27 850r27
614V19 Sequence_Next_Index{506I15} 615r25 843s51 862b19 868l14 868t33
618U20 Set_Index 619>13 620>13 621r25 849s13 874b20 887l14 887t23
619*13 V{7|85+12} 875b13 882r48 884r42 886r36
620i13 Val{506I15} 876b13 885r25
624U20 Set_Low_Link 625>13 626>13 627r25 850s13 893b20 906l14 906t26 968s19
. 976s19
625*13 V{7|85+12} 894b13 901r48 903r42 905r36
626i13 Val{506I15} 895b13 904r28
630U20 Set_On_Stack 631>13 632>13 633r25 817s13 835s13 912b20 925l14 925t26
631*13 V{7|85+12} 913b13 920r48 922r42 924r36
632b13 Val{boolean} 914b13 923r28
636U20 Set_Tarjan_Attributes 637>13 638>13 639r25 886s13 905s13 924s13 931b20
. 940l14 940t35
637*13 V{7|85+12} 932b13 937r48 939r36
638r13 Val{512R15} 933b13 939r39
642U20 Visit_Successors 642>38 643r25 946b20 980l14 980t30 994s16
642*38 V{7|85+12} 946b38 953r48 955r48 968r33 969r54 976r33 977r54
646U20 Visit_Vertex 646>34 647r25 966s19 986b20 1002l14 1002t26 1017s16
646*34 V{7|85+12} 986b34 989r48 991r32 992r34 993r34 994r34 998r29 998r41
. 999r37
650U20 Visit_Vertices 651r25 1008b20 1019l14 1019t28 1037s10
659i13 Comp{7|48I9} 665m28 667r36
660r13 Iter{7|325R12} 663m13 664r29 665m22 665r22
676r13 Iter{7|346R12} 680m13 681r29 682m22 682r22
677*13 V{7|85+12} 682m28 684r34
693*13 Curr_V{7|85+12} 703m16 704r46 706r39
694p13 Vertices{9|75P12[7|440]} 697m13 704r36 712r28
812*13 V{7|85+12} 815m13 817r27 820r48 822r20
843i13 Index{506I15} 849r30 850r30
857i10 Index_Sequencer{506I15} 863r51 866m13 866r32
863i13 Index{506I15} 867r20
878r13 TA{512R15} 884m13 885m13 886r39
897r13 TA{512R15} 903m13 904m13 905r39
916r13 TA{512R15} 922m13 923m13 924r39
947*13 E{7|103+12} 957m28 959r47
948r13 Iter{7|369R12} 955m13 956r29 957m22 957r22
949*13 Succ{7|85+12} 959m16 960r51 965r35 966r33 969r68 975r32 977r65
1009r13 Iter{7|303R12} 1013m13 1014r29 1015m22 1015r22
1010*13 V{7|85+12} 1015m28 1017r30
1394r10 VA{7|449R12} 1400m10 1401m10 1402r39
1414r10 VA{7|449R12} 1420m10 1421m10 1422r39
1479i4 Component_Sequencer{7|48I9} 1484r44 1487m7 1487r30
1484i7 Component{7|48I9} 1488r14
X 9 g-lists.ads
35K14*Lists 7|36w11 36r37 9|253e15
58+12 Element_Type 7|441r10 8|549r13
60V22 "="{boolean} 7|442r11 8|550r14
64U22 Destroy_Element 7|443r10 8|551r13
69k12*Doubly_Linked_Lists 7|440r34 8|548r38 9|251e27
75P12 Doubly_Linked_List 7|481r33[440] 8|57r33[7|440] 131r50[7|440] 163r33[7|440]
. 558r31[548] 694r36[7|440] 1113r50[7|440]
76p7 Nil{75P12[7|440]} 7|481r67[440] 485r34[440] 8|558r66[548]
83U17 Append 8|704s28[7|440] 834s26[548]
94V16 Create{75P12[7|440]} 8|697s37[7|440] 1033s32[548]
112U17 Delete_Last 8|816s26[548]
118U17 Destroy 8|379s22[7|440] 1040s23[548]
152V16 Last{7|85+12} 8|815s31[548]
173V16 Size{natural} 8|1325s29[7|440]
192R12 Iterator 7|530r57[440] 8|1155r51[7|440] 1298r40[7|440]
194V16 Has_Next{boolean} 8|1155s29[7|440]
199V16 Iterate{192R12[7|440]} 8|1233s27[7|440]
203U17 Next 8|1298s22[7|440]
X 11 g-sets.ads
37K14*Sets 7|37w11 37r37 11|180e14
60+12 Element_Type 7|429r10
62V22 "="{boolean} 7|430r11
66V21 Hash{4|46M9} 7|431r10
69k12*Membership_Sets 7|428r31 11|178e23
78P12 Membership_Set<5|352P12[162[7|428]]> 7|453r36[428] 8|125r41[7|428]
. 145r25[7|428] 1098r41[7|428] 1412r25[7|428]
79p7 Nil{78P12[7|428]} 7|453r63[428] 459r37[428] 8|228r43[7|428]
86V16 Create{78P12[7|428]}<5|360p16> 8|236s45[7|428]
90U17 Delete<5|364p17> 8|334s19[7|428]
97U17 Destroy<5|373p17> 8|408s19[7|428]
103U17 Insert 8|204s19[7|428]
104p10 S{78P12[7|428]} 8|205r13[7|428]
105*10 Elem{7|103+12} 8|206r13[7|428]
121V16 Size{natural}<5|407p16> 8|1362s26[7|428]
140R12 Iterator<5|427R12[162[7|428]]> 7|531r54[428] 8|1164r45[7|428] 1310r34[7|428]
142V16 Iterate{140R12[7|428]} 8|1250s24[7|428]
146V16 Has_Next{boolean}<5|429p16> 8|1164s26[7|428]
151U17 Next<5|438p17> 8|1310s19[7|428]