MINI MINI MANI MO

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.indefinite_ordered_multisets%b  a-ciormu.adb  7b76278b 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.indefinite_ordered_multisets%s  a-ciormu.ads  c92d525f 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-ciormu.ads		20121213103024 12515916
D a-ciormu.adb		20121213103024 a0a848f6
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|35r14 36r14 37r14 38r6 46r9 75r6 456r20 466r8 467r8 511r5
. 4|30r6 32r6 35r6 38r6 43r14 153r10 694r13 2076r5
X 2 a-contai.ads
16K13*Containers 1|16k9 2|24e19 3|35r18 46r13 511r9 4|32r10 35r10 38r10 43r18
. 2076r9
20I9*Count_Type<integer> 3|93r45 4|1536r45
X 3 a-ciormu.ads
41+9 Element_Type 43r37 44r37 50r48 56r29 90r32 102r48 109r19 124r55 144r19
. 156r57 166r54 169r53 250r52 257r51 278r43 282r44 289r46 296r47 305r41 308r41
. 311r25 314r25 331r19 338r19 355r36 368r65 404r52 442r34 4|107r18 120r15
. 125r15 135r14 153r38 170r32 205r41 221r25 279r41 295r25 341r46 378r47 399r33
. 418r53 515r48 535r48 583r54 602r43 663r52 677r44 801r65 1019r66 1041r17
. 1125r57 1134r19 1148r18 1171r42 1221r36 1285r15 1299r15 1330r19 1513r51
. 1667r55 1729r30 1729r44 1758r14 1781r33 1813r33 1842r18 1869r19 2009r32
. 2059r10
43V19 "<"{boolean} 43>23 43>29 4|202s36 218s36 234s19 276s37 292s20 308s37
. 537s15 538s23 564s27 566s30 1291s32 1303s19 1312s28 1761s15 1762s34
43*23 Left{41+9}
43*29 Right{41+9}
44V19 "="{boolean} 44>23 44>29 4|1277s28
44*23 Left{41+9}
44*29 Right{41+9}
46k24*Indefinite_Ordered_Multisets 2|16k13 3|41z9 43z19 44z19 511l20 511e48
. 4|43b29 2076l20 2076t48
50V13*Equivalent_Elements{boolean} 50>34 50>40 4|535b13 544l8 544t27
50*34 Left{41+9} 4|535b34 537r10 538r25
50*40 Right{41+9} 4|535b40 537r17 538r17
54R9*Set 58r41 63r25 77P14 77r32 86p13 86r44 90p13 90r53 93p13 93r33 96p13
. 96r35 99p14 99r40 106p14 107r26 131p14 131r38 131r52 133p13 133r28 133r40
. 135p14 135r36 135r57 142p14 143r26 156p14 156r41 166p14 166r42 169p14 169r41
. 173p14 173r41 179p14 179r47 182p14 182r46 185p14 185r37 185r51 192p13 192r34
. 192r46 197r33 197r45 199p14 199r44 199r58 205p13 205r41 205r53 212r34 212r46
. 214p14 214r42 214r56 219p13 219r39 219r51 223r32 223r44 225p14 225r52 225r66
. 231p13 231r49 231r61 236r34 236r46 238p13 238r36 242p13 242r33 242r47 246p13
. 246r32 250p13 250r40 253p13 253r31 257p13 257r39 278p13 278r31 282p13 282r32
. 289p13 289r34 296p13 296r35 317p14 318r19 323p14 324r19 329p14 330r19 336p14
. 337r19 343p13 344r19 347p13 348r19 368r37 371r45 374r44 378r34 383r35 390r37
. 397r38 401r29 417r22 425r22 456c9 458e14 460P25 460r52 462r54 469r34 491p14
. 493r19 495r8 497p14 499r23 501r8 503r25 4|241r32 318r41 327r38 327r52 341r34
. 360r40 378r35 387r28 387r40 389r23 418r41 439r41 466r47 483r46 500r42 500r56
. 505r39 505r51 508r14 550r44 583r42 602r31 628r32 663r40 677r32 752r37 767r38
. 776r44 801r37 831r45 850r34 865r35 905r22 970r22 1017r29 1125r41 1133r26
. 1250r44 1250r58 1255r41 1255r53 1259r14 1266r35 1319r33 1319r47 1329r19
. 1368r19 1405r34 1427r34 1478r31 1513r39 1536r33 1548r36 1548r57 1602r36
. 1711r23 1840r25 1868r19 1907r19 1993r52 1993r66 1998r49 1998r61 2002r14
. 2009r53 2015r14 2022r37 2022r51 2027r34 2027r46 2031r14 2040r19 13|51P14
60R9*Cursor 61r41 67r26 71r37 75r31 102r33 108r19 123r18 145r23 173r64 246r44
. 253r43 260r30 260r45 266r38 269r34 269r49 275r42 278r64 282r65 289r67 299r32
. 302r32 305r25 308r25 311r47 314r47 319r57 325r57 332r57 339r57 349r19 365r32
. 378r62 383r63 390r65 402r22 419r60 427r60 472c9 475e14 479r16 481r8 485r20
. 487r8 489r26 489r36 4|54r57 55r57 59r18 59r33 63r18 63r33 178r32 205r25
. 221r47 250r32 279r25 295r47 341r67 350r14 439r64 515r33 602r64 610r14 628r44
. 634r14 637r46 655r17 677r65 685r14 752r65 760r17 850r62 858r17 865r63 873r17
. 907r60 921r22 947r32 972r60 990r22 1018r22 1116r37 1126r18 1135r23 1331r57
. 1345r19 1369r57 1383r19 1427r47 1478r43 1484r14 1487r45 1505r17 1557r30
. 1557r45 1575r17 1579r38 1584r49 1584r64 1620r34 1620r49 1638r17 1642r42
. 1647r53 1647r68 1666r18 1745r20 1841r18 1870r57 1884r19 1908r57 1922r19
. 2070r16
63r4*Empty_Set{54R9} 503c4
67r4*No_Element{60R9} 489c4 4|347r17 380r40 607r17 631r17 682r17 757r20 769r42
. 855r20 870r20 1118r26 1445r18 1481r17 1559r21 1560r17 1572r20 1587r17 1622r21
. 1623r17 1635r20 1650r17
71V13*Has_Element{boolean} 71>26 75r39 4|1116b13 1119l8 1119t19
71r26 Position{60R9} 4|1116b26 1118r14
74K12*Set_Iterator_Interfaces[14|21] 345r14 350r14 4|46r6 1406r13 1428r13
77V14*"="{boolean} 77>18 77>24 4|241b14 244l9 244t11
77r18 Left{54R9} 4|241b18 243r24
77r24 Right{54R9} 4|241b24 243r35
86V13*Equivalent_Sets{boolean} 86>30 86>36 4|550b13 577l8 577t23
86r30 Left{54R9} 4|550b30 576r29
86r36 Right{54R9} 4|550b36 576r40
90V13*To_Set{54R9} 90>21 4|2009b13 2016l8 2016t14
90*21 New_Item{41+9} 4|2009b21 2014r31
93V13*Length{2|20I9} 93>21 4|1536b13 1539l8 1539t14
93r21 Container{54R9} 4|1536b21 1538r14
96V13*Is_Empty{boolean} 96>23 4|1266b13 1269l8 1269t16
96r23 Container{54R9} 4|1266b23 1268r14
99U14*Clear 99=21 462r67 4|333s14 360b14 363l8 363t13
99r21 Container{54R9} 4|360b21 362m14 362r14
102V13*Element{41+9} 102>22 4|515b13 529l8 529t15
102r22 Position{60R9} 4|515b22 517r10 521r10 525r27 525r52 528r14
106U14*Replace_Element 107=7 108>7 109>7 4|1839b14 1861l8 1861t23
107r7 Container{54R9} 4|1840b6 1853m32 1853r32 1857r27 1860m24 1860r24
108r7 Position{60R9} 4|1841b6 1845r10 1849r10 1853r10 1857r43 1860r40
109*7 New_Item{41+9} 4|1842b6 1860r55
122U14*Query_Element 123>7 124^7 4|1665b14 1703l8 1703t21
123r7 Position{60R9} 4|1666b7 1670r10 1674r10 1678r27 1678r52 1682m32 1682r32
. 1692r22
124p7 Process 4|1667b7 1692r13
124*45 Element{41+9}
131U14*Assign 131=22 131>43 4|327b14 335l8 335t14 390s17
131r22 Target{54R9} 4|327b22 329m10 329r10 333m7 333r7 334m7 334r7
131r43 Source{54R9} 4|327b43 329r27 334r21
133V13*Copy{54R9} 133>19 4|387b13 392l8 392t12
133r19 Source{54R9} 4|387b19 390r25
135U14*Move 135=20 135=41 4|1548b14 1551l8 1551t12
135r20 Target{54R9} 4|1548b20 1550m23 1550r23
135r41 Source{54R9} 4|1548b41 1550m46 1550r46
142U14*Insert 143=7 144>7 145<7 4|1129s7 1132b14 1140l8 1140t14
143r7 Container{54R9} 4|1133b7 1138m25 1138r25 1139m29 1139r29
144*7 New_Item{41+9} 4|1134b7 1138r41
145r7 Position{60R9} 4|1135b7 1138m51 1138r51 1139m7
156U14*Insert 156=22 156>46 4|1125b14 1130l8 1130t14
156r22 Container{54R9} 4|1125b22 1129m15
156*46 New_Item{41+9} 4|1125b46 1129r26
166U14*Exclude 166=23 166>47 4|583b14 596l8 596t15
166r23 Container{54R9} 4|583b23 584m32 584r32
166*47 Item{41+9} 4|583b47 585r57 586r70
169U14*Delete 169=22 169>46 4|418b14 437l8 437t14
169r22 Container{54R9} 4|418b22 419m32 419r32
169*46 Item{41+9} 4|418b46 420r57 421r70
173U14*Delete 173=22 173=46 4|439b14 460l8 460t14
173r22 Container{54R9} 4|439b22 449m32 449r32 453r27 456m46 456r46
173r46 Position{60R9} 4|439b46 441r10 445r10 449r10 453r43 456r62 457m13
. 457r13 459m7
179U14*Delete_First 179=28 4|466b14 477l8 477t20
179r28 Container{54R9} 4|466b28 467m32 467r32
182U14*Delete_Last 182=27 4|483b14 494l8 494t19
182r27 Container{54R9} 4|483b27 484m32 484r32
185U14*Union 185=21 185>42 4|334s14 2022b14 2025l8 2025t13
185r21 Target{54R9} 4|2022b21 2024m22 2024r22
185r42 Source{54R9} 4|2022b42 2024r35
192V13*Union{54R9} 192>20 192>26 197r57 4|2027b13 2032l8 2032t13
192r20 Left{54R9} 4|2027b20 2029r31
192r26 Right{54R9} 4|2027b26 2029r42
197V14*"or"=197:57{54R9}
197r19 Left{54R9}
197r25 Right{54R9}
199U14*Intersection 199=28 199>49 4|1250b14 1253l8 1253t20
199r28 Target{54R9} 4|1250b28 1252m29 1252r29
199r49 Source{54R9} 4|1250b49 1252r42
205V13*Intersection{54R9} 205>27 205>33 212r58 4|1255b13 1260l8 1260t20
205r27 Left{54R9} 4|1255b27 1257r31
205r33 Right{54R9} 4|1255b33 1257r42
212V14*"and"=212:58{54R9}
212r20 Left{54R9}
212r26 Right{54R9}
214U14*Difference 214=26 214>47 4|500b14 503l8 503t18
214r26 Target{54R9} 4|500b26 502m27 502r27
214r47 Source{54R9} 4|500b47 502r40
219V13*Difference{54R9} 219>25 219>31 223r56 4|505b13 509l8 509t18
219r25 Left{54R9} 4|505b25 506r56
219r31 Right{54R9} 4|505b31 506r67
223V14*"-"=223:56{54R9}
223r18 Left{54R9}
223r24 Right{54R9}
225U14*Symmetric_Difference 225=36 225>57 4|1993b14 1996l8 1996t28
225r36 Target{54R9} 4|1993b36 1995m37 1995r37
225r57 Source{54R9} 4|1993b57 1995r50
231V13*Symmetric_Difference{54R9} 231>35 231>41 236r58 4|1998b13 2003l8 2003t28
231r35 Left{54R9} 4|1998b35 2000r46
231r41 Right{54R9} 4|1998b41 2000r57
236V14*"xor"=236:58{54R9}
236r20 Left{54R9}
236r26 Right{54R9}
238V13*Overlap{boolean} 238>22 238>28 4|1602b13 1605l8 1605t15
238r22 Left{54R9} 4|1602b22 1604r31
238r28 Right{54R9} 4|1602b28 1604r42
242V13*Is_Subset{boolean} 242>24 242>38 4|1319b13 1322l8 1322t17
242r24 Subset{54R9} 4|1319b24 1321r43
242r38 Of_Set{54R9} 4|1319b38 1321r66
246V13*First{60R9} 246>20 4|628b13 635l8 635t13 653s34
246r20 Container{54R9} 4|628b20 630r10 634r22 634r53
250V13*First_Element{41+9} 250>28 4|663b13 671l8 671t21
250r28 Container{54R9} 4|663b28 665r10 669r22 670r14
253V13*Last{60R9} 253>19 4|1478b13 1485l8 1485t12 1503s34
253r19 Container{54R9} 4|1478b19 1480r10 1484r22 1484r53
257V13*Last_Element{41+9} 257>27 4|1513b13 1521l8 1521t20
257r27 Container{54R9} 4|1513b27 1515r10 1519r22 1520r14
260V13*Next{60R9} 260>19 4|1557b13 1577l8 1577t12 1581s19 1595s14
260r19 Position{60R9} 4|1557b19 1559r10 1563r27 1563r52 1568r41 1575r25
266U14*Next 266=20 4|1579b14 1582l8 1582t12
266r20 Position{60R9} 4|1579b20 1581m7 1581r25
269V13*Previous{60R9} 269>23 4|1620b13 1640l8 1640t16 1644s19 1658s14
269r23 Position{60R9} 4|1620b23 1622r10 1626r27 1626r52 1631r45 1638r25
275U14*Previous 275=24 4|1642b14 1645l8 1645t16
275r24 Position{60R9} 4|1642b24 1644m7 1644r29
278V13*Find{60R9} 278>19 278>36 4|380s14 602b13 611l8 611t12
278r19 Container{54R9} 4|602b19 603r57 610r22
278*36 Item{41+9} 4|602b36 603r73
282V13*Floor{60R9} 282>20 282>37 4|677b13 686l8 686t13
282r20 Container{54R9} 4|677b20 678r58 685r22
282*37 Item{41+9} 4|677b37 678r74
289V13*Ceiling{60R9} 289>22 289>39 4|341b13 351l8 351t15
289r22 Container{54R9} 4|341b22 343r31 350r22
289*39 Item{41+9} 4|341b39 343r47
296V13*Contains{boolean} 296>23 296>40 4|378b13 381l8 381t16
296r23 Container{54R9} 4|378b23 380r20
296*40 Item{41+9} 4|378b40 380r31
299V14*"<"{boolean} 299>18 299>24 4|178b14 203l9 203t11
299r18 Left{60R9} 4|178b18 180r10 188r10 196r27 196r48 202r14
299r24 Right{60R9} 4|178b24 184r10 192r10 199r27 199r49 202r38
302V14*">"{boolean} 302>18 302>24 4|250b14 277l9 277t11
302r18 Left{60R9} 4|250b18 252r10 260r10 268r27 268r48 276r39
302r24 Right{60R9} 4|250b24 256r10 264r10 271r27 271r49 276r14
305V14*"<"{boolean} 305>18 305>33 4|205b14 219l9 219t11
305r18 Left{60R9} 4|205b18 207r10 211r10 215r27 215r48 218r14
305*33 Right{41+9} 4|205b33 218r38
308V14*">"{boolean} 308>18 308>33 4|279b14 293l9 293t11
308r18 Left{60R9} 4|279b18 281r10 285r10 289r27 289r48 292r22
308*33 Right{41+9} 4|279b33 292r14
311V14*"<"{boolean} 311>18 311>39 4|221b14 235l9 235t11
311*18 Left{41+9} 4|221b18 234r14
311r39 Right{60R9} 4|221b39 223r10 227r10 231r27 231r49 234r21
314V14*">"{boolean} 314>18 314>39 4|295b14 309l9 309t11
314*18 Left{41+9} 4|295b18 308r39
314r39 Right{60R9} 4|295b39 297r10 301r10 305r27 305r49 308r14
317U14*Iterate 318>7 319^7 4|1367b14 1403l8 1403t15
318r7 Container{54R9} 4|1368b7 1383r27 1386r29
319p7 Process 4|1369b7 1383r10
319r46 Position{60R9}
323U14*Reverse_Iterate 324>7 325^7 4|1906b14 1942l8 1942t23
324r7 Container{54R9} 4|1907b7 1922r27 1925r29
325p7 Process 4|1908b7 1922r10
325r46 Position{60R9}
329U14*Iterate 330>7 331>7 332^7 4|1328b14 1365l8 1365t15
330r7 Container{54R9} 4|1329b7 1345r27 1348r29
331*7 Item{41+9} 4|1330b7 1357r28
332p7 Process 4|1331b7 1345r10
332r46 Position{60R9}
336U14*Reverse_Iterate 337>7 338>7 339^7 4|1867b14 1904l8 1904t23
337r7 Container{54R9} 4|1868b7 1884r27 1887r29
338*7 Item{41+9} 4|1869b7 1896r36
339p7 Process 4|1870b7 1884r10
339r46 Position{60R9}
343V13*Iterate<14|32R9[74]> 344>7 4|1405b13 1425l8 1425t15
344r7 Container{54R9} 4|1405b22 1408r34
347V13*Iterate<14|32R9[74]> 348>7 349>7 4|1427b13 1472l8 1472t15
348r7 Container{54R9} 4|1427b22 1430r34 1450r29 1455r27
349r7 Start{60R9} 4|1427b39 1445r10 1450r10 1455r43 1468r49
353+12 Key_Type 355r57 357r40 361r47 365r47 368r48 371r56 374r55 378r45 383r46
. 390r48 397r49 418r22 426r22 4|728r18 733r18 744r35 752r48 767r49 776r55
. 801r48 816r47 831r56 850r45 865r46 881r18 893r18 906r22 947r47 971r22 1042r26
355V21 Key{353+12} 355>26 4|885s17 897s24 962s17 1042s38 1063s53
355*26 Element{41+9}
357V22 "<"{boolean} 357>26 357>32 4|818s18 819s26 885s41 897s22
357*26 Left{353+12}
357*32 Right{353+12}
359k12 Generic_Keys 353z12 355z21 357z22 432l8 432e20 4|721b17 1110l8 1110t20
361V16*Equivalent_Keys{boolean} 361>33 361>39 4|816b16 825l11 825t26 1063s16
361*33 Left{353+12} 4|816b33 818r13 819r28 1063r33
361*39 Right{353+12} 4|816b39 818r20 819r20 1063r44
365V16*Key{353+12} 365>21 4|947b16 963l11 963t14
365r21 Position{60R9} 4|947b21 949r13 954r13 959r30 959r55 962r22
368V16*Element{41+9} 368>25 368>42 4|801b16 810l11 810t18
368r25 Container{54R9} 4|801b25 802r56
368*42 Key{353+12} 4|801b42 802r72
371U17*Exclude 371=26 371>50 4|831b17 844l11 844t18
371r26 Container{54R9} 4|831b26 832m35 832r35
371*50 Key{353+12} 4|831b50 833r56 834r69
374U17*Delete 374=25 374>49 4|776b17 795l11 795t17
374r25 Container{54R9} 4|776b25 777m35 777r35
374*49 Key{353+12} 4|776b49 778r56 779r69
378V16*Find{60R9} 378>22 378>39 4|769s17 850b16 859l11 859t15
378r22 Container{54R9} 4|850b22 851r56 858r25
378*39 Key{353+12} 4|850b39 851r72
383V16*Floor{60R9} 383>23 383>40 4|865b16 874l11 874t16
383r23 Container{54R9} 4|865b23 866r57 873r25
383*40 Key{353+12} 4|865b40 866r73
390V16*Ceiling{60R9} 390>25 390>42 4|752b16 761l11 761t18
390r25 Container{54R9} 4|752b25 753r59 760r25
390*42 Key{353+12} 4|752b42 753r75
397V16*Contains{boolean} 397>26 397>43 4|767b16 770l11 770t19
397r26 Container{54R9} 4|767b26 769r23
397*43 Key{353+12} 4|767b43 769r34
400U17*Update_Element 401=10 402>10 403^10 4|1016b17 1108l11 1108t25
401r10 Container{54R9} 4|1017b10 1021m35 1021r35 1033m35 1033r35
402r10 Position{60R9} 4|1018b10 1022r41 1033r13
403p10 Process 4|1019b10 1052r16
404*35 Element{41+9}
416U17*Iterate 417>10 418>10 419^10 4|904b17 941l11 941t18
417r10 Container{54R9} 4|905b10 921r30 924r32
418*10 Key{353+12} 4|906b10 933r31
419p10 Process 4|907b10 921r13
419r49 Position{60R9}
424U17*Reverse_Iterate 425>10 426>10 427^10 4|969b17 1010l11 1010t26
425r10 Container{54R9} 4|970b10 990r30 993r32
426*10 Key{353+12} 4|971b10 1002r39
427p10 Process 4|972b10 990r13
427r49 Position{60R9}
439R9 Node_Type 440r31 444c9 453r7 4|402r18 694r41 1174r21 1224r21 1727r36
440P9 Node_Access(439R9) 445r17 446r17 447r17 454r7 474r19 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 342r23 369r27 398r33 398r53 420r14 421r23 422r14 468r14 485r14
. 552r48 562r48 585r14 586r23 587r14 603r23 678r23 692r31 694r52 729r18 734r18
. 753r26 778r17 779r26 780r17 802r26 833r17 834r26 835r17 851r26 866r26 882r18
. 894r18 909r41 919r41 974r41 988r41 1022r26 1073r38 1086r38 1096r22 1149r22
. 1151r32 1164r32 1198r18 1199r18 1200r22 1202r32 1220r32 1275r40 1286r15
. 1300r15 1310r39 1333r38 1343r38 1371r38 1381r38 1527r26 1527r46 1567r26
. 1611r28 1611r48 1630r26 1714r66 1725r66 1727r17 1757r14 1791r35 1804r35
. 1822r19 1872r38 1882r38 1910r38 1920r38 1948r27 1948r47 1957r32 1966r31
. 1966r51 1975r33 1975r55 1984r32 1984r53 2011r14 2044r19 2056r19
442P9 Element_Access(41+9) 449r17 4|153r52 399r11 1171r20 1221r14 1772r17
. 1824r14
445p7 Parent{440P9} 4|402m29 701m9 1089m21 1174m32 1224m32 1613r19 1815m18
. 1977m12
446p7 Left{440P9} 4|403m29 702m9 1090m21 1175m32 1225m32 1529r19 1816m18
. 1968m12
447p7 Right{440P9} 4|404m29 703m9 1091m21 1176m32 1226m32 1817m18 1950r19
. 1986m12
448e7 Color{5|35E9} 4|371r19 405m29 405r47 1088m21 1177m32 1227m32 1814m18
. 1959m12
449p7 Element{442P9} 4|188r20 192r21 202r24 202r49 211r20 218r24 227r21 234r32
. 260r20 264r21 276r25 276r49 285r20 292r32 301r21 308r25 399r54 406m29 445r24
. 521r24 528r28 564r15 564r31 566r18 566r34 669r43 670r35 706m26 709m15 809r22
. 885r28 897r35 954r27 962r36 1029r18 1041r43 1103r29 1178m32 1221r59 1228m32
. 1242r19 1277r16 1277r32 1291r20 1303r27 1312r16 1312r32 1519r42 1520r34
. 1674r24 1692r36 1729m15 1761r22 1762r22 1772r40 1781m18 1813m18 1824r37
. 1849r24 2059r44
452K12 Tree_Types[5|40] 457r14 465r8 4|142r46
457r7 Tree{5|41R12[452]} 504m35 4|196r42 199r43 215r42 231r43 243r29 243r41
. 268r42 271r43 289r42 305r43 320m25 343r41 362m24 419m42 453r37 456m56 467m42
. 484m42 502m34 502r47 506r61 506r73 525r46 576r34 576r46 584m42 603r67 618m44
. 630r20 634r63 665r20 669r32 670r24 678r68 753r69 777m45 802r66 832m45 851r66
. 866r67 924m42 959r49 993m42 1021m45 1138m35 1252m36 1252r49 1257r36 1257r48
. 1268r24 1321r50 1321r73 1348m39 1386m39 1409m29 1431m29 1455r37 1480r20
. 1484r63 1515r20 1519r32 1520r24 1538r24 1550m30 1550m53 1563r46 1604r36
. 1604r48 1626r46 1678r46 1682m51 1740m31 1857r37 1860m34 1887m39 1925m39
. 1995m44 1995r57 2000r51 2000r63 2024m29 2024r42 2029r36 2029r48 2065r32
460U25 Adjust<13|52p14> 460=33 4|318b14 321l8 321t14
460r33 Container{54R9} 4|318b22 320m15 320r15
462U25 Finalize=462:67<13|53p14>
462r35 Container{54R9}
469P9 Set_Access(54R9) 470r8 473r19 4|48r19 1408r20 1430r20
473p7 Container{469P9} 4|196r31 196r32 199r32 199r33 215r31 215r32 231r32
. 231r33 268r31 268r32 271r32 271r33 289r31 289r32 305r32 305r33 449r19 459m16
. 525r35 525r36 959r38 959r39 1033r22 1139m16 1450r16 1563r35 1563r36 1575r34
. 1586r19 1590r19 1626r35 1626r36 1638r34 1649r19 1653r19 1678r35 1678r36
. 1682r40 1682r41 1853r19
474p7 Node{440P9} 4|180r15 184r16 188r14 188r15 192r15 192r16 196r53 199r55
. 202r18 202r19 202r43 202r44 207r15 211r14 211r15 215r53 218r18 218r19 223r16
. 227r15 227r16 231r55 234r26 234r27 252r15 256r16 260r14 260r15 264r15 264r16
. 268r53 271r55 276r19 276r20 276r43 276r44 281r15 285r14 285r15 289r53 292r26
. 292r27 297r16 301r15 301r16 305r55 308r19 308r20 441r19 445r18 445r19 453r52
. 456r71 457m22 517r19 521r18 521r19 525r61 528r22 528r23 949r22 954r21 954r22
. 959r64 962r30 962r31 1022r50 1138m60 1455r49 1468r55 1563r61 1568r50 1626r61
. 1631r54 1670r19 1674r18 1674r19 1678r61 1692r30 1692r31 1845r19 1849r18
. 1849r19 1857r52 1860r49
477U14 Write 478^7 479>7 4|2068b14 2074l8 2074t13
478p7 Stream(15|39R9) 4|2069b7
479r7 Item{60R9} 4|2070b7
483U14 Read 484^7 485<7 4|1743b14 1749l8 1749t12
484p7 Stream(15|39R9) 4|1744b7
485r7 Item{60R9} 4|1745b7
491U14 Write 492^7 493>7 4|2038b14 2066l8 2066t13
492p7 Stream(15|39R9) 4|2039b7 2065r14
493r7 Container{54R9} 4|2040b7 2065r22
497U14 Read 498^7 499<7 4|1709b14 1741l8 1741t12
498p7 Stream(15|39R9) 4|1710b7 1740r13
499r7 Container{54R9} 4|1711b7 1740m21 1740r21
X 4 a-ciormu.adb
45R9 Iterator<13|55R9><14|32R9[3|74]> 50e14 52P25 52r51 54P24 54r40 55P24
. 55r40 57P24 58r18 61P24 62r18 617r40 637r29 1422r28 1467r28 1487r28 1584r28
. 1647r32 13|58P14 21|42p14
48p7 Container{3|469P9} 618r33 618r34 653r23 653r24 655r32 1503r23 1503r24
. 1505r32 1590r39 1653r39
49p7 Node{3|440P9} 652r17 655r50 1502r17 1505r50
52U25 Finalize<13|59p14> 52=35 617b14 622l8 622t16
52r35 Object{45R9} 617b24 618m27 618r27
54V24 First{3|60R9}<14|26p13> 54>31 637b13 657l8 657t13
54r31 Object{45R9} 637b20 652r10 653r17 655r25 655r43
55V24 Last{3|60R9}<14|34p13> 55>31 1487b13 1507l8 1507t12
55r31 Object{45R9} 1487b19 1502r10 1503r17 1505r25 1505r43
57V24 Next{3|60R9}<14|28p13> 58>7 59>7 1584b13 1596l8 1596t12
58r7 Object{45R9} 1584b19 1590r32
59r7 Position{3|60R9} 1584b38 1586r10 1590r10 1595r20
61V24 Previous{3|60R9}<14|36p13> 62>7 63>7 1647b13 1659l8 1659t16
62r7 Object{45R9} 1647b23 1653r32
63r7 Position{3|60R9} 1647b42 1649r10 1653r10 1658r24
72V13 Color{5|35E9} 72>20 73r19 369b13 372l8 372t13 8|45i19
72p20 Node{3|440P9} 369b20 371r14
75V13 Left{3|440P9} 75>19 76r19 1527b13 1530l8 1530t12 8|41i19
75p19 Node{3|440P9} 1527b19 1529r14
78V13 Parent{3|440P9} 78>21 79r19 1611b13 1614l8 1614t14 8|39i19
78p21 Node{3|440P9} 1611b21 1613r14
81V13 Right{3|440P9} 81>20 82r19 1948b13 1951l8 1951t13 8|43i19
81p20 Node{3|440P9} 1948b20 1950r14
84U14 Set_Parent 84>26 84>46 85r19 1975b14 1978l8 1978t18 8|40i19
84p26 Node{3|440P9} 1975b26 1977m7 1977r7
84p46 Parent{3|440P9} 1975b46 1977r22
87U14 Set_Left 87>24 87>44 88r19 1966b14 1969l8 1969t16 8|42i19
87p24 Node{3|440P9} 1966b24 1968m7 1968r7
87p44 Left{3|440P9} 1966b44 1968r20
90U14 Set_Right 90>25 90>45 91r19 1984b14 1987l8 1987t17 8|44i19
90p25 Node{3|440P9} 1984b25 1986m7 1986r7
90p45 Right{3|440P9} 1984b45 1986r21
93U14 Set_Color 93>25 93>45 94r19 1957b14 1960l8 1960t17 8|46i19
93p25 Node{3|440P9} 1957b25 1959m7 1959r7
93e45 Color{5|35E9} 1957b45 1959r21
100V13 Copy_Node{3|440P9} 100>24 101r19 148r45 398b13 412l8 412t17
100p24 Source{3|440P9} 398b24 399r47 405r40
103U14 Free 103=20 145r47 165r29 433s10 457s7 476s7 493s7 594s10 692b14 715l8
. 715t12 791s13 842s13 1733s13
103p20 X{3|440P9} 692b20 697r10 701m7 701r7 701r19 702m7 702r7 702r17 703m7
. 703r7 703r18 706m24 706r24 709m13 709r13 710m25 714m19
105U14 Insert_Sans_Hint 106=7 107>7 108<7 1138s7 1146b14 1190l8 1190t24 2014s7
106r7 Tree{5|41R12[3|452]} 1147b7 1189m29
107*7 New_Item{3|41+9} 1148b7 1171r56 1189r35
108p7 Node{3|440P9} 1149b7 1189m45
110U14 Insert_With_Hint 111=7 112>7 113>7 114<7 161r29 1196b14 1244l8 1244t24
111r7 Dst_Tree{5|41R12[3|452]} 1197b7 1240m10
112p7 Dst_Hint{3|440P9} 1198b7 1241r10
113p7 Src_Node{3|440P9} 1199b7 1221r50 1242r10
114p7 Dst_Node{3|440P9} 1200b7 1243m10
116V13 Is_Equal_Node_Node{boolean} 116>33 116>36 117r19 156r41 1275b13 1278l8
. 1278t26
116p33 L{3|440P9} 1275b33 1277r14
116p36 R{3|440P9} 1275b36 1277r30
119V13 Is_Greater_Element_Node{boolean} 120>7 121>7 122r19 172r32 1284b13
. 1292l8 1292t31
120*7 Left{3|41+9} 1285b7 1291r34
121p7 Right{3|440P9} 1286b7 1291r14
124V13 Is_Less_Element_Node{boolean} 125>7 126>7 127r19 171r32 1298b13 1304l8
. 1304t28
125*7 Left{3|41+9} 1299b7 1303r14
126p7 Right{3|440P9} 1300b7 1303r21
129V13 Is_Less_Node_Node{boolean} 129>32 129>35 130r19 164r29 1310b13 1313l8
. 1313t25
129p32 L{3|440P9} 1310b32 1312r14
129p35 R{3|440P9} 1310b35 1312r30
132U14 Replace_Element 133=7 134>7 135>7 1755b14 1837l8 1837t23 1860s7
133r7 Tree{5|41R12[3|452]} 1756b7 1766r13 1788m46 1830m21
134p7 Node{3|440P9} 1757b7 1761r17 1762r17 1772r35 1781m13 1781r13 1788r52
. 1813m13 1813r13 1814m13 1814r13 1815m13 1815r13 1816m13 1816r13 1817m13
. 1817r13 1819r20 1824r32 1833r34
135*7 Item{3|41+9} 1758b7 1761r10 1762r36 1781r47 1813r47 1831r21
141K12 Tree_Operations[8|48] 145r10 148r10 150r8 156r10 160r29 169r32 316r11
. 358r11 431r18 432r10 456r7 475r7 492r7 556r14 592r18 593r10 743r35 789r21
. 790r13 840r21 841r13 1070r10 1375r13 1546r11 1568r19 1631r19 1718r14 1788r7
. 1914r13 2048r14
144U14 Delete_Tree[8|89] 148r56 163r29 358r42
147V13 Copy_Tree[8|95]{3|440P9} 162r29 316r43
152U14 Free_Element[18|20] 410s10 706s10 1182s13 1232s13 1782s13 1835s10
155V13 Is_Equal[8|76]{boolean} 243s14
158K12 Set_Ops[10|55] 502r7 506r36 1252r7 1257r9 1321r14 1604r14 1995r7 2000r16
. 2024r7 2029r16
167K12 Element_Keys[6|50] 343r9 420r29 421r38 585r29 586r38 603r38 678r38
. 1077r20 1080r20 1155r13 1158r13 1206r13 1209r13 1212r13 1337r13 1795r17
. 1798r17 1876r13
315U14 Adjust[8|103] 320s7
342p7 Node{3|440P9} 346r10 350r53
357U14 Clear[8|111] 362s7 1546r41 1718r44
389r14 Target{3|54R9} 390m10 390r10
399p7 X{3|442P9} 406r40 410m24 410r24
419r7 Tree{5|41R12[3|452]} 420r51 421r64 432r49
420p7 Node{3|440P9} 425r10 430r15 431m10 431r40 435r20
421p7 Done{3|440P9} 425r17 435r27
422p7 X{3|440P9} 430m10 432r55 433m16 433r16
467r7 Tree{5|41R12[3|452]} 468r29 475r46
468p7 X{3|440P9} 471r10 475r52 476m13 476r13
484r7 Tree{5|41R12[3|452]} 485r29 492r46
485p7 X{3|440P9} 488r10 492r52 493m13 493r13
506r7 Tree{5|41R12[3|452]} 508r35
552V16 Is_Equivalent_Node_Node{boolean} 552>41 552>44 553r22 556r45 562b16
. 571l11 571t34
552p41 L{3|440P9} 562b41 564r13 566r32
552p44 R{3|440P9} 562b44 564r29 566r16
555V16 Is_Equivalent[8|76]{boolean} 576s14
584r7 Tree{5|41R12[3|452]} 585r51 586r64 593r49
585p7 Node{3|440P9} 590r13 591r15 592m10 592r40
586p7 Done{3|440P9} 590r21
587p7 X{3|440P9} 591m10 593r55 594m16 594r16
603p7 Node{3|440P9} 606r10 610r53
618i7 B{natural} 619r22 621r7 621r12
678p7 Node{3|440P9} 681r10 685r53
693U17 Deallocate[18|20] 710s13 714s7
727V16 Is_Less_Key_Node{boolean} 728>10 729>10 730r22 745r35 892b16 898l11
. 898t27
728*10 Left{3|353+12} 893b10 897r17
729p10 Right{3|440P9} 894b10 897r29
732V16 Is_Greater_Key_Node{boolean} 733>10 734>10 735r22 746r35 880b16 886l11
. 886t30
733*10 Left{3|353+12} 881b10 885r43
734p10 Right{3|440P9} 882b10 885r22
741K15 Key_Keys[6|50] 753r41 778r32 779r41 802r41 833r32 834r41 851r41 866r41
. 913r16 982r17
753p10 Node{3|440P9} 756r13 760r56
777r10 Tree{5|41R12[3|452]} 778r50 779r63 790r52
778p10 Node{3|440P9} 783r13 788r18 789m13 789r43 793r23
779p10 Done{3|440P9} 783r20 793r30
780p10 X{3|440P9} 788m13 790r58 791m19 791r19
802p10 Node{3|440P9} 805r13 809r17
832r10 Tree{5|41R12[3|452]} 833r50 834r63 841r52
833p10 Node{3|440P9} 838r16 839r18 840m13 840r43
834p10 Done{3|440P9} 838r24
835p10 X{3|440P9} 839m13 841r58 842m19 842r19
851p10 Node{3|440P9} 854r13 858r56
866p10 Node{3|440P9} 869r13 873r56
907r49 Position{3|60R9}
909U20 Process_Node 909>34 910r25 913r44 919b20 922l14 922t26
909p34 Node{3|440P9} 919b34 921r61
912U20 Local_Iterate[6|178] 933s13
924r10 T{5|41R12[3|452]} 925r30 933r28
925i10 B{natural} 930r10 930r15 936r16 936r21 940r10 940r15
972r49 Position{3|60R9}
974U20 Process_Node 974>34 975r25 982r53 988b20 991l14 991t26
974p34 Node{3|440P9} 988b34 990r61
981U20 Local_Reverse_Iterate[6|186] 1002s13
993r10 T{5|41R12[3|452]} 994r30 1002r36
994i10 B{natural} 999r10 999r15 1005r16 1005r21 1009r10 1009r15
1019*49 Element{3|41+9}
1021r10 Tree{5|41R12[3|452]} 1037r30 1044r33 1045r33 1070r49 1102r24
1022p10 Node{3|440P9} 1025r13 1029r13 1037r36 1041r38 1070r55 1088m16 1088r16
. 1089m16 1089r16 1090m16 1090r16 1091m16 1091r16 1093r23 1103r24 1106r37
1041*13 E{3|41+9} 1042r43 1052r25 1063r58
1042*13 K{3|353+12} 1063r41
1044i13 B{natural} 1048r13 1048r18 1056r19 1056r24 1061r13 1061r18
1045i13 L{natural} 1049r13 1049r18 1055r19 1055r24 1060r13 1060r18
1072q10 Insert_New_Item 1107l14 1107e29
1073V22 New_Node{3|440P9} 1074r28 1077r54 1086b22 1094l17 1094t25
1076U23 Insert_Post[6|55] 1080r63
1079U23 Unconditional_Insert[6|94] 1101s13
1096p13 Result{3|440P9} 1104m24 1104r24 1106r28
1126r7 Position{3|60R9} 1127r28 1129m36
1151V16 New_Node{3|440P9} 1152r22 1155r47 1164b16 1184l11 1184t19
1154U17 Insert_Post[6|55] 1158r56
1157U17 Unconditional_Insert[6|94] 1189s7
1171p10 Element{3|442P9} 1178r43 1182m27 1182r27
1202V16 New_Node{3|440P9} 1203r22 1206r47 1220b16 1234l11 1234t19
1205U17 Insert_Post[6|55] 1209r56 1213r12
1208U17 Insert_Sans_Hint[6|94] 1214r12
1211U17 Local_Insert_With_Hint[6|114] 1239s7
1221p10 X{3|442P9} 1228r43 1232m27 1232r27
1256r7 Tree{5|41R12[3|452]} 1259r35
1331r46 Position{3|60R9}
1333U17 Process_Node 1333>31 1334r22 1337r45 1343b17 1346l11 1346t23
1333p31 Node{3|440P9} 1343b31 1345r58
1336U17 Local_Iterate[6|178] 1357s10
1348r7 T{5|41R12[3|452]} 1349r27 1357r25
1349i7 B{natural} 1354r7 1354r12 1360r13 1360r18 1364r7 1364r12
1369r46 Position{3|60R9}
1371U17 Process_Node 1371>31 1372r22 1375r48 1381b17 1384l11 1384t23
1371p31 Node{3|440P9} 1381b31 1383r58
1374U17 Local_Iterate[8|125] 1395s10
1386r7 T{5|41R12[3|452]} 1387r27 1395r25
1387i7 B{natural} 1392r7 1392r12 1398r13 1398r18 1402r7 1402r12
1408p7 S{3|469P9} 1409m27 1409r27 1422r65
1409i7 B{natural} 1423r10 1423r15
1422r14 It{45R9}
1430p7 S{3|469P9} 1431m27 1431r27 1468r46
1431i7 B{natural} 1470r10 1470r15
1467r14 It{45R9}
1545U14 Move[8|117] 1550s7
1567p10 Node{3|440P9} 1571r13 1575r45
1630p10 Node{3|440P9} 1634r13 1638r45
1667*45 Element{3|41+9}
1682r10 T{5|41R12[3|452]} 1684r30 1685r30
1684i10 B{natural} 1688r10 1688r15 1696r16 1696r21 1701r10 1701r15
1685i10 L{natural} 1689r10 1689r15 1695r16 1695r21 1700r10 1700r15
1713V16 Read_Node{3|440P9} 1714^10 1715r22 1718r51 1724b16 1735l11 1735t20
1714p10 Stream(15|39R9) 1725b10 1729r64
1717U17 Read[8|150] 1740s7
1727p10 Node{3|440P9} 1729m10 1729r10 1730r17 1733m19 1733r19
1772p13 X{3|442P9} 1782m27 1782r27
1790q7 Insert_New_Item 1836l11 1836e26
1791V19 New_Node{3|440P9} 1792r25 1795r51 1804b19 1820l14 1820t22
1794U20 Insert_Post[6|55] 1798r60
1797U20 Unconditional_Insert[6|94] 1829s10
1822p10 Result{3|440P9} 1832m21 1832r21 1833r25
1824p10 X{3|442P9} 1835m24 1835r24
1870r46 Position{3|60R9}
1872U17 Process_Node 1872>31 1873r22 1876r53 1882b17 1885l11 1885t23
1872p31 Node{3|440P9} 1882b31 1884r58
1875U17 Local_Reverse_Iterate[6|186] 1896s10
1887r7 T{5|41R12[3|452]} 1888r27 1896r33
1888i7 B{natural} 1893r7 1893r12 1899r13 1899r18 1903r7 1903r12
1908r46 Position{3|60R9}
1910U17 Process_Node 1910>31 1911r22 1914r56 1920b17 1923l11 1923t23
1910p31 Node{3|440P9} 1920b31 1922r58
1913U17 Local_Reverse_Iterate[8|131] 1934s10
1925r7 T{5|41R12[3|452]} 1926r27 1934r33
1926i7 B{natural} 1931r7 1931r12 1937r13 1937r18 1941r7 1941r12
1999r7 Tree{5|41R12[3|452]} 2002r35
2010r7 Tree{5|41R12[3|452]} 2014m25 2014r25 2015r35
2011p7 Node{3|440P9} 2012r28 2014m41 2014r41
2028r7 Tree{5|41R12[3|452]} 2031r35
2042U17 Write_Node 2043^10 2044>10 2045r22 2048r45 2054b17 2060l11 2060t21
2043p10 Stream(15|39R9) 2055b10 2059r31
2044p10 Node{3|440P9} 2056b10 2059r39
2047U17 Write[8|139] 2065s7
X 5 a-crbltr.ads
32K24*Red_Black_Trees 3|35w29 448r17 448r47 452r30 464r8 4|32r21 35r21 38r21
. 142r10 168r10 742r13 1088r30 1177r43 1814r27 5|75e35
35E9*Color_Type 3|448r33 4|72r47 93r53 369r47 1957r53 5|35e35
35n24*Red{35E9} 3|448r63 4|1088r46 1177r59 1227r43 1814r43
38+12 Node_Type
39P12 Node_Access(38+12[8|36[10|36]])
40k12*Generic_Tree_Types 3|452r46 5|49e26
41R12 Tree_Type 3|457r25[452] 4|106r25[3|452] 111r25[3|452] 133r21[3|452]
. 419r14[3|452] 467r14[3|452] 484r14[3|452] 506r23[3|452] 584r14[3|452] 777r17[3|452]
. 832r17[3|452] 924r14[3|452] 993r14[3|452] 1021r17[3|452] 1147r25[3|452]
. 1197r25[3|452] 1256r23[3|452] 1348r11[3|452] 1386r11[3|452] 1682r14[3|452]
. 1756r21[3|452] 1887r11[3|452] 1925r11[3|452] 1999r23[3|452] 2010r14[3|452]
. 2028r23[3|452]
42p10 First{3|440P9} 3|504m44[452] 4|468r34[3|452] 630r25[3|452] 634r68[3|452]
. 665r25[3|452] 669r36[3|452] 669r37[3|452] 670r28[3|452] 670r29[3|452]
43p10 Last{3|440P9} 3|505m44[452] 4|485r34[3|452] 1480r25[3|452] 1484r68[3|452]
. 1515r25[3|452] 1519r36[3|452] 1519r37[3|452] 1520r28[3|452] 1520r29[3|452]
44p10 Root{3|440P9} 3|506m44[452]
45i10 Length{2|20I9} 3|507m44[452] 4|1268r29[3|452] 1538r29[3|452]
46i10 Busy{natural} 3|508m44[452] 4|618m49[3|452] 925m32[3|452] 994m32[3|452]
. 1044m38[3|452] 1349m29[3|452] 1387m29[3|452] 1409m34[3|452] 1431m34[3|452]
. 1684m32[3|452] 1888m29[3|452] 1926m29[3|452]
47i10 Lock{natural} 3|509m44[452] 4|1045m38[3|452] 1685m32[3|452] 1766r18[3|452]
X 6 a-crbtgk.ads
36K17 Tree_Operations 4|169r9 743r12
40+9 Key_Type 4|170r9 744r12
42V18 Is_Less_Key_Node{boolean} 4|171r9 745r12
46V18 Is_Greater_Key_Node{boolean} 4|172r9 746r12
50k40*Generic_Keys 4|35w37 168r26 742r29 6|192e48
55u14 Generic_Insert_Post 4|1077r33[167] 1155r26[167] 1206r26[167] 1795r30[167]
94u14 Generic_Unconditional_Insert 4|1080r33[167] 1158r26[167] 1209r26[167]
. 1798r30[167]
95r7 Tree{5|41R12[3|452]} 4|1102r16[1079] 1830r13[1797]
96*7 Key{3|41+9} 4|1103r16[1079] 1831r13[1797]
97p7 Node{3|440P9} 4|1104r16[1079] 1832r13[1797]
114u14 Generic_Unconditional_Insert_With_Hint 4|1212r26[167]
156V13 Find{3|440P9} 4|603s51[167] 802s50[741] 851s50[741]
161V13 Ceiling{3|440P9} 4|343s22[167] 420s42[167] 585s42[167] 753s50[741]
. 778s41[741] 833s41[741]
166V13 Floor{3|440P9} 4|678s51[167] 866s50[741]
171V13 Upper_Bound{3|440P9} 4|421s51[167] 586s51[167] 779s50[741] 834s50[741]
178u14 Generic_Iteration 4|913r25[741] 1337r26[167]
186u14 Generic_Reverse_Iteration 4|982r26[741] 1876r26[167]
X 8 a-crbtgo.ads
48k40*Generic_Operations 4|32w37 142r26 8|163e54
64V13 Vet{boolean} 4|196s22[141] 199s22[141] 215s22[141] 231s22[141] 268s22[141]
. 271s22[141] 289s22[141] 305s22[141] 453s22[141] 525s22[141] 959s25[141]
. 1037s25[141] 1455s22[141] 1563s22[141] 1626s22[141] 1678s22[141] 1857s22[141]
68V13 Next{3|440P9} 4|431s34[141] 592s34[141] 789s37[141] 840s37[141] 1568s35[141]
71V13 Previous{3|440P9} 4|1631s35[141]
76v13 Generic_Equal 4|156r26[141] 556r30[141]
81U14 Delete_Node_Sans_Free 4|432s26[141] 456s23[141] 475s23[141] 492s23[141]
. 593s26[141] 790s29[141] 841s29[141] 1070s26[141] 1788s23[141]
89u14 Generic_Delete_Tree 4|145r26[141]
95v13 Generic_Copy_Tree 4|148r26[141]
103u14 Generic_Adjust 4|316r27[141]
111u14 Generic_Clear 4|358r27[141]
117u14 Generic_Move 4|1546r27[141]
117r28 Target{5|41R12[3|452]} 4|1550r13[1545]
117r36 Source{5|41R12[3|452]} 4|1550r36[1545]
125u14 Generic_Iteration 4|1375r29[141]
131u14 Generic_Reverse_Iteration 4|1914r29[141]
139u14 Generic_Write 4|2048r30[141]
150u14 Generic_Read 4|1718r30[141]
X 10 a-rbtgso.ads
36K17 Tree_Operations 4|160r9
40U19 Insert_With_Hint 4|161r9
46V18 Copy_Tree{5|39P12[8|36[10|36]]} 4|162r9
49U19 Delete_Tree 4|163r9
51V18 Is_Less{boolean} 4|164r9
53U19 Free 4|165r9
55k40*Generic_Set_Operations 4|38w37 159r10 10|106e58
58U14 Union 4|2024s15[158]
66V13 Union{5|41R12[3|452]} 4|2029s24[158]
70U14 Intersection 4|1252s15[158]
74V13 Intersection{5|41R12[3|452]} 4|1257s17[158]
78U14 Difference 4|502s15[158]
82V13 Difference{5|41R12[3|452]} 4|506s44[158]
86U14 Symmetric_Difference 4|1995s15[158]
93V13 Symmetric_Difference{5|41R12[3|452]} 4|2000s24[158]
98V13 Is_Subset{boolean} 4|1321s22[158]
98r24 Subset{5|41R12[3|452]} 4|1321r33[158]
98r44 Of_Set{5|41R12[3|452]} 4|1321r56[158]
102V13 Overlap{boolean} 4|1604s22[158]
X 13 a-finali.ads
40K13*Finalization 3|36w18 456r24 466r12 13|73e21
48H9*Controlled 3|456r37 504r19 4|508r19 1259r19 2002r19 2015r19 2031r19
. 13|64e72
55H9*Limited_Controlled 4|45r25 1422r41 1468r22 13|71e55
58U14*Initialize<21|44p14>
X 14 a-iteint.ads
21k13*Iterator_Interfaces 3|38w10 75r10 14|39e28
24h9 Forward_Iterator
32h9 Reversible_Iterator<24R9[3|74]> 3|345r38[74] 350r38[74] 4|46r30[3|74]
. 1406r37[3|74] 1428r37[3|74]
X 15 a-stream.ads
36K13*Streams 3|37w18 467r12 15|69e16
39H9*Root_Stream_Type 3|478r32 484r32 492r35 498r35 4|1710r35 1714r35 1725r35
. 1744r32 2039r35 2043r35 2055r35 2069r32 15|67e64
X 18 a-uncdea.ads
20u15*Unchecked_Deallocation 4|30w10 153r14 694r17
X 19 system.ads
37K9*System 4|41w6 41r23 19|152e11
64M9*Address 4|41r30
78V14*"="{boolean} 4|329r25
X 21 s-finroo.ads
42U14*Adjust