V "GNAT Lib v10"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -fchecking=1
A -g
A -gnatp
A -gnatg
A -mtune=pentium
A -march=pentium
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_PRAGMAS
RV SPARK_05

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