MINI MINI MANI MO

Path : /lib/gcc/x86_64-redhat-linux/4.8.5/adalib/
File Upload :
Current File : //lib/gcc/x86_64-redhat-linux/4.8.5/adalib/a-coormu.ali

V "GNAT Lib v4.8"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -m64
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_ACCESS_SUBPROGRAMS
RV NO_ALLOCATORS
RV NO_DISPATCH
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_FINALIZATION
RV NO_LOCAL_ALLOCATORS
RV NO_NESTED_FINALIZATION
RV NO_RECURSION
RV NO_STANDARD_STORAGE_POOLS
RV NO_STREAMS
RV NO_UNCHECKED_ACCESS
RV NO_UNCHECKED_DEALLOCATION
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_IMPLICIT_ALIASING
RV SPARK

U ada.containers.ordered_multisets%b  a-coormu.adb  cb0d2b87 NE OL PK GE
W ada%s			ada.ads			ada.ali
W ada.containers%s	a-contai.ads		a-contai.ali
W ada.containers.red_black_trees%s  a-crbltr.ads  a-crbltr.ali
W ada.containers.red_black_trees.generic_keys%s
W ada.containers.red_black_trees.generic_operations%s
W ada.containers.red_black_trees.generic_set_operations%s
Z ada.streams%s		a-stream.ads		a-stream.ali
W ada.unchecked_deallocation%s
W system%s		system.ads		system.ali

U ada.containers.ordered_multisets%s  a-coormu.ads  69e86806 BN NE OL PR RT PK GE
W ada%s			ada.ads			ada.ali
W ada.containers%s	a-contai.ads		a-contai.ali
W ada.containers.red_black_trees%s  a-crbltr.ads  a-crbltr.ali
W ada.finalization%s	a-finali.adb		a-finali.ali
W ada.iterator_interfaces%s
W ada.streams%s		a-stream.ads		a-stream.ali

D ada.ads		20121213103024 3ffc8e18
D a-contai.ads		20121213103024 61e5e089
D a-coormu.ads		20121213103024 b294634f
D a-coormu.adb		20121213103024 b0167ea3
D a-crbltr.ads		20121213103024 b8a2dc05
D a-crbtgk.ads		20121213103024 18ae3fab
D a-crbtgk.adb		20121213103024 4933aa9d
D a-crbtgo.ads		20121213103024 375f6f61
D a-crbtgo.adb		20121213103024 86232183
D a-rbtgso.ads		20121213103024 8700a961
D a-rbtgso.adb		20121213103024 f22a83dd
D a-except.ads		20121213103024 10fcae55
D a-finali.ads		20121213103024 52ecdc1b
D a-iteint.ads		20121213103024 7c7305e9
D a-stream.ads		20121213103024 2ca4ee37
D a-tags.ads		20121213103024 6c0509d0
D a-unccon.ads		20121213103024 f9eb8f06
D a-uncdea.ads		20121213103024 f15a5ed1
D system.ads		20121213103024 90249111
D s-exctab.ads		20121213103029 66e51330
D s-finroo.ads		20121213103024 4ff27390
D s-parame.ads		20121213103024 b6e20cc0
D s-soflin.ads		20121213103024 24c8153c
D s-stache.ads		20121213103024 596fc1b4
D s-stalib.ads		20130106093355 f78bcf95
D s-stoele.ads		20121213103024 facd7d98
D s-stoele.adb		20121213103024 afc5dc80
D s-traent.ads		20121213103024 5221ee41
X 1 ada.ads
16K9*Ada 19e8 3|34r14 35r14 36r14 37r6 45r9 74r6 460r20 470r8 471r8 515r5
. 4|30r6 32r6 35r6 38r6 43r14 651r14 1958r5
X 2 a-contai.ads
16K13*Containers 1|16k9 2|24e19 3|34r18 45r13 515r9 4|32r10 35r10 38r10 43r18
. 1958r9
20I9*Count_Type<integer> 3|92r45 4|1452r45
X 3 a-coormu.ads
40+9 Element_Type 42r37 43r37 49r48 55r29 89r32 101r48 108r19 123r55 143r19
. 157r19 169r19 174r19 257r52 264r51 285r43 289r44 296r46 303r47 312r41 315r41
. 318r25 321r25 338r19 345r19 362r36 375r65 411r52 454r17 4|107r18 120r15
. 125r15 135r14 158r32 194r41 207r25 254r41 267r25 309r46 346r47 381r53 476r48
. 492r48 540r54 569r43 620r52 633r44 748r65 954r66 974r17 1058r57 1067r19
. 1081r18 1202r15 1216r15 1285r19 1430r51 1579r55 1637r10 1666r14 1727r19
. 1790r19 1892r32 1941r10
42V19 "<"{boolean} 42>23 42>29 4|191s32 204s32 217s19 251s33 264s20 277s33
. 494s15 495s23 521s23 523s26 1208s28 1220s19 1229s24 1669s15 1670s30
42*23 Left{40+9}
42*29 Right{40+9}
43V19 "="{boolean} 43>23 43>29 4|1194s24
43*23 Left{40+9}
43*29 Right{40+9}
45k24*Ordered_Multisets 2|16k13 3|40z9 42z19 43z19 515l20 515e37 4|43b29
. 1958l20 1958t37
49V13*Equivalent_Elements{boolean} 49>34 49>40 4|492b13 501l8 501t27
49*34 Left{40+9} 4|492b34 494r10 495r25
49*40 Right{40+9} 4|492b40 494r17 495r17
53R9*Set 57r41 62r25 76P14 76r32 85p13 85r44 89p13 89r53 92p13 92r33 95p13
. 95r35 98p14 98r40 105p14 106r26 130p14 130r38 130r52 132p13 132r28 132r40
. 134p14 134r36 134r57 141p14 142r26 155p14 156r26 167p14 168r26 172p14 173r26
. 178p14 179r26 186p14 186r47 189p14 189r46 192p14 192r37 192r51 199p13 199r34
. 199r46 204r33 204r45 206p14 206r44 206r58 212p13 212r41 212r53 219r34 219r46
. 221p14 221r42 221r56 226p13 226r39 226r51 230r32 230r44 232p14 232r52 232r66
. 238p13 238r49 238r61 243r34 243r46 245p13 245r36 249p13 249r33 249r47 253p13
. 253r32 257p13 257r40 260p13 260r31 264p13 264r39 285p13 285r31 289p13 289r32
. 296p13 296r34 303p13 303r35 324p14 325r19 330p14 331r19 336p14 337r19 343p14
. 344r19 350p13 351r19 354p13 355r19 375r37 378r45 381r44 385r34 390r35 397r37
. 404r38 408r29 424r22 432r22 460c9 462e14 464P25 464r52 466r54 473r34 495p14
. 497r19 499r8 501p14 503r23 505r8 507r25 4|224r32 286r41 295r38 295r52 309r34
. 328r40 346r35 355r28 355r40 357r23 381r41 403r41 426r47 443r46 460r42 460r56
. 465r39 465r51 469r14 507r44 540r42 569r31 585r32 620r40 633r32 698r37 714r38
. 723r44 748r37 777r45 796r34 811r35 849r22 909r22 952r29 1058r41 1066r26
. 1167r44 1167r58 1172r41 1172r53 1176r14 1183r35 1236r33 1236r47 1246r19
. 1284r19 1322r34 1344r34 1395r31 1430r39 1452r33 1464r36 1464r57 1517r36
. 1619r23 1725r26 1751r19 1789r19 1876r52 1876r66 1881r49 1881r61 1885r14
. 1892r53 1898r14 1905r37 1905r51 1910r34 1910r46 1913r14 1922r19 13|51P14
59R9*Cursor 60r41 66r26 70r37 74r31 101r33 107r19 122r18 144r23 180r26 253r44
. 260r43 267r30 267r45 273r38 276r34 276r49 282r42 285r64 289r65 296r67 306r32
. 309r32 312r25 315r25 318r47 321r47 326r57 332r57 339r57 346r57 356r19 372r32
. 385r62 390r63 397r65 409r22 426r60 434r60 476c9 479e14 483r16 485r8 489r20
. 491r8 493r26 493r36 4|54r57 55r57 59r18 59r33 63r18 63r33 175r32 194r25
. 207r47 233r32 254r25 267r47 309r67 318r14 403r64 476r33 569r64 578r14 585r44
. 591r14 594r46 612r17 633r65 642r14 698r65 707r17 796r62 804r17 811r63 819r17
. 851r60 865r22 891r32 911r60 925r22 953r22 1049r37 1059r18 1068r23 1247r57
. 1261r19 1286r57 1300r19 1344r47 1395r43 1401r14 1404r45 1422r17 1473r38
. 1479r30 1479r45 1495r17 1499r49 1499r64 1535r42 1541r34 1541r49 1555r23
. 1559r53 1559r68 1578r18 1653r20 1726r19 1752r57 1766r19 1791r57 1805r19
. 1952r16
62r4*Empty_Set{53R9} 507c4
66r4*No_Element{59R9} 493c4 4|315r17 348r40 575r17 588r17 639r17 704r20 716r42
. 801r20 816r20 1051r26 1362r18 1398r17 1481r21 1482r17 1492r20 1502r17 1543r21
. 1544r17 1554r38 1562r17
70V13*Has_Element{boolean} 70>26 74r39 4|1049b13 1052l8 1052t19
70r26 Position{59R9} 4|1049b26 1051r14
73K12*Set_Iterator_Interfaces[14|21] 352r14 357r14 4|46r6 1323r13 1345r13
76V14*"="{boolean} 76>18 76>24 4|224b14 227l9 227t11
76r18 Left{53R9} 4|224b18 226r24
76r24 Right{53R9} 4|224b24 226r35
85V13*Equivalent_Sets{boolean} 85>30 85>36 4|507b13 534l8 534t23
85r30 Left{53R9} 4|507b30 533r29
85r36 Right{53R9} 4|507b36 533r40
89V13*To_Set{53R9} 89>21 4|1892b13 1899l8 1899t14
89*21 New_Item{40+9} 4|1892b21 1897r31
92V13*Length{2|20I9} 92>21 4|1452b13 1455l8 1455t14
92r21 Container{53R9} 4|1452b21 1454r14
95V13*Is_Empty{boolean} 95>23 4|1183b13 1186l8 1186t16
95r23 Container{53R9} 4|1183b23 1185r14
98U14*Clear 98=21 466r67 4|301s14 328b14 331l8 331t13
98r21 Container{53R9} 4|328b21 330m14 330r14
101V13*Element{40+9} 101>22 4|476b13 486l8 486t15
101r22 Position{59R9} 4|476b22 478r10 482r27 482r52 485r14
105U14*Replace_Element 106=7 107>7 108>7 4|1724b14 1744l8 1744t23
106r7 Container{53R9} 4|1725b7 1735m32 1735r32 1740r27 1743m24 1743r24
107r7 Position{59R9} 4|1726b7 1730r10 1735r10 1740r43 1743r40
108*7 New_Item{40+9} 4|1727b7 1743r55
121U14*Query_Element 122>7 123^7 4|1577b14 1611l8 1611t21
122r7 Position{59R9} 4|1578b7 1582r10 1586r27 1586r52 1590m32 1590r32 1600r22
123p7 Process 4|1579b7 1600r13
123*45 Element{40+9}
130U14*Assign 130=22 130>43 4|295b14 303l8 303t14 358s17
130r22 Target{53R9} 4|295b22 297m10 297r10 301m7 301r7 302m7 302r7
130r43 Source{53R9} 4|295b43 297r27 302r21
132V13*Copy{53R9} 132>19 4|355b13 360l8 360t12
132r19 Source{53R9} 4|355b19 358r25
134U14*Move 134=20 134=41 4|1464b14 1467l8 1467t12
134r20 Target{53R9} 4|1464b20 1466m23 1466r23
134r41 Source{53R9} 4|1464b41 1466m46 1466r46
141U14*Insert 142=7 143>7 144<7 4|1062s7 1065b14 1073l8 1073t14
142r7 Container{53R9} 4|1066b7 1071m25 1071r25 1072m29 1072r29
143*7 New_Item{40+9} 4|1067b7 1071r41
144r7 Position{59R9} 4|1068b7 1071m51 1071r51 1072m7
155U14*Insert 156=7 157>7 4|1058b14 1063l8 1063t14
156r7 Container{53R9} 4|1058b22 1062m15
157*7 New_Item{40+9} 4|1058b46 1062r26
167U14*Exclude 168=7 169>7 4|540b14 552l8 552t15
168r7 Container{53R9} 4|540b23 541m32 541r32
169*7 Item{40+9} 4|540b47 542r57 543r70
172U14*Delete 173=7 174>7 4|381b14 401l8 401t14
173r7 Container{53R9} 4|381b22 382m32 382r32
174*7 Item{40+9} 4|381b46 383r57 384r70
178U14*Delete 179=7 180=7 4|403b14 420l8 420t14
179r7 Container{53R9} 4|403b22 409m32 409r32 413r27 416m30 416r30
180r7 Position{59R9} 4|403b46 405r10 409r10 413r43 416r46 417m13 417r13 419m7
186U14*Delete_First 186=28 4|426b14 437l8 437t20
186r28 Container{53R9} 4|426b28 427m32 427r32
189U14*Delete_Last 189=27 4|443b14 454l8 454t19
189r27 Container{53R9} 4|443b27 444m32 444r32
192U14*Union 192=21 192>42 4|302s14 1905b14 1908l8 1908t13
192r21 Target{53R9} 4|1905b21 1907m22 1907r22
192r42 Source{53R9} 4|1905b42 1907r35
199V13*Union{53R9} 199>20 199>26 204r57 4|1910b13 1914l8 1914t13
199r20 Left{53R9} 4|1910b20 1911r51
199r26 Right{53R9} 4|1910b26 1911r62
204V14*"or"=204:57{53R9}
204r19 Left{53R9}
204r25 Right{53R9}
206U14*Intersection 206=28 206>49 4|1167b14 1170l8 1170t20
206r28 Target{53R9} 4|1167b28 1169m29 1169r29
206r49 Source{53R9} 4|1167b49 1169r42
212V13*Intersection{53R9} 212>27 212>33 219r58 4|1172b13 1177l8 1177t20
212r27 Left{53R9} 4|1172b27 1174r31
212r33 Right{53R9} 4|1172b33 1174r42
219V14*"and"=219:58{53R9}
219r20 Left{53R9}
219r26 Right{53R9}
221U14*Difference 221=26 221>47 4|460b14 463l8 463t18
221r26 Target{53R9} 4|460b26 462m27 462r27
221r47 Source{53R9} 4|460b47 462r40
226V13*Difference{53R9} 226>25 226>31 230r56 4|465b13 470l8 470t18
226r25 Left{53R9} 4|465b25 467r29
226r31 Right{53R9} 4|465b31 467r40
230V14*"-"=230:56{53R9}
230r18 Left{53R9}
230r24 Right{53R9}
232U14*Symmetric_Difference 232=36 232>57 4|1876b14 1879l8 1879t28
232r36 Target{53R9} 4|1876b36 1878m37 1878r37
232r57 Source{53R9} 4|1876b57 1878r50
238V13*Symmetric_Difference{53R9} 238>35 238>41 243r58 4|1881b13 1886l8 1886t28
238r35 Left{53R9} 4|1881b35 1883r39
238r41 Right{53R9} 4|1881b41 1883r50
243V14*"xor"=243:58{53R9}
243r20 Left{53R9}
243r26 Right{53R9}
245V13*Overlap{boolean} 245>22 245>28 4|1517b13 1520l8 1520t15
245r22 Left{53R9} 4|1517b22 1519r31
245r28 Right{53R9} 4|1517b28 1519r42
249V13*Is_Subset{boolean} 249>24 249>38 4|1236b13 1239l8 1239t17
249r24 Subset{53R9} 4|1236b24 1238r43
249r38 Of_Set{53R9} 4|1236b38 1238r66
253V13*First{59R9} 253>20 4|585b13 592l8 592t13 610s34
253r20 Container{53R9} 4|585b20 587r10 591r22 591r53
257V13*First_Element{40+9} 257>28 4|620b13 627l8 627t21
257r28 Container{53R9} 4|620b28 622r10 626r14
260V13*Last{59R9} 260>19 4|1395b13 1402l8 1402t12 1420s34
260r19 Container{53R9} 4|1395b19 1397r10 1401r22 1401r53
264V13*Last_Element{40+9} 264>27 4|1430b13 1437l8 1437t20
264r27 Container{53R9} 4|1430b27 1432r10 1436r14
267V13*Next{59R9} 267>19 4|1476s19 1479b13 1497l8 1497t12 1510s14
267r19 Position{59R9} 4|1479b19 1481r10 1485r27 1485r52 1489r63 1495r25
273U14*Next 273=20 4|1473b14 1477l8 1477t12
273r20 Position{59R9} 4|1473b20 1476m7 1476r25
276V13*Previous{59R9} 276>23 4|1538s19 1541b13 1557l8 1557t16 1570s14
276r23 Position{59R9} 4|1541b23 1543r10 1547r27 1547r52 1552r38 1555r31
282U14*Previous 282=24 4|1535b14 1539l8 1539t16
282r24 Position{59R9} 4|1535b24 1538m7 1538r29
285V13*Find{59R9} 285>19 285>36 4|348s14 569b13 579l8 579t12
285r19 Container{53R9} 4|569b19 571r28 578r22
285*36 Item{40+9} 4|569b36 571r44
289V13*Floor{59R9} 289>20 289>37 4|633b13 643l8 643t13
289r20 Container{53R9} 4|633b20 635r29 642r22
289*37 Item{40+9} 4|633b37 635r45
296V13*Ceiling{59R9} 296>22 296>39 4|309b13 319l8 319t15
296r22 Container{53R9} 4|309b22 311r31 318r22
296*39 Item{40+9} 4|309b39 311r47
303V13*Contains{boolean} 303>23 303>40 4|346b13 349l8 349t16
303r23 Container{53R9} 4|346b23 348r20
303*40 Item{40+9} 4|346b40 348r31
306V14*"<"{boolean} 306>18 306>24 4|175b14 192l9 192t11
306r18 Left{59R9} 4|175b18 177r10 185r27 185r48 191r14
306r24 Right{59R9} 4|175b24 181r10 188r27 188r49 191r34
309V14*">"{boolean} 309>18 309>24 4|233b14 252l9 252t11
309r18 Left{59R9} 4|233b18 235r10 243r27 243r48 251r35
309r24 Right{59R9} 4|233b24 239r10 246r27 246r49 251r14
312V14*"<"{boolean} 312>18 312>33 4|194b14 205l9 205t11
312r18 Left{59R9} 4|194b18 197r10 201r27 201r48 204r14
312*33 Right{40+9} 4|194b33 204r34
315V14*">"{boolean} 315>18 315>33 4|254b14 265l9 265t11
315r18 Left{59R9} 4|254b18 257r10 261r27 261r48 264r22
315*33 Right{40+9} 4|254b33 264r14
318V14*"<"{boolean} 318>18 318>39 4|207b14 218l9 218t11
318*18 Left{40+9} 4|207b18 217r14
318r39 Right{59R9} 4|207b39 210r10 214r27 214r49 217r21
321V14*">"{boolean} 321>18 321>39 4|267b14 278l9 278t11
321*18 Left{40+9} 4|267b18 277r35
321r39 Right{59R9} 4|267b39 270r10 274r27 274r49 277r14
324U14*Iterate 325>7 326^7 4|1245b14 1281l8 1281t15
325r7 Container{53R9} 4|1246b7 1261r27 1264r29
326p7 Process 4|1247b7 1261r10
326r46 Position{59R9}
330U14*Reverse_Iterate 331>7 332^7 4|1750b14 1786l8 1786t23
331r7 Container{53R9} 4|1751b7 1766r27 1769r29
332p7 Process 4|1752b7 1766r10
332r46 Position{59R9}
336U14*Iterate 337>7 338>7 339^7 4|1283b14 1320l8 1320t15
337r7 Container{53R9} 4|1284b7 1300r27 1303r29
338*7 Item{40+9} 4|1285b7 1312r28
339p7 Process 4|1286b7 1300r10
339r46 Position{59R9}
343U14*Reverse_Iterate 344>7 345>7 346^7 4|1788b14 1825l8 1825t23
344r7 Container{53R9} 4|1789b7 1805r27 1808r29
345*7 Item{40+9} 4|1790b7 1817r36
346p7 Process 4|1791b7 1805r10
346r46 Position{59R9}
350V13*Iterate<14|32R9[73]> 351>7 4|1322b13 1342l8 1342t15
351r7 Container{53R9} 4|1322b22 1325r34
354V13*Iterate<14|32R9[73]> 355>7 356>7 4|1344b13 1389l8 1389t15
355r7 Container{53R9} 4|1344b22 1347r34 1367r29 1372r27
356r7 Start{59R9} 4|1344b39 1362r10 1367r10 1372r43 1385r37
360+12 Key_Type 362r57 364r40 368r47 372r47 375r48 378r56 381r55 385r45 390r46
. 397r48 404r49 425r22 433r22 4|674r18 679r18 690r35 698r48 714r49 723r55
. 748r48 762r47 777r56 796r45 811r46 827r18 838r18 850r22 891r47 910r22 975r26
362V21 Key{360+12} 362>26 4|830s17 841s24 901s17 975s38 996s53
362*26 Element{40+9}
364V22 "<"{boolean} 364>26 364>32 4|764s18 765s26 830s37 841s22
364*26 Left{360+12}
364*32 Right{360+12}
366k12 Generic_Keys 360z12 362z21 364z22 439l8 439e20 4|667b17 1043l8 1043t20
368V16*Equivalent_Keys{boolean} 368>33 368>39 4|762b16 771l11 771t26 996s16
368*33 Left{360+12} 4|762b33 764r13 765r28 996r33
368*39 Right{360+12} 4|762b39 764r20 765r20 996r44
372V16*Key{360+12} 372>21 4|891b16 902l11 902t14
372r21 Position{59R9} 4|891b21 893r13 898r30 898r55 901r22
375V16*Element{40+9} 375>25 375>42 4|748b16 756l11 756t18
375r25 Container{53R9} 4|748b25 749r56
375*42 Key{360+12} 4|748b42 749r72
378U17*Exclude 378=26 378>50 4|777b17 790l11 790t18
378r26 Container{53R9} 4|777b26 778m35 778r35
378*50 Key{360+12} 4|777b50 779r56 780r69
381U17*Delete 381=25 381>49 4|723b17 742l11 742t17
381r25 Container{53R9} 4|723b25 724m35 724r35
381*49 Key{360+12} 4|723b49 725r56 726r69
385V16*Find{59R9} 385>22 385>39 4|716s17 796b16 805l11 805t15
385r22 Container{53R9} 4|796b22 797r56 804r25
385*39 Key{360+12} 4|796b39 797r72
390V16*Floor{59R9} 390>23 390>40 4|811b16 820l11 820t16
390r23 Container{53R9} 4|811b23 812r57 819r25
390*40 Key{360+12} 4|811b40 812r73
397V16*Ceiling{59R9} 397>25 397>42 4|698b16 708l11 708t18
397r25 Container{53R9} 4|698b25 700r30 707r25
397*42 Key{360+12} 4|698b42 700r46
404V16*Contains{boolean} 404>26 404>43 4|714b16 717l11 717t19
404r26 Container{53R9} 4|714b26 716r23
404*43 Key{360+12} 4|714b43 716r34
407U17*Update_Element 408=10 409>10 410^10 4|951b17 1041l11 1041t25
408r10 Container{53R9} 4|952b10 956m35 956r35 965m35 965r35
409r10 Position{59R9} 4|953b10 957r41 965r13
410p10 Process 4|954b10 985r16
411*35 Element{40+9}
423U17*Iterate 424>10 425>10 426^10 4|848b17 885l11 885t18
424r10 Container{53R9} 4|849b10 865r30 868r32
425*10 Key{360+12} 4|850b10 877r31
426p10 Process 4|851b10 865r13
426r49 Position{59R9}
431U17*Reverse_Iterate 432>10 433>10 434^10 4|908b17 945l11 945t26
432r10 Container{53R9} 4|909b10 925r30 928r32
433*10 Key{360+12} 4|910b10 937r39
434p10 Process 4|911b10 925r13
434r49 Position{59R9}
446R9 Node_Type 447r31 449c9 458r46 4|368r13 651r42 1099r16 1144r16 1635r36
447P9 Node_Access(446R9) 450r17 451r17 452r17 458r57 478r19 4|49r19 72r27
. 75r26 75r46 78r28 78r48 81r27 81r47 84r33 84r55 87r31 87r51 90r32 90r53
. 93r32 100r33 100r53 103r31 108r22 112r18 113r18 114r22 116r40 121r15 126r15
. 129r39 134r14 310r23 337r27 366r33 366r53 367r25 383r14 384r23 385r14 428r14
. 445r14 509r48 519r48 542r14 543r23 544r14 570r23 634r23 649r31 651r53 675r18
. 680r18 699r26 725r17 726r26 727r17 749r26 779r17 780r26 781r17 797r26 812r26
. 828r18 839r18 853r41 863r41 913r41 923r41 957r26 1006r38 1019r38 1029r22
. 1082r22 1084r32 1097r32 1098r26 1120r18 1121r18 1122r22 1124r32 1142r32
. 1143r26 1192r40 1203r15 1217r15 1227r39 1249r38 1259r38 1288r38 1298r38
. 1443r26 1443r46 1489r26 1526r28 1526r48 1551r26 1622r66 1633r66 1635r17
. 1665r14 1686r35 1699r35 1710r19 1754r38 1764r38 1793r38 1803r38 1831r27
. 1831r47 1840r32 1849r31 1849r51 1858r33 1858r55 1867r32 1867r53 1894r14
. 1926r19 1938r19
450p7 Parent{447P9} 4|368m24 655m12 1022m21 1099m27 1144m27 1528r19 1703m18
. 1860m12
451p7 Left{447P9} 4|369m24 656m12 1023m21 1100m27 1145m27 1445r19 1704m18
. 1851m12
452p7 Right{447P9} 4|370m24 657m12 1024m21 1101m27 1146m27 1705m18 1833r19
. 1869m12
453e7 Color{5|35E9} 4|339r19 371m24 371r42 1021m21 1102m27 1147m27 1702m18
. 1842m12
454*7 Element{40+9} 4|191r24 191r45 204r24 217r32 251r25 251r45 264r32 277r25
. 372m24 372r42 485r28 521r15 521r27 523r18 523r30 626r35 755r22 830r28 841r35
. 901r36 974m43 1036r29 1103m27 1148m27 1148r47 1159r19 1194r16 1194r28 1208r20
. 1220r27 1229r16 1229r28 1436r34 1600m36 1637r42 1669r22 1670r22 1679m15
. 1701m18 1941r43
457K12 Tree_Types[5|40] 461r14 469r8 4|142r46
461r7 Tree{5|41R12[457]} 508m35 4|185r42 188r43 201r42 214r43 226r29 226r41
. 243r42 246r43 261r42 274r43 288m25 311r41 330m24 382m42 413r37 416m40 427m42
. 444m42 462m34 462r47 467r34 467r46 482r46 533r34 533r46 541m42 559m44 571r38
. 587r20 591r63 622r20 626r24 635r39 700r40 724m45 749r66 778m45 797r66 812r67
. 868m42 898r49 928m42 956m45 1071m35 1169m36 1169r49 1174r36 1174r48 1185r24
. 1238r50 1238r73 1264m39 1303m39 1326m29 1348m29 1372r37 1397r20 1401r63
. 1432r20 1436r24 1454r24 1466m30 1466m53 1485r46 1519r36 1519r48 1547r46
. 1586r46 1590m51 1648m31 1740r37 1743m34 1769m39 1808m39 1878m44 1878r57
. 1883r44 1883r56 1907m29 1907r42 1911r56 1911r68 1947r32
464U25 Adjust<13|52p14> 464=33 4|286b14 289l8 289t14
464r33 Container{53R9} 4|286b22 288m15 288r15
466U25 Finalize=466:67<13|53p14>
466r35 Container{53R9}
473P9 Set_Access(53R9) 474r8 477r19 4|48r19 1325r20 1347r20
477p7 Container{473P9} 4|185r31 185r32 188r32 188r33 201r31 201r32 214r32
. 214r33 243r31 243r32 246r32 246r33 261r31 261r32 274r32 274r33 409r19 419m16
. 482r35 482r36 898r38 898r39 965r22 1072m16 1367r16 1485r35 1485r36 1495r34
. 1501r19 1505r19 1547r35 1547r36 1555r40 1561r19 1565r19 1586r35 1586r36
. 1590r40 1590r41 1735r19
478p7 Node{447P9} 4|177r15 181r16 185r53 188r55 191r18 191r19 191r39 191r40
. 197r15 201r53 204r18 204r19 210r16 214r55 217r26 217r27 235r15 239r16 243r53
. 246r55 251r19 251r20 251r39 251r40 257r15 261r53 264r26 264r27 270r16 274r55
. 277r19 277r20 405r19 413r52 416r55 417m22 478r19 482r61 485r22 485r23 893r22
. 898r64 901r30 901r31 957r50 1071m60 1372r49 1385r43 1485r61 1489r72 1547r61
. 1552r47 1582r19 1586r61 1600r30 1600r31 1730r19 1740r52 1743r49
481U14 Write 482^7 483>7 4|1950b14 1956l8 1956t13
482p7 Stream(15|39R9) 4|1951b7
483r7 Item{59R9} 4|1952b7
487U14 Read 488^7 489<7 4|1651b14 1657l8 1657t12
488p7 Stream(15|39R9) 4|1652b7
489r7 Item{59R9} 4|1653b7
495U14 Write 496^7 497>7 4|1920b14 1948l8 1948t13
496p7 Stream(15|39R9) 4|1921b7 1947r14
497r7 Container{53R9} 4|1922b7 1947r22
501U14 Read 502^7 503<7 4|1617b14 1649l8 1649t12
502p7 Stream(15|39R9) 4|1618b7 1648r13
503r7 Container{53R9} 4|1619b7 1648m21 1648r21
X 4 a-coormu.adb
45R9 Iterator<13|55R9><14|32R9[3|73]> 50e14 52P25 52r51 54P24 54r40 55P24
. 55r40 57P24 58r18 61P24 62r18 558r40 594r29 1339r28 1384r28 1404r28 1499r28
. 1559r32 13|58P14 21|42p14
48p7 Container{3|473P9} 559r33 559r34 610r23 610r24 612r32 1420r23 1420r24
. 1422r32 1505r39 1565r39
49p7 Node{3|447P9} 609r17 612r50 1419r17 1422r50
52U25 Finalize<13|59p14> 52=35 558b14 563l8 563t16
52r35 Object{45R9} 558b24 559m27 559r27
54V24 First{3|59R9}<14|26p13> 54>31 594b13 614l8 614t13
54r31 Object{45R9} 594b20 609r10 610r17 612r25 612r43
55V24 Last{3|59R9}<14|34p13> 55>31 1404b13 1424l8 1424t12
55r31 Object{45R9} 1404b19 1419r10 1420r17 1422r25 1422r43
57V24 Next{3|59R9}<14|28p13> 58>7 59>7 1499b13 1511l8 1511t12
58r7 Object{45R9} 1499b19 1505r32
59r7 Position{3|59R9} 1499b38 1501r10 1505r10 1510r20
61V24 Previous{3|59R9}<14|36p13> 62>7 63>7 1559b13 1571l8 1571t16
62r7 Object{45R9} 1559b23 1565r32
63r7 Position{3|59R9} 1559b42 1561r10 1565r10 1570r24
72V13 Color{5|35E9} 72>20 73r19 337b13 340l8 340t13 8|45i19
72p20 Node{3|447P9} 337b20 339r14
75V13 Left{3|447P9} 75>19 76r19 1443b13 1446l8 1446t12 8|41i19
75p19 Node{3|447P9} 1443b19 1445r14
78V13 Parent{3|447P9} 78>21 79r19 1526b13 1529l8 1529t14 8|39i19
78p21 Node{3|447P9} 1526b21 1528r14
81V13 Right{3|447P9} 81>20 82r19 1831b13 1834l8 1834t13 8|43i19
81p20 Node{3|447P9} 1831b20 1833r14
84U14 Set_Parent 84>26 84>46 85r19 1858b14 1861l8 1861t18 8|40i19
84p26 Node{3|447P9} 1858b26 1860m7 1860r7
84p46 Parent{3|447P9} 1858b46 1860r22
87U14 Set_Left 87>24 87>44 88r19 1849b14 1852l8 1852t16 8|42i19
87p24 Node{3|447P9} 1849b24 1851m7 1851r7
87p44 Left{3|447P9} 1849b44 1851r20
90U14 Set_Right 90>25 90>45 91r19 1867b14 1870l8 1870t17 8|44i19
90p25 Node{3|447P9} 1867b25 1869m7 1869r7
90p45 Right{3|447P9} 1867b45 1869r21
93U14 Set_Color 93>25 93>45 94r19 1840b14 1843l8 1843t17 8|46i19
93p25 Node{3|447P9} 1840b25 1842m7 1842r7
93e45 Color{5|35E9} 1840b45 1842r21
100V13 Copy_Node{3|447P9} 100>24 101r19 148r45 366b13 375l8 375t17
100p24 Source{3|447P9} 366b24 371r35 372r35
103U14 Free 103=20 145r47 169r29 397s10 417s7 436s7 453s7 550s10 649b14 661l8
. 661t12 738s13 788s13 1641s13
103p20 X{3|447P9} 649b20 654r10 655m10 655r10 655r22 656m10 656r10 656r20
. 657m10 657r10 657r21 659m22
105U14 Insert_Sans_Hint 106=7 107>7 108<7 1071s7 1079b14 1112l8 1112t24 1897s7
106r7 Tree{5|41R12[3|457]} 1080b7 1111m29
107*7 New_Item{3|40+9} 1081b7 1103r38 1111r35
108p7 Node{3|447P9} 1082b7 1111m45
110U14 Insert_With_Hint 111=7 112>7 113>7 114<7 165r29 1118b14 1161l8 1161t24
111r7 Dst_Tree{5|41R12[3|457]} 1119b7 1157m10
112p7 Dst_Hint{3|447P9} 1120b7 1158r10
113p7 Src_Node{3|447P9} 1121b7 1148r38 1159r10
114p7 Dst_Node{3|447P9} 1122b7 1160m10
116V13 Is_Equal_Node_Node{boolean} 116>33 116>36 117r19 153r41 1192b13 1195l8
. 1195t26
116p33 L{3|447P9} 1192b33 1194r14
116p36 R{3|447P9} 1192b36 1194r26
119V13 Is_Greater_Element_Node{boolean} 120>7 121>7 122r19 160r32 1201b13
. 1209l8 1209t31
120*7 Left{3|40+9} 1202b7 1208r30
121p7 Right{3|447P9} 1203b7 1208r14
124V13 Is_Less_Element_Node{boolean} 125>7 126>7 127r19 159r32 1215b13 1221l8
. 1221t28
125*7 Left{3|40+9} 1216b7 1220r14
126p7 Right{3|447P9} 1217b7 1220r21
129V13 Is_Less_Node_Node{boolean} 129>32 129>35 130r19 168r29 1227b13 1230l8
. 1230t25
129p32 L{3|447P9} 1227b32 1229r14
129p35 R{3|447P9} 1227b35 1229r26
132U14 Replace_Element 133=7 134>7 135>7 1663b14 1722l8 1722t23 1743s7
133r7 Tree{5|41R12[3|457]} 1664b7 1674r13 1683m46 1716m21
134p7 Node{3|447P9} 1665b7 1669r17 1670r17 1679m10 1679r10 1683r52 1701m13
. 1701r13 1702m13 1702r13 1703m13 1703r13 1704m13 1704r13 1705m13 1705r13
. 1707r20 1720r34
135*7 Item{3|40+9} 1666b7 1669r10 1670r32 1679r26 1701r29 1717r21
141K12 Tree_Operations[8|48] 145r10 148r10 150r8 153r10 157r32 164r29 284r28
. 326r11 395r18 396r10 435r7 452r7 513r13 548r18 549r10 689r35 736r21 737r13
. 786r21 787r13 1003r10 1253r13 1462r11 1489r41 1552r12 1626r14 1683r7 1758r13
. 1930r14
144U14 Delete_Tree[8|89] 148r56 167r29 326r42
147V13 Copy_Tree[8|95]{3|447P9} 166r29 284r60
152V13 Is_Equal[8|76]{boolean} 226s14
155K12 Element_Keys[6|50] 311r9 383r29 384r38 542r29 543r38 571r9 635r9 1010r20
. 1013r20 1088r13 1091r13 1128r13 1131r13 1134r13 1292r13 1690r17 1693r17
. 1797r14
162K12 Set_Ops[10|55] 462r7 467r9 1169r7 1174r9 1238r14 1519r14 1878r7 1883r9
. 1907r7 1911r36
284U14 Adjust[8|103] 288s7
310p7 Node{3|447P9} 314r10 318r53
325U14 Clear[8|111] 330s7 1462r41 1626r44
357r14 Target{3|53R9} 358m10 358r10
367p7 Target{3|447P9} 374r14
382r7 Tree{5|41R12[3|457]} 383r51 384r64 396r49
383p7 Node{3|447P9} 388r10 394r15 395m10 395r40 399r20
384p7 Done{3|447P9} 388r17 399r27
385p7 X{3|447P9} 394m10 396r55 397m16 397r16
427r7 Tree{5|41R12[3|457]} 428r29 435r46
428p7 X{3|447P9} 431r10 435r52 436m13 436r13
444r7 Tree{5|41R12[3|457]} 445r29 452r46
445p7 X{3|447P9} 448r10 452r52 453m13 453r13
466r7 Tree{5|41R12[3|457]} 469r35
509V16 Is_Equivalent_Node_Node{boolean} 509>41 509>44 510r22 513r44 519b16
. 528l11 528t34
509p41 L{3|447P9} 519b41 521r13 523r28
509p44 R{3|447P9} 519b44 521r25 523r16
512V16 Is_Equivalent[8|76]{boolean} 533s14
541r7 Tree{5|41R12[3|457]} 542r51 543r64 549r49
542p7 Node{3|447P9} 546r13 547r15 548m10 548r40
543p7 Done{3|447P9} 546r21
544p7 X{3|447P9} 547m10 549r55 550m16 550r16
559i7 B{natural} 560r22 562r7 562r12
570p7 Node{3|447P9} 574r10 578r53
634p7 Node{3|447P9} 638r10 642r53
650U17 Deallocate[18|20] 659s10
673V16 Is_Greater_Key_Node{boolean} 674>10 675>10 676r22 692r35 826b16 831l11
. 831t30
674*10 Left{3|360+12} 827b10 830r39
675p10 Right{3|447P9} 828b10 830r22
678V16 Is_Less_Key_Node{boolean} 679>10 680>10 681r22 691r35 837b16 842l11
. 842t27
679*10 Left{3|360+12} 838b10 841r17
680p10 Right{3|447P9} 839b10 841r29
687K15 Key_Keys[6|50] 700r12 725r32 726r41 749r41 779r32 780r41 797r41 812r41
. 857r16 917r16
699p10 Node{3|447P9} 703r13 707r56
724r10 Tree{5|41R12[3|457]} 725r50 726r63 737r52
725p10 Node{3|447P9} 730r13 735r18 736m13 736r43 740r23
726p10 Done{3|447P9} 730r20 740r30
727p10 X{3|447P9} 735m13 737r58 738m19 738r19
749p10 Node{3|447P9} 751r13 755r17
778r10 Tree{5|41R12[3|457]} 779r50 780r63 787r52
779p10 Node{3|447P9} 784r16 785r18 786m13 786r43
780p10 Done{3|447P9} 784r24
781p10 X{3|447P9} 785m13 787r58 788m19 788r19
797p10 Node{3|447P9} 800r13 804r56
812p10 Node{3|447P9} 815r13 819r56
851r49 Position{3|59R9}
853U20 Process_Node 853>34 854r25 857r44 863b20 866l14 866t26
853p34 Node{3|447P9} 863b34 865r61
856U20 Local_Iterate[6|178] 877s13
868r10 T{5|41R12[3|457]} 869r30 877r28
869i10 B{natural} 874r10 874r15 880r16 880r21 884r10 884r15
911r49 Position{3|59R9}
913U20 Process_Node 913>34 914r25 917r52 923b20 926l14 926t26
913p34 Node{3|447P9} 923b34 925r61
916U20 Local_Reverse_Iterate[6|186] 937s13
928r10 T{5|41R12[3|457]} 929r30 937r36
929i10 B{natural} 934r10 934r15 940r16 940r21 944r10 944r15
954*49 Element{3|40+9}
956r10 Tree{5|41R12[3|457]} 970r30 977r33 978r33 1003r49 1035r24
957p10 Node{3|447P9} 960r13 970r36 974m38 974r38 1003r55 1021m16 1021r16
. 1022m16 1022r16 1023m16 1023r16 1024m16 1024r16 1026r23 1036r24 1039r37
974*13 E{3|40+9} 975r43 985r25 996r58
975*13 K{3|360+12} 996r41
977i13 B{natural} 981r13 981r18 989r19 989r24 994r13 994r18
978i13 L{natural} 982r13 982r18 988r19 988r24 993r13 993r18
1005q10 Insert_New_Item 1040l14 1040e29
1006V22 New_Node{3|447P9} 1007r28 1010r54 1019b22 1027l17 1027t25
1009U23 Insert_Post[6|55] 1013r63
1012U23 Unconditional_Insert[6|94] 1034s13
1029p13 Result{3|447P9} 1037m24 1037r24 1039r28
1059r7 Position{3|59R9} 1060r28 1062m36
1084V16 New_Node{3|447P9} 1085r22 1088r47 1097b16 1106l11 1106t19
1087U17 Insert_Post[6|55] 1091r56
1090U17 Unconditional_Insert[6|94] 1111s7
1098p10 Node{3|447P9} 1105r17
1124V16 New_Node{3|447P9} 1125r22 1128r47 1142b16 1151l11 1151t19
1127U17 Insert_Post[6|55] 1131r56 1135r12
1130U17 Insert_Sans_Hint[6|94] 1136r12
1133U17 Local_Insert_With_Hint[6|114] 1156s7
1143p10 Node{3|447P9} 1150r17
1173r7 Tree{5|41R12[3|457]} 1176r35
1247r46 Position{3|59R9}
1249U17 Process_Node 1249>31 1250r22 1253r48 1259b17 1262l11 1262t23
1249p31 Node{3|447P9} 1259b31 1261r58
1252U17 Local_Iterate[8|125] 1273s10
1264r7 T{5|41R12[3|457]} 1265r27 1273r25
1265i7 B{natural} 1270r7 1270r12 1276r13 1276r18 1280r7 1280r12
1286r46 Position{3|59R9}
1288U17 Process_Node 1288>31 1289r22 1292r45 1298b17 1301l11 1301t23
1288p31 Node{3|447P9} 1298b31 1300r58
1291U17 Local_Iterate[6|178] 1312s10
1303r7 T{5|41R12[3|457]} 1304r27 1312r25
1304i7 B{natural} 1309r7 1309r12 1315r13 1315r18 1319r7 1319r12
1325p7 S{3|473P9} 1326m27 1326r27 1339r65
1326i7 B{natural} 1340r10 1340r15
1339r14 It{45R9}
1347p7 S{3|473P9} 1348m27 1348r27 1385r34
1348i7 B{natural} 1387r10 1387r15
1384r14 It{45R9}
1461U14 Move[8|117] 1466s7
1489p10 Node{3|447P9} 1491r13 1495r45
1551p10 Node{3|447P9} 1554r21 1555r51
1579*45 Element{3|40+9}
1590r10 T{5|41R12[3|457]} 1592r30 1593r30
1592i10 B{natural} 1596r10 1596r15 1604r16 1604r21 1609r10 1609r15
1593i10 L{natural} 1597r10 1597r15 1603r16 1603r21 1608r10 1608r15
1621V16 Read_Node{3|447P9} 1622^10 1623r22 1626r51 1632b16 1643l11 1643t20
1622p10 Stream(15|39R9) 1633b10 1637r29
1625U17 Read[8|150] 1648s7
1635p10 Node{3|447P9} 1637m37 1637r37 1638r17 1641m19 1641r19
1685q7 Insert_New_Item 1721l11 1721e26
1686V19 New_Node{3|447P9} 1687r25 1690r51 1699b19 1708l14 1708t22
1689U20 Insert_Post[6|55] 1693r60
1692U20 Unconditional_Insert[6|94] 1715s10
1710p10 Result{3|447P9} 1718m21 1718r21 1720r25
1752r46 Position{3|59R9}
1754U17 Process_Node 1754>31 1755r22 1758r56 1764b17 1767l11 1767t23
1754p31 Node{3|447P9} 1764b31 1766r58
1757U17 Local_Reverse_Iterate[8|131] 1778s10
1769r7 T{5|41R12[3|457]} 1770r27 1778r33
1770i7 B{natural} 1775r7 1775r12 1781r13 1781r18 1785r7 1785r12
1791r46 Position{3|59R9}
1793U17 Process_Node 1793>31 1794r22 1797r54 1803b17 1806l11 1806t23
1793p31 Node{3|447P9} 1803b31 1805r58
1796U17 Local_Reverse_Iterate[6|186] 1817s10
1808r7 T{5|41R12[3|457]} 1809r27 1817r33
1809i7 B{natural} 1814r7 1814r12 1820r13 1820r18 1824r7 1824r12
1882r7 Tree{5|41R12[3|457]} 1885r35
1893r7 Tree{5|41R12[3|457]} 1897m25 1897r25 1898r35
1894p7 Node{3|447P9} 1895r28 1897m41 1897r41
1911r7 Tree{5|41R12[3|457]} 1913r35
1924U17 Write_Node 1925^10 1926>10 1927r22 1930r45 1936b17 1942l11 1942t21
1925p10 Stream(15|39R9) 1937b10 1941r30
1926p10 Node{3|447P9} 1938b10 1941r38
1929U17 Write[8|139] 1947s7
X 5 a-crbltr.ads
32K24*Red_Black_Trees 3|34w29 453r17 453r47 458r10 468r8 4|32r21 35r21 38r21
. 142r10 156r10 688r14 1021r30 1102r38 1702r27 5|75e35
35E9*Color_Type 3|453r33 4|72r47 93r53 337r47 1840r53 5|35e35
35n24*Red{35E9} 3|453r63 4|1021r46 1102r54 1147r38 1702r43
38+12 Node_Type
39P12 Node_Access(38+12[8|36[10|36]])
40k12*Generic_Tree_Types 3|458r26 5|49e26
41R12 Tree_Type 3|461r25[457] 4|106r25[3|457] 111r25[3|457] 133r21[3|457]
. 382r14[3|457] 427r14[3|457] 444r14[3|457] 466r23[3|457] 541r14[3|457] 724r17[3|457]
. 778r17[3|457] 868r14[3|457] 928r14[3|457] 956r17[3|457] 1080r25[3|457]
. 1119r25[3|457] 1173r23[3|457] 1264r11[3|457] 1303r11[3|457] 1590r14[3|457]
. 1664r21[3|457] 1769r11[3|457] 1808r11[3|457] 1882r23[3|457] 1893r14[3|457]
. 1911r23[3|457]
42p10 First{3|447P9} 3|508m44[457] 4|428r34[3|457] 587r25[3|457] 591r68[3|457]
. 622r25[3|457] 626r28[3|457] 626r29[3|457]
43p10 Last{3|447P9} 3|509m44[457] 4|445r34[3|457] 1397r25[3|457] 1401r68[3|457]
. 1432r25[3|457] 1436r28[3|457] 1436r29[3|457]
44p10 Root{3|447P9} 3|510m44[457]
45i10 Length{2|20I9} 3|511m44[457] 4|1185r29[3|457] 1454r29[3|457]
46i10 Busy{natural} 3|512m44[457] 4|559m49[3|457] 869m32[3|457] 929m32[3|457]
. 977m38[3|457] 1265m29[3|457] 1304m29[3|457] 1326m34[3|457] 1348m34[3|457]
. 1592m32[3|457] 1770m29[3|457] 1809m29[3|457]
47i10 Lock{natural} 3|513m44[457] 4|978m38[3|457] 1593m32[3|457] 1674r18[3|457]
X 6 a-crbtgk.ads
36K17 Tree_Operations 4|157r9 689r12
40+9 Key_Type 4|158r9 690r12
42V18 Is_Less_Key_Node{boolean} 4|159r9 691r12
46V18 Is_Greater_Key_Node{boolean} 4|160r9 692r12
50k40*Generic_Keys 4|35w37 156r26 688r30 6|192e48
55u14 Generic_Insert_Post 4|1010r33[155] 1088r26[155] 1128r26[155] 1690r30[155]
94u14 Generic_Unconditional_Insert 4|1013r33[155] 1091r26[155] 1131r26[155]
. 1693r30[155]
95r7 Tree{5|41R12[3|457]} 4|1035r16[1012] 1716r13[1692]
96*7 Key{3|40+9} 4|1036r16[1012] 1717r13[1692]
97p7 Node{3|447P9} 4|1037r16[1012] 1718r13[1692]
114u14 Generic_Unconditional_Insert_With_Hint 4|1134r26[155]
156V13 Find{3|447P9} 4|571s22[155] 749s50[687] 797s50[687]
161V13 Ceiling{3|447P9} 4|311s22[155] 383s42[155] 542s42[155] 700s21[687]
. 725s41[687] 779s41[687]
166V13 Floor{3|447P9} 4|635s22[155] 812s50[687]
171V13 Upper_Bound{3|447P9} 4|384s51[155] 543s51[155] 726s50[687] 780s50[687]
178u14 Generic_Iteration 4|857r25[687] 1292r26[155]
186u14 Generic_Reverse_Iteration 4|917r25[687] 1797r27[155]
X 8 a-crbtgo.ads
48k40*Generic_Operations 4|32w37 142r26 8|163e54
64V13 Vet{boolean} 4|185s22[141] 188s22[141] 201s22[141] 214s22[141] 243s22[141]
. 246s22[141] 261s22[141] 274s22[141] 413s22[141] 482s22[141] 898s25[141]
. 970s25[141] 1372s22[141] 1485s22[141] 1547s22[141] 1586s22[141] 1740s22[141]
68V13 Next{3|447P9} 4|395s34[141] 548s34[141] 736s37[141] 786s37[141] 1489s57[141]
71V13 Previous{3|447P9} 4|1552s28[141]
76v13 Generic_Equal 4|153r26[141] 513r29[141]
81U14 Delete_Node_Sans_Free 4|396s26[141] 416s7[141] 435s23[141] 452s23[141]
. 549s26[141] 737s29[141] 787s29[141] 1003s26[141] 1683s23[141]
89u14 Generic_Delete_Tree 4|145r26[141]
95v13 Generic_Copy_Tree 4|148r26[141]
103u14 Generic_Adjust 4|284r44[141]
111u14 Generic_Clear 4|326r27[141]
117u14 Generic_Move 4|1462r27[141]
117r28 Target{5|41R12[3|457]} 4|1466r13[1461]
117r36 Source{5|41R12[3|457]} 4|1466r36[1461]
125u14 Generic_Iteration 4|1253r29[141]
131u14 Generic_Reverse_Iteration 4|1758r29[141]
139u14 Generic_Write 4|1930r30[141]
150u14 Generic_Read 4|1626r30[141]
X 10 a-rbtgso.ads
36K17 Tree_Operations 4|164r9
40U19 Insert_With_Hint 4|165r9
46V18 Copy_Tree{5|39P12[8|36[10|36]]} 4|166r9
49U19 Delete_Tree 4|167r9
51V18 Is_Less{boolean} 4|168r9
53U19 Free 4|169r9
55k40*Generic_Set_Operations 4|38w37 163r10 10|106e58
58U14 Union 4|1907s15[162]
66V13 Union{5|41R12[3|457]} 4|1911s44[162]
70U14 Intersection 4|1169s15[162]
74V13 Intersection{5|41R12[3|457]} 4|1174s17[162]
78U14 Difference 4|462s15[162]
82V13 Difference{5|41R12[3|457]} 4|467s17[162]
86U14 Symmetric_Difference 4|1878s15[162]
93V13 Symmetric_Difference{5|41R12[3|457]} 4|1883s17[162]
98V13 Is_Subset{boolean} 4|1238s22[162]
98r24 Subset{5|41R12[3|457]} 4|1238r33[162]
98r44 Of_Set{5|41R12[3|457]} 4|1238r56[162]
102V13 Overlap{boolean} 4|1519s22[162]
X 13 a-finali.ads
40K13*Finalization 3|35w18 460r24 470r12 13|73e21
48H9*Controlled 3|460r37 508r19 4|469r19 1176r19 1885r19 1898r19 1913r19
. 13|64e72
55H9*Limited_Controlled 4|45r25 1339r41 1385r10 13|71e55
58U14*Initialize<21|44p14>
X 14 a-iteint.ads
21k13*Iterator_Interfaces 3|37w10 74r10 14|39e28
24h9 Forward_Iterator
32h9 Reversible_Iterator<24R9[3|73]> 3|352r38[73] 357r38[73] 4|46r30[3|73]
. 1323r37[3|73] 1345r37[3|73]
X 15 a-stream.ads
36K13*Streams 3|36w18 471r12 15|69e16
39H9*Root_Stream_Type 3|482r32 488r32 496r35 502r35 4|1618r35 1622r35 1633r35
. 1652r32 1921r35 1925r35 1937r35 1951r32 15|67e64
X 18 a-uncdea.ads
20u15*Unchecked_Deallocation 4|30w10 651r18
X 19 system.ads
37K9*System 4|41w6 41r23 19|152e11
64M9*Address 4|41r30
78V14*"="{boolean} 4|297r25
X 21 s-finroo.ads
42U14*Adjust

OHA YOOOO