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.ordered_sets%b a-coorse.adb 76b7d882 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_sets%s a-coorse.ads a4eb681f 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-coorse.ads 20121213103024 7f976356
D a-coorse.adb 20121213103024 c0af8dbf
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|34r6 36r14 37r14 38r14 46r9 69r6 284r11 318r20 328r8 329r8
. 402r5 4|30r6 32r6 35r6 38r6 43r14 672r14 1978r5
X 2 a-contai.ads
16K13*Containers 1|16k9 2|24e19 3|36r18 46r13 402r9 4|32r10 35r10 38r10 43r18
. 1978r9
20I9*Count_Type<integer> 3|77r45 4|1448r45
X 3 a-coorse.ads
41+9 Element_Type 43r37 44r37 50r48 55r30 75r32 83r48 88r19 92r55 95r43 113r19
. 119r19 123r19 127r19 131r19 135r19 175r52 179r51 189r43 191r44 193r46 195r47
. 201r41 203r41 205r25 207r25 229r36 239r65 244r22 262r52 264r54 282r37 312r25
. 375r43 4|107r18 121r15 126r15 136r14 159r31 195r41 207r25 253r25 265r41
. 320r46 391r19 445r53 504r48 520r48 557r54 602r43 646r52 659r44 783r65 945r22
. 965r66 984r17 1048r58 1071r19 1087r19 1109r18 1237r15 1251r15 1426r51 1570r55
. 1628r10 1662r58 1687r14 1776r19 1902r32 1953r10
43V19 "<"{boolean} 43>23 43>29 4|192s32 204s32 216s19 250s33 262s33 274s20
. 522s23 522s45 542s31 543s34 1243s28 1255s19 1264s24 1726s15 1726s51 1744s18
. 1756s43
43*23 Left{41+9}
43*29 Right{41+9}
44V19 "="{boolean} 44>23 44>29 4|1229s24
44*23 Left{41+9}
44*29 Right{41+9}
46k24*Ordered_Sets 2|16k13 3|41z9 43z19 44z19 402l20 402e32 4|43b29 1978l20
. 1978t32
50V13*Equivalent_Elements{boolean} 50>34 50>40 4|520b13 523l8 523t27
50*34 Left{41+9} 4|520b34 522r18 522r47
50*40 Right{41+9} 4|520b40 522r25 522r39
52R9*Set 57r41 64r25 71P14 71r32 73p13 73r44 75p13 75r53 77p13 77r33 79p13
. 79r35 81p14 81r40 85p14 86r26 100p13 101r27 105p14 105r38 105r52 107p13
. 107r28 107r40 109p14 109r36 109r57 111p14 112r26 117p14 118r26 121p14 122r26
. 125p14 126r26 129p14 130r26 133p14 134r26 137p14 138r26 141p14 141r47 143p14
. 143r46 145p14 145r37 145r51 147p13 147r34 147r46 149r33 149r45 151p14 151r44
. 151r58 153p13 153r41 153r53 155r34 155r46 157p14 157r42 157r56 159p13 159r39
. 159r51 161r32 161r44 163p14 163r52 163r66 165p13 165r49 165r61 167r34 167r46
. 169p13 169r36 171p13 171r33 171r47 173p13 173r32 175p13 175r40 177p13 177r31
. 179p13 179r39 189p13 189r31 191p13 191r32 193p13 193r34 195p13 195r35 209p14
. 210r19 213p14 214r19 217p13 218r19 221p13 222r19 239r37 242r29 246r45 248r44
. 250r34 252r35 254r37 256r38 259r29 269r37 273r30 277r37 318c9 320e14 322P25
. 322r52 324r54 331p14 333r19 335r8 337p14 339r23 341r8 343r34 392r25 4|223r32
. 283r41 306r38 306r52 320r34 334r40 353r27 390r19 401r28 401r40 403r23 427r41
. 445r41 461r47 475r46 489r42 489r56 494r39 494r51 497r14 529r44 557r42 602r31
. 613r32 646r40 659r32 717r37 729r30 758r38 767r44 783r37 807r45 820r34 831r35
. 896r37 921r37 943r29 963r29 1048r42 1070r26 1086r26 1202r44 1202r58 1207r41
. 1207r53 1211r14 1218r35 1271r33 1271r47 1281r19 1318r34 1342r34 1393r31
. 1426r39 1448r33 1459r36 1459r57 1509r36 1610r23 1662r42 1774r26 1800r19
. 1886r52 1886r66 1891r49 1891r61 1895r14 1902r53 1909r14 1916r37 1916r51
. 1921r34 1921r46 1925r14 1934r19 13|51P14
59R9*Cursor 60r41 62r37 66r26 69r31 83r33 87r19 91r18 102r19 114r23 139r26
. 173r44 177r43 181r30 181r45 183r38 185r34 185r49 187r42 189r64 191r65 193r67
. 197r32 199r32 201r25 203r25 205r47 207r47 211r57 215r57 223r19 237r32 250r62
. 252r63 254r65 260r22 270r22 346c9 349e14 353r16 355r8 359r20 361r8 400r26
. 400r36 4|54r57 55r57 59r18 59r33 63r18 63r33 176r32 195r25 207r47 232r32
. 253r47 265r25 320r67 325r20 354r19 427r64 504r33 602r64 606r20 613r44 617r15
. 620r46 638r17 659r65 663r20 717r65 721r23 820r62 824r23 831r63 835r23 866r32
. 897r22 964r22 1039r37 1049r18 1072r23 1089r18 1282r57 1296r19 1342r47 1393r43
. 1397r15 1400r45 1418r17 1468r30 1468r45 1482r23 1486r38 1491r49 1491r64
. 1527r34 1527r49 1541r23 1545r42 1550r53 1550r68 1569r18 1644r20 1775r19
. 1801r57 1815r19 1964r16
62V13*Has_Element{boolean} 62>26 69r39 4|1039b13 1042l8 1042t19
62r26 Position{59R9} 4|1039b26 1041r14
64r4*Empty_Set{52R9} 392c4
66r4*No_Element{59R9} 400c4 4|324r35 394r40 605r35 616r46 662r35 720r38 760r42
. 823r38 834r38 1041r26 1359r18 1396r45 1470r21 1471r17 1481r38 1494r17 1529r21
. 1530r17 1540r38 1553r17
68K12*Set_Iterator_Interfaces[14|21] 219r14 224r14 4|46r6 1319r13 1343r13
71V14*"="{boolean} 71>18 71>24 4|223b14 226l9 226t11
71r18 Left{52R9} 4|223b18 225r24
71r24 Right{52R9} 4|223b24 225r35
73V13*Equivalent_Sets{boolean} 73>30 73>36 4|529b13 551l8 551t23
73r30 Left{52R9} 4|529b30 550r29
73r36 Right{52R9} 4|529b36 550r40
75V13*To_Set{52R9} 75>21 4|1902b13 1910l8 1910t14
75*21 New_Item{41+9} 4|1902b21 1908r31
77V13*Length{2|20I9} 77>21 4|1448b13 1451l8 1451t14
77r21 Container{52R9} 4|1448b21 1450r14
79V13*Is_Empty{boolean} 79>23 4|1218b13 1221l8 1221t16
79r23 Container{52R9} 4|1218b23 1220r14
81U14*Clear 81=21 324r67 4|312s14 334b14 337l8 337t13
81r21 Container{52R9} 4|334b21 336m14 336r14
83V13*Element{41+9} 83>22 4|504b13 514l8 514t15
83r22 Position{59R9} 4|504b22 506r10 510r27 510r52 513r14
85U14*Replace_Element 86=7 87>7 88>7 4|1773b14 1793l8 1793t23
86r7 Container{52R9} 4|1774b7 1784m32 1784r32 1789r27 1792m24 1792r24
87r7 Position{59R9} 4|1775b7 1779r10 1784r10 1789r43 1792r40
88*7 New_Item{41+9} 4|1776b7 1792r55
90U14*Query_Element 91>7 92^7 4|1568b14 1602l8 1602t21
91r7 Position{59R9} 4|1569b7 1573r10 1577r27 1577r52 1581m32 1581r32 1591r22
92p7 Process 4|1570b7 1591r13
92*45 Element{41+9}
94R9*Constant_Reference_Type 95d8 102r34 274r39 374c9 378e17 382r16 384r8
. 388r20 390r8 4|354r34 375r30 730r39 744r33 1652r20 1972r16
100V13*Constant_Reference{94R9} 53r30 101>7 102>7 103r19 4|352b13 383l8 383t26
101r7 Container{52R9} 4|353b7 361r32 367r15 377r41
102r7 Position{59R9} 4|354b7 357r10 361r10 367r31 371r35 376m24 376r24
105U14*Assign 105=22 105>43 4|306b14 314l8 314t14 404s17
105r22 Target{52R9} 4|306b22 308m10 308r10 312m7 312r7 313m7 313r7
105r43 Source{52R9} 4|306b43 308r27 313r21
107V13*Copy{52R9} 107>19 4|401b13 406l8 406t12
107r19 Source{52R9} 4|401b19 404r25
109U14*Move 109=20 109=41 4|1459b14 1462l8 1462t12
109r20 Target{52R9} 4|1459b20 1461m23 1461r23
109r41 Source{52R9} 4|1459b41 1461m46 1461r46
111U14*Insert 112=7 113>7 114<7 115<7 4|1053s7 1069b14 1083l8 1083t14 1095s7
112r7 Container{52R9} 4|1070b7 1077m10 1077r10 1082m29 1082r29
113*7 New_Item{41+9} 4|1071b7 1078r10
114r7 Position{59R9} 4|1072b7 1079m10 1079r10 1082m7
115b7 Inserted{boolean} 4|1073b7 1080m10
117U14*Insert 118=7 119>7 4|1085b14 1101l8 1101t14
118r7 Container{52R9} 4|1086b7 1095m15
119*7 New_Item{41+9} 4|1087b7 1095r26
121U14*Include 122=7 123>7 4|1048b14 1063l8 1063t15
122r7 Container{52R9} 4|1048b23 1053m15 1056r13
123*7 New_Item{41+9} 4|1048b47 1053r26 1061r35
125U14*Replace 126=7 127>7 4|1662b14 1678l8 1678t15
126r7 Container{52R9} 4|1662b23 1664r28 1672r10
127*7 New_Item{41+9} 4|1662b47 1664r44 1677r23
129U14*Exclude 130=7 131>7 4|557b14 565l8 565t15
130r7 Container{52R9} 4|557b23 558r45 562m49 562r49
131*7 Item{41+9} 4|557b47 558r61
133U14*Delete 134=7 135>7 4|445b14 455l8 455t14
134r7 Container{52R9} 4|445b22 446r45 453m46 453r46
135*7 Item{41+9} 4|445b46 446r61
137U14*Delete 138=7 139=7 4|427b14 443l8 443t14
138r7 Container{52R9} 4|427b22 433m32 433r32 437r27 440m46 440r46
139r7 Position{59R9} 4|427b46 429r10 433r10 437r43 440r62 441m13 441r13 442m7
141U14*Delete_First 141=28 4|461b14 469l8 469t20
141r28 Container{52R9} 4|461b28 462m32 462r32
143U14*Delete_Last 143=27 4|475b14 483l8 483t19
143r27 Container{52R9} 4|475b27 476m32 476r32
145U14*Union 145=21 145>42 4|313s14 1916b14 1919l8 1919t13
145r21 Target{52R9} 4|1916b21 1918m22 1918r22
145r42 Source{52R9} 4|1916b42 1918r35
147V13*Union{52R9} 147>20 147>26 149r57 4|1921b13 1926l8 1926t13
147r20 Left{52R9} 4|1921b20 1923r24
147r26 Right{52R9} 4|1921b26 1923r35
149V14*"or"=149:57{52R9}
149r19 Left{52R9}
149r25 Right{52R9}
151U14*Intersection 151=28 151>49 4|1202b14 1205l8 1205t20
151r28 Target{52R9} 4|1202b28 1204m29 1204r29
151r49 Source{52R9} 4|1202b49 1204r42
153V13*Intersection{52R9} 153>27 153>33 155r58 4|1207b13 1212l8 1212t20
153r27 Left{52R9} 4|1207b27 1209r31
153r33 Right{52R9} 4|1207b33 1209r42
155V14*"and"=155:58{52R9}
155r20 Left{52R9}
155r26 Right{52R9}
157U14*Difference 157=26 157>47 4|489b14 492l8 492t18
157r26 Target{52R9} 4|489b26 491m27 491r27
157r47 Source{52R9} 4|489b47 491r40
159V13*Difference{52R9} 159>25 159>31 161r56 4|494b13 498l8 498t18
159r25 Left{52R9} 4|494b25 495r56
159r31 Right{52R9} 4|494b31 495r67
161V14*"-"=161:56{52R9}
161r18 Left{52R9}
161r24 Right{52R9}
163U14*Symmetric_Difference 163=36 163>57 4|1886b14 1889l8 1889t28
163r36 Target{52R9} 4|1886b36 1888m37 1888r37
163r57 Source{52R9} 4|1886b57 1888r50
165V13*Symmetric_Difference{52R9} 165>35 165>41 167r58 4|1891b13 1896l8 1896t28
165r35 Left{52R9} 4|1891b35 1893r39
165r41 Right{52R9} 4|1891b41 1893r50
167V14*"xor"=167:58{52R9}
167r20 Left{52R9}
167r26 Right{52R9}
169V13*Overlap{boolean} 169>22 169>28 4|1509b13 1512l8 1512t15
169r22 Left{52R9} 4|1509b22 1511r31
169r28 Right{52R9} 4|1509b28 1511r42
171V13*Is_Subset{boolean} 171>24 171>38 4|1271b13 1274l8 1274t17
171r24 Subset{52R9} 4|1271b24 1273r43
171r38 Of_Set{52R9} 4|1271b38 1273r66
173V13*First{59R9} 173>20 4|613b13 618l8 618t13 636s34
173r20 Container{52R9} 4|613b20 616r13 617r23 617r54
175V13*First_Element{41+9} 175>28 4|646b13 653l8 653t21
175r28 Container{52R9} 4|646b28 648r10 652r14
177V13*Last{59R9} 177>19 4|1393b13 1398l8 1398t12 1416s34
177r19 Container{52R9} 4|1393b19 1396r13 1397r23 1397r54
179V13*Last_Element{41+9} 179>27 4|1426b13 1433l8 1433t20
179r27 Container{52R9} 4|1426b27 1428r10 1431r17
181V13*Next{59R9} 181>19 4|1468b13 1484l8 1484t12 1488s19 1502s14
181r19 Position{59R9} 4|1468b19 1470r10 1474r27 1474r52 1479r34 1482r31
183U14*Next 183=20 4|1486b14 1489l8 1489t12
183r20 Position{59R9} 4|1486b20 1488m7 1488r25
185V13*Previous{59R9} 185>23 4|1527b13 1543l8 1543t16 1547s19 1561s14
185r23 Position{59R9} 4|1527b23 1529r10 1533r27 1533r52 1538r38 1541r31
187U14*Previous 187=24 4|1545b14 1548l8 1548t16
187r24 Position{59R9} 4|1545b24 1547m7 1547r29
189V13*Find{59R9} 189>19 189>36 4|394s14 602b13 607l8 607t12
189r19 Container{52R9} 4|602b19 603r57 606r28
189*36 Item{41+9} 4|602b36 603r73
191V13*Floor{59R9} 191>20 191>37 4|659b13 664l8 664t13
191r20 Container{52R9} 4|659b20 660r58 663r28
191*37 Item{41+9} 4|659b37 660r74
193V13*Ceiling{59R9} 193>22 193>39 4|320b13 326l8 326t15
193r22 Container{52R9} 4|320b22 322r31 325r28
193*39 Item{41+9} 4|320b39 322r47
195V13*Contains{boolean} 195>23 195>40 4|389b13 395l8 395t16
195r23 Container{52R9} 4|390b7 394r20
195*40 Item{41+9} 4|391b7 394r31
197V14*"<"{boolean} 197>18 197>24 4|176b14 193l9 193t11
197r18 Left{59R9} 4|176b18 178r10 186r27 186r48 192r14
197r24 Right{59R9} 4|176b24 182r10 189r27 189r49 192r34
199V14*">"{boolean} 199>18 199>24 4|232b14 251l9 251t11
199r18 Left{59R9} 4|232b18 234r10 242r27 242r48 250r35
199r24 Right{59R9} 4|232b24 238r10 245r27 245r49 250r14
201V14*"<"{boolean} 201>18 201>33 4|195b14 205l9 205t11
201r18 Left{59R9} 4|195b18 197r10 201r27 201r48 204r14
201*33 Right{41+9} 4|195b33 204r34
203V14*">"{boolean} 203>18 203>33 4|265b14 275l9 275t11
203r18 Left{59R9} 4|265b18 267r10 271r27 271r48 274r22
203*33 Right{41+9} 4|265b33 274r14
205V14*"<"{boolean} 205>18 205>39 4|207b14 217l9 217t11
205*18 Left{41+9} 4|207b18 216r14
205r39 Right{59R9} 4|207b39 209r10 213r27 213r49 216r21
207V14*">"{boolean} 207>18 207>39 4|253b14 263l9 263t11
207*18 Left{41+9} 4|253b18 262r35
207r39 Right{59R9} 4|253b39 255r10 259r27 259r49 262r14
209U14*Iterate 210>7 211^7 4|1280b14 1316l8 1316t15
210r7 Container{52R9} 4|1281b7 1296r27 1299r29
211p7 Process 4|1282b7 1296r10
211r46 Position{59R9}
213U14*Reverse_Iterate 214>7 215^7 4|1799b14 1835l8 1835t23
214r7 Container{52R9} 4|1800b7 1815r27 1818r29
215p7 Process 4|1801b7 1815r10
215r46 Position{59R9}
217V13*Iterate<14|32R9[68]> 218>7 4|1318b13 1340l8 1340t15
218r7 Container{52R9} 4|1318b22 1321r27 1338r34
221V13*Iterate<14|32R9[68]> 222>7 223>7 4|1342b13 1387l8 1387t15
222r7 Container{52R9} 4|1342b22 1345r28 1364r29 1369r27 1385r34
223r7 Start{59R9} 4|1342b39 1359r10 1364r10 1369r43 1386r34
227+12 Key_Type 229r57 231r40 235r47 237r47 239r48 243r22 246r56 248r55 250r45
. 252r46 254r48 256r49 274r22 278r22 4|693r18 698r18 709r35 717r48 730r22
. 758r49 767r55 783r48 798r47 807r56 820r45 831r46 843r18 855r18 866r47 922r22
. 944r22 985r26
229V21 Key{227+12} 229>26 4|847s17 859s24 876s17 985s38 1006s36
229*26 Element{41+9}
231V22 "<"{boolean} 231>26 231>32 4|800s26 800s48 847s37 859s22
231*26 Left{227+12}
231*32 Right{227+12}
233k12 Generic_Keys 227z12 229z21 231z22 297l8 297e20 4|686b17 1033l8 1033t20
235V16*Equivalent_Keys{boolean} 235>33 235>39 4|798b16 801l11 801t26 1006s16
235*33 Left{227+12} 4|798b33 800r21 800r50
235*39 Right{227+12} 4|798b39 800r28 800r42
237V16*Key{227+12} 237>21 4|866b16 877l11 877t14
237r21 Position{59R9} 4|866b21 868r13 873r30 873r55 876r22
239V16*Element{41+9} 239>25 239>42 4|783b16 792l11 792t18
239r25 Container{52R9} 4|783b25 784r56
239*42 Key{227+12} 4|783b42 784r72
241U17*Replace 242=10 243>10 244>10 4|942b17 956l11 956t18
242r10 Container{52R9} 4|943b10 947r56 955m27 955r27
243*10 Key{227+12} 4|944b10 947r72
244*10 New_Item{41+9} 4|945b10 955r49
246U17*Exclude 246=26 246>50 4|807b17 814l11 814t18
246r26 Container{52R9} 4|807b26 808r44 811m36 811r36
246*50 Key{227+12} 4|807b50 808r60
248U17*Delete 248=25 248>49 4|767b17 777l11 777t17
248r25 Container{52R9} 4|767b25 768r44 775m33 775r33
248*49 Key{227+12} 4|767b49 768r60
250V16*Find{59R9} 250>22 250>39 4|760s17 820b16 825l11 825t15
250r22 Container{52R9} 4|820b22 821r56 824r31
250*39 Key{227+12} 4|820b39 821r72
252V16*Floor{59R9} 252>23 252>40 4|831b16 836l11 836t16
252r23 Container{52R9} 4|831b23 832r57 835r31
252*40 Key{227+12} 4|831b40 832r73
254V16*Ceiling{59R9} 254>25 254>42 4|717b16 722l11 722t18
254r25 Container{52R9} 4|717b25 718r59 721r31
254*42 Key{227+12} 4|717b42 718r75
256V16*Contains{boolean} 256>26 256>43 4|758b16 761l11 761t19
256r26 Container{52R9} 4|758b26 760r23
256*43 Key{227+12} 4|758b43 760r34
258U17*Update_Element_Preserving_Key 259=10 260>10 261^10 4|962b17 1019l11
. 1019t40
259r10 Container{52R9} 4|963b10 967m35 967r35 975m35 975r35 980r30
260r10 Position{59R9} 4|964b10 970r13 975r13 980r46 984m38 984r38 1012r32
261p10 Process 4|965b10 995r16
262*35 Element{41+9}
264R12*Reference_Type 264d28 270r37 278r39 281c12 288r19 290r11 294r23 296r11
. 4|885r23 897r37 922r39 1027r19
268V16*Reference_Preserving_Key{264R12} 269=10 270>10 4|895b16 918l11 918t35
269r10 Container{52R9} 4|896b10 904m35 904r35 910r18
270r10 Position{59R9} 4|897b10 900r13 904r13 910r34 917m29 917r29
272V16*Constant_Reference{94R9} 273>10 274>10 4|728b16 752l11 752t29
273r10 Container{52R9} 4|729b10 732r56 740r38 746r44
274*10 Key{227+12} 4|730b10 732r72
276V16*Reference_Preserving_Key{264R12} 277=10 278>10 4|920b16 936l11 936t35
277r10 Container{52R9} 4|921b10 924r56
278*10 Key{227+12} 4|922b10 924r72
286U17 Write 287^10 288>10 4|1025b17 1031l11 1031t16
287p10 Stream(15|39R9) 4|1026b10
288r10 Item{264R12} 4|1027b10
292U17 Read 293^10 294<10 4|883b17 889l11 889t15
293p10 Stream(15|39R9) 4|884b10
294r10 Item{264R12} 4|885b10
304R9 Node_Type 305r31 307c9 316r46 4|414r13 672r42 1128r21 1178r16 1626r36
305P9 Node_Access(304R9) 308r17 309r17 310r17 316r57 348r19 4|49r19 72r27
. 75r26 75r46 78r28 78r48 81r27 81r47 84r32 87r31 87r51 90r32 90r53 93r33
. 93r55 100r33 100r53 103r31 108r22 113r18 114r18 115r22 117r40 122r15 127r15
. 130r39 135r14 321r23 343r27 412r33 412r53 413r25 446r11 463r14 477r14 530r48
. 540r48 558r11 603r23 660r23 670r31 672r53 694r18 699r18 718r26 732r26 768r14
. 784r26 808r14 821r26 832r26 844r18 856r18 924r26 947r26 1012r17 1110r22
. 1113r32 1126r32 1151r18 1152r18 1153r22 1158r32 1176r32 1177r26 1227r40
. 1238r15 1252r15 1262r39 1284r38 1294r38 1439r26 1439r46 1478r26 1518r28
. 1518r48 1537r26 1613r66 1624r66 1626r17 1663r23 1686r14 1691r32 1709r32
. 1719r19 1720r19 1803r38 1813r38 1841r27 1841r47 1850r32 1859r31 1859r51
. 1868r33 1868r55 1877r32 1877r53 1904r18 1938r19 1950r19
308p7 Parent{305P9} 4|414m24 675m12 1128m32 1178m27 1520r19 1713m15 1870m12
309p7 Left{305P9} 4|415m24 676m12 1129m32 1179m27 1441r19 1715m15 1861m12
310p7 Right{305P9} 4|416m24 677m12 1130m32 1180m27 1714m15 1843r19 1879m12
311e7 Color{5|35E9} 4|345r19 417m24 417r42 1131m32 1181m27 1712m15 1852m12
312*7 Element{41+9} 4|192r24 192r45 204r24 216r32 250r25 250r45 262r25 274r32
. 376m38 418m24 418r42 513r28 542r23 542r35 543r26 543r38 652r35 745m32 791r22
. 847r28 859r35 876r36 917m43 935m34 984m52 1061m24 1132m32 1182m27 1182r47
. 1193r19 1229r16 1229r28 1243r20 1255r27 1264r16 1264r28 1431r37 1591m36
. 1628r42 1677m12 1711m15 1726r22 1726r43 1735m15 1744r25 1751m18 1756r35
. 1953r43
315K12 Tree_Types[5|40] 319r14 327r8 4|143r46
319r7 Tree{5|41R12[315]} 393m35 4|186r42 189r43 201r42 213r43 225r29 225r41
. 242r42 245r43 259r43 271r42 285m25 292m60 322r41 336m24 367r25 371m58 437r37
. 440m56 446r55 453m56 462m42 476m42 491m34 491r47 495r61 495r73 510r46 550r34
. 550r46 558r55 562m59 575m54 586m60 603r67 616r23 617r64 648r20 652r24 660r68
. 718r69 732r66 740m72 768r54 775m43 784r66 808r54 811m46 821r66 832r67 873r49
. 910r28 924r66 947r66 955m37 967m45 980r40 1056r23 1077m20 1204m36 1204r49
. 1209r36 1209r48 1220r24 1273r50 1273r73 1299m63 1321m61 1345m62 1369r37
. 1396r23 1397r64 1428r20 1431r27 1450r24 1461m30 1461m53 1474r46 1511r36
. 1511r48 1533r46 1577r46 1581m51 1639m31 1664r38 1672r20 1789r37 1792m34
. 1818m39 1888m44 1888r57 1893r44 1893r56 1918m29 1918r42 1923r29 1923r41
. 1959r32
322U25 Adjust<13|52p14> 322=33 4|283b14 286l8 286t14
322r33 Container{52R9} 4|283b22 285m15 285r15
324U25 Finalize=324:67<13|53p14>
324r35 Container{52R9}
331U14 Write 332^7 333>7 4|1932b14 1960l8 1960t13
332p7 Stream(15|39R9) 4|1933b7 1959r14
333r7 Container{52R9} 4|1934b7 1959r22
337U14 Read 338^7 339<7 4|1608b14 1640l8 1640t12
338p7 Stream(15|39R9) 4|1609b7 1639r13
339r7 Container{52R9} 4|1610b7 1639m21 1639r21
343P9 Set_Access(52R9) 344r8 347r19 365r22 4|48r19
347p7 Container{343P9} 4|186r31 186r32 189r32 189r33 201r31 201r32 213r32
. 213r33 242r31 242r32 245r32 245r33 259r32 259r33 271r31 271r32 357r19 361r19
. 371r44 433r19 442m16 510r35 510r36 873r38 873r39 900r22 904r22 975r22 1082m16
. 1364r16 1474r35 1474r36 1482r40 1493r19 1497r19 1533r35 1533r36 1541r40
. 1552r19 1556r19 1577r35 1577r36 1581r40 1581r41 1784r19
348p7 Node{305P9} 4|178r15 182r16 186r53 189r55 192r18 192r19 192r39 192r40
. 197r15 201r53 204r18 204r19 209r16 213r55 216r26 216r27 234r15 238r16 242r53
. 245r55 250r19 250r20 250r39 250r40 255r16 259r55 262r19 262r20 267r15 271r53
. 274r26 274r27 367r40 376r32 376r33 429r19 437r52 440r71 441m22 506r19 510r61
. 513r22 513r23 868r22 873r64 876r30 876r31 910r43 917r37 917r38 970r22 980r55
. 984r46 984r47 1012r41 1061r18 1061r19 1079m19 1369r49 1386r40 1474r61 1479r43
. 1533r61 1538r47 1573r19 1577r61 1591r30 1591r31 1779r19 1789r52 1792r49
351U14 Write 352^7 353>7 4|1962b14 1968l8 1968t13
352p7 Stream(15|39R9) 4|1963b7
353r7 Item{59R9} 4|1964b7
357U14 Read 358^7 359<7 4|1642b14 1648l8 1648t12
358p7 Stream(15|39R9) 4|1643b7
359r7 Item{59R9} 4|1644b7
363R9 Reference_Control_Type<13|48R9> 366e17 368P25 368r50 371P25 371r52
. 377r20 4|288r39 582r41 13|51P14
365p10 Container{343P9} 4|290r18 292r46 584r18 586r46 594m18
368U25 Adjust<13|52p14> 368=33 4|288b14 300l8 300t14
368r33 Control{363R9} 4|288b22 290r10 292r38
371U25 Finalize<13|53p14> 371=35 4|582b14 596l8 596t16
371r35 Control{363R9} 4|582b24 584r10 586r38 594m10
377r10 Control{363R9} 4|377m13 746m16
380U14 Write 381^7 382>7 4|1970b14 1976l8 1976t13
381p7 Stream(15|39R9) 4|1971b7
382r7 Item{94R9} 4|1972b7
386U14 Read 387^7 388<7 4|1650b14 1656l8 1656t12
387p7 Stream(15|39R9) 4|1651b7
388r7 Item{94R9} 4|1652b7
X 4 a-coorse.adb
45R9 Iterator<13|55R9><14|32R9[3|68]> 50e14 52P25 52r51 54P24 54r40 55P24
. 55r40 57P24 58r18 61P24 62r18 571r40 620r29 1336r28 1337r9 1383r28 1384r9
. 1400r28 1491r28 1550r32 13|58P14 21|42p14
48p7 Container{3|343P9} 573r17 575r40 636r23 636r24 638r32 1338m21 1385m21
. 1416r23 1416r24 1418r32 1497r39 1556r39
49p7 Node{3|305P9} 635r17 638r50 1339m21 1386m21 1415r17 1418r50
52U25 Finalize<13|59p14> 52=35 571b14 580l8 580t16
52r35 Object{45R9} 571b24 573r10 575r33
54V24 First{3|59R9}<14|26p13> 54>31 620b13 640l8 640t13
54r31 Object{45R9} 620b20 635r10 636r17 638r25 638r43
55V24 Last{3|59R9}<14|34p13> 55>31 1400b13 1420l8 1420t12
55r31 Object{45R9} 1400b19 1415r10 1416r17 1418r25 1418r43
57V24 Next{3|59R9}<14|28p13> 58>7 59>7 1491b13 1503l8 1503t12
58r7 Object{45R9} 1491b19 1497r32
59r7 Position{3|59R9} 1491b38 1493r10 1497r10 1502r20
61V24 Previous{3|59R9}<14|36p13> 62>7 63>7 1550b13 1562l8 1562t16
62r7 Object{45R9} 1550b23 1556r32
63r7 Position{3|59R9} 1550b42 1552r10 1556r10 1561r24
72V13 Color{5|35E9} 72>20 73r19 343b13 346l8 346t13 8|45i19
72p20 Node{3|305P9} 343b20 345r14
75V13 Left{3|305P9} 75>19 76r19 1439b13 1442l8 1442t12 8|41i19
75p19 Node{3|305P9} 1439b19 1441r14
78V13 Parent{3|305P9} 78>21 79r19 1518b13 1521l8 1521t14 8|39i19
78p21 Node{3|305P9} 1518b21 1520r14
81V13 Right{3|305P9} 81>20 82r19 1841b13 1844l8 1844t13 8|43i19
81p20 Node{3|305P9} 1841b20 1843r14
84U14 Set_Color 84>25 84>45 85r19 1850b14 1853l8 1853t17 8|46i19
84p25 Node{3|305P9} 1850b25 1852m7 1852r7
84e45 Color{5|35E9} 1850b45 1852r21
87U14 Set_Left 87>24 87>44 88r19 1859b14 1862l8 1862t16 8|42i19
87p24 Node{3|305P9} 1859b24 1861m7 1861r7
87p44 Left{3|305P9} 1859b44 1861r20
90U14 Set_Right 90>25 90>45 91r19 1877b14 1880l8 1880t17 8|44i19
90p25 Node{3|305P9} 1877b25 1879m7 1879r7
90p45 Right{3|305P9} 1877b45 1879r21
93U14 Set_Parent 93>26 93>46 94r19 1868b14 1871l8 1871t18 8|40i19
93p26 Node{3|305P9} 1868b26 1870m7 1870r7
93p46 Parent{3|305P9} 1868b46 1870r22
100V13 Copy_Node{3|305P9} 100>24 101r19 149r46 412b13 421l8 421t17
100p24 Source{3|305P9} 412b24 417r35 418r35
103U14 Free 103=20 146r48 170r28 441s7 454s7 467s10 481s10 563s10 670b14
. 680l8 680t12 776s10 812s13 1015s13 1632s13
103p20 X{3|305P9} 670b20 674r10 675m10 675r10 675r22 676m10 676r10 676r22
. 677m10 677r10 677r22 678m22
105U14 Insert_Sans_Hint 106=7 107>7 108<7 109<7 1076s7 1107b14 1143l8 1143t24
. 1908s7
106r7 Tree{5|41R12[3|315]} 1108b7 1139m10
107*7 New_Item{3|41+9} 1109b7 1132r43 1140r10
108p7 Node{3|305P9} 1110b7 1141m10
109b7 Inserted{boolean} 1111b7 1142m10
111U14 Insert_With_Hint 112=7 113>7 114>7 115<7 166r28 1149b14 1196l8 1196t24
112r7 Dst_Tree{5|41R12[3|315]} 1150b7 1191m10
113p7 Dst_Hint{3|305P9} 1151b7 1192r10
114p7 Src_Node{3|305P9} 1152b7 1182r38 1193r10
115p7 Dst_Node{3|305P9} 1153b7 1194m10
117V13 Is_Equal_Node_Node{boolean} 117>33 117>36 118r19 154r41 1227b13 1230l8
. 1230t26
117p33 L{3|305P9} 1227b33 1229r14
117p36 R{3|305P9} 1227b36 1229r26
120V13 Is_Greater_Element_Node{boolean} 121>7 122>7 123r19 161r31 1236b13
. 1244l8 1244t31
121*7 Left{3|41+9} 1237b7 1243r30
122p7 Right{3|305P9} 1238b7 1243r14
125V13 Is_Less_Element_Node{boolean} 126>7 127>7 128r19 160r31 1250b13 1256l8
. 1256t28
126*7 Left{3|41+9} 1251b7 1255r14
127p7 Right{3|305P9} 1252b7 1255r21
130V13 Is_Less_Node_Node{boolean} 130>32 130>35 131r19 169r28 1262b13 1265l8
. 1265t25
130p32 L{3|305P9} 1262b32 1264r14
130p35 R{3|305P9} 1262b35 1264r26
133U14 Replace_Element 134=7 135>7 136>7 955s10 1684b14 1771l8 1771t23 1792s7
134r7 Tree{5|41R12[3|315]} 1685b7 1730r13 1739r37 1746r16 1760m46 1763m22
135p7 Node{3|305P9} 1686b7 1689r22 1711m10 1711r10 1712m10 1712r10 1713m10
. 1713r10 1714m10 1714r10 1715m10 1715r10 1716r17 1726r17 1726r38 1735m10
. 1735r10 1745r20 1751m13 1751r13 1760r52 1770r31
136*7 Item{3|41+9} 1687b7 1711r26 1726r10 1726r53 1735r26 1739r43 1744r13
. 1751r29 1756r45 1765r22
142K12 Tree_Operations[8|48] 146r11 149r11 151r8 154r10 158r31 165r28 281r28
. 332r27 440r7 453r7 466r10 480r10 534r14 562r10 708r35 1014r13 1288r13 1457r26
. 1479r12 1538r12 1617r14 1760r7 1807r14 1942r14
145U14 Delete_Tree[8|89] 149r57 168r28 332r58
148V13 Copy_Tree[8|95]{3|305P9} 167r28 281r60
153V13 Is_Equal[8|76]{boolean} 225s14
156K12 Element_Keys[6|50] 322r9 446r26 558r26 603r38 660r38 1117r13 1120r13
. 1162r13 1165r13 1168r13 1664r9 1695r14 1698r14 1701r14 1739r15
163K12 Set_Ops[10|55] 491r7 495r36 1204r7 1209r9 1273r14 1511r14 1888r7 1893r9
. 1918r7 1923r9
281U14 Adjust[8|103] 285s7
292r13 Tree{5|41R12[3|315]} 293r33 294r33
293i13 B{natural} 296r13 296r18
294i13 L{natural} 297r13 297r18
321p7 Node{3|305P9} 324r18 325r59
332U14 Clear[8|111] 336s7 1457r56 1617r44
371r10 Tree{5|41R12[3|315]} 372r30 373r30
372i10 B{natural} 379r13 379r18
373i10 L{natural} 380r13 380r18
375r17 R{3|94R9}
403r14 Target{3|52R9} 404m10 404r10
413p7 Target{3|305P9} 420r14
446p7 X{3|305P9} 449r10 453r62 454m13 454r13
462r7 Tree{5|41R12[3|315]} 463r29 466r49
463p7 X{3|305P9} 465r10 466r55 467m16 467r16
476r7 Tree{5|41R12[3|315]} 477r29 480r49
477p7 X{3|305P9} 479r10 480r55 481m16 481r16
495r7 Tree{5|41R12[3|315]} 497r35
530V16 Is_Equivalent_Node_Node{boolean} 530>41 530>44 531r22 534r45 540b16
. 545l11 545t34
530p41 L{3|305P9} 540b41 542r21 543r36
530p44 R{3|305P9} 540b44 542r33 543r24
533V16 Is_Equivalent[8|76]{boolean} 550s14
558p7 X{3|305P9} 561r10 562r65 563m16 563r16
575i13 B{natural} 577r13 577r18
586r13 Tree{5|41R12[3|315]} 587r33 588r33
587i13 B{natural} 590r13 590r18
588i13 L{natural} 591r13 591r18
603p7 Node{3|305P9} 605r18 606r59
660p7 Node{3|305P9} 662r18 663r59
671U17 Deallocate[18|20] 678s10
692V16 Is_Greater_Key_Node{boolean} 693>10 694>10 695r22 711r35 842b16 848l11
. 848t30
693*10 Left{3|227+12} 843b10 847r39
694p10 Right{3|305P9} 844b10 847r22
697V16 Is_Less_Key_Node{boolean} 698>10 699>10 700r22 710r35 854b16 860l11
. 860t27
698*10 Left{3|227+12} 855b10 859r17
699p10 Right{3|305P9} 856b10 859r29
706K15 Key_Keys[6|50] 718r41 732r41 768r29 784r41 808r29 821r41 832r41 924r41
. 947r41
718p10 Node{3|305P9} 720r21 721r62
732p10 Node{3|305P9} 735r13 745m27 745r27
740r13 Tree{5|41R12[3|315]} 741r33 742r33
741i13 B{natural} 748r16 748r21
742i13 L{natural} 749r16 749r21
744r20 R{3|94R9}
768p10 X{3|305P9} 771r13 775r49 776m16 776r16
784p10 Node{3|305P9} 787r13 791r17
808p10 X{3|305P9} 810r13 811r52 812m19 812r19
821p10 Node{3|305P9} 823r21 824r62
832p10 Node{3|305P9} 834r21 835r62
924p10 Node{3|305P9} 927r13 935m29 935r29
947p10 Node{3|305P9} 950r13 955r43
965*49 Element{3|41+9}
967r10 Tree{5|41R12[3|315]} 987r33 988r33 1014r52
984*13 E{3|41+9} 985r43 995r25 1006r41
985*13 K{3|227+12} 1006r33
987i13 B{natural} 991r13 991r18 999r19 999r24 1004r13 1004r18
988i13 L{natural} 992r13 992r18 998r19 998r24 1003r13 1003r18
1012p13 X{3|305P9} 1014r58 1015m19 1015r19
1049r7 Position{3|59R9} 1053m36 1061m10
1050b7 Inserted{boolean} 1053m46 1055r14
1089r7 Position{3|59R9} 1090r28 1095m36
1092b7 Inserted{boolean} 1095m46 1097r14
1113V16 New_Node{3|305P9} 1114r22 1117r47 1126b16 1133l11 1133t19
1116U17 Insert_Post[6|55] 1120r54
1119U17 Conditional_Insert_Sans_Hint[6|74] 1138s7
1155b7 Success{boolean} 1156r28 1195m10
1158V16 New_Node{3|305P9} 1159r22 1162r47 1176b16 1185l11 1185t19
1161U17 Insert_Post[6|55] 1165r54 1169r12
1164U17 Insert_Sans_Hint[6|74] 1170r12
1167U17 Local_Insert_With_Hint[6|145] 1190s7
1177p10 Node{3|305P9} 1184r17
1208r7 Tree{5|41R12[3|315]} 1211r35
1282r46 Position{3|59R9}
1284U17 Process_Node 1284>31 1285r22 1288r48 1294b17 1297l11 1297t23
1284p31 Node{3|305P9} 1294b31 1296r58
1287U17 Local_Iterate[8|125] 1308s10
1299r7 T{5|41R12[3|315]} 1300r27 1308r25
1300i7 B{natural} 1305r7 1305r12 1311r13 1311r18 1315r7 1315r12
1321i7 B{natural} 1334r7 1334r12
1336r14 It{45R9}
1345i7 B{natural} 1381r7 1381r12
1383r14 It{45R9}
1457U14 Move[8|117] 1461s7
1478p10 Node{3|305P9} 1481r21 1482r51
1537p10 Node{3|305P9} 1540r21 1541r51
1570*45 Element{3|41+9}
1581r10 T{5|41R12[3|315]} 1583r30 1584r30
1583i10 B{natural} 1587r10 1587r15 1595r16 1595r21 1600r10 1600r15
1584i10 L{natural} 1588r10 1588r15 1594r16 1594r21 1599r10 1599r15
1612V16 Read_Node{3|305P9} 1613^10 1614r22 1617r51 1623b16 1634l11 1634t20
1613p10 Stream(15|39R9) 1624b10 1628r29
1616U17 Read[8|150] 1639s7
1626p10 Node{3|305P9} 1628m37 1628r37 1629r17 1632m19 1632r19
1663p7 Node{3|305P9} 1667r10 1677m7 1677r7
1691V16 New_Node{3|305P9} 1692r22 1695r48 1709b16 1717l11 1717t19
1694U17 Local_Insert_Post[6|55] 1698r55 1702r10
1697U17 Local_Insert_Sans_Hint[6|74] 1703r10
1700U17 Local_Insert_With_Hint[6|145] 1762s7
1719p7 Hint{3|305P9} 1739m7 1741r10 1744r20 1745r13 1756r30 1764r22
1720p7 Result{3|305P9} 1766m22 1766r22 1770r22
1721b7 Inserted{boolean} 1767m22 1769r22
1801r46 Position{3|59R9}
1803U17 Process_Node 1803>31 1804r22 1807r57 1813b17 1816l11 1816t23
1803p31 Node{3|305P9} 1813b31 1815r58
1806U17 Local_Reverse_Iterate[8|131] 1827s10
1818r7 T{5|41R12[3|315]} 1819r27 1827r33
1819i7 B{natural} 1824r7 1824r12 1830r13 1830r18 1834r7 1834r12
1892r7 Tree{5|41R12[3|315]} 1895r35
1903r7 Tree{5|41R12[3|315]} 1908m25 1908r25 1909r35
1904p7 Node{3|305P9} 1906r28 1908m41 1908r41
1905b7 Inserted{boolean} 1906r34 1908m47
1922r7 Tree{5|41R12[3|315]} 1925r35
1936U17 Write_Node 1937^10 1938>10 1939r22 1942r45 1948b17 1954l11 1954t21
1937p10 Stream(15|39R9) 1949b10 1953r30
1938p10 Node{3|305P9} 1950b10 1953r38
1941U17 Write[8|139] 1959s7
X 5 a-crbltr.ads
32K24*Red_Black_Trees 3|36w29 311r17 311r47 316r10 326r8 4|32r21 35r21 38r21
. 143r10 157r10 707r13 1131r43 5|75e35
35E9*Color_Type 3|311r33 4|72r47 84r53 343r47 1850r53 5|35e35
35n24*Red{35E9} 3|311r63 4|1131r59 1181r38 1712r26
38+12 Node_Type
39P12 Node_Access(38+12[8|36[10|36]])
40k12*Generic_Tree_Types 3|316r26 5|49e26
41R12 Tree_Type 3|319r25[315] 4|106r25[3|315] 112r25[3|315] 134r21[3|315]
. 292r20[3|315] 371r17[3|315] 462r14[3|315] 476r14[3|315] 495r23[3|315] 586r20[3|315]
. 740r20[3|315] 967r17[3|315] 1108r25[3|315] 1150r25[3|315] 1208r23[3|315]
. 1299r11[3|315] 1581r14[3|315] 1685r21[3|315] 1818r11[3|315] 1892r23[3|315]
. 1903r18[3|315] 1922r23[3|315]
42p10 First{3|305P9} 3|393m44[315] 4|463r34[3|315] 616r28[3|315] 617r69[3|315]
. 648r25[3|315] 652r28[3|315] 652r29[3|315]
43p10 Last{3|305P9} 3|394m44[315] 4|477r34[3|315] 1396r28[3|315] 1397r69[3|315]
. 1428r25[3|315] 1431r31[3|315] 1431r32[3|315]
44p10 Root{3|305P9} 3|395m44[315]
45i10 Length{2|20I9} 3|396m44[315] 4|1220r29[3|315] 1450r29[3|315]
46i10 Busy{natural} 3|397m44[315] 4|293m38[3|315] 372m35[3|315] 575m59[3|315]
. 587m38[3|315] 741m38[3|315] 987m38[3|315] 1300m29[3|315] 1321m66[3|315]
. 1345m67[3|315] 1583m32[3|315] 1819m29[3|315]
47i10 Lock{natural} 3|398m44[315] 4|294m38[3|315] 373m35[3|315] 588m38[3|315]
. 742m38[3|315] 988m38[3|315] 1056r28[3|315] 1584m32[3|315] 1672r25[3|315]
. 1730r18[3|315] 1746r21[3|315]
X 6 a-crbtgk.ads
36K17 Tree_Operations 4|158r8 708r12
40+9 Key_Type 4|159r8 709r12
42V18 Is_Less_Key_Node{boolean} 4|160r8 710r12
46V18 Is_Greater_Key_Node{boolean} 4|161r8 711r12
50k40*Generic_Keys 4|35w37 157r26 707r29 6|192e48
55u14 Generic_Insert_Post 4|1117r26[156] 1162r26[156] 1695r27[156]
74u14 Generic_Conditional_Insert 4|1120r26[156] 1165r26[156] 1698r27[156]
145u14 Generic_Conditional_Insert_With_Hint 4|1168r26[156] 1701r27[156]
146r7 Tree{5|41R12[3|315]} 4|1763r10[1700]
147p7 Position{3|305P9} 4|1764r10[1700]
148*7 Key{3|41+9} 4|1765r10[1700]
149p7 Node{3|305P9} 4|1766r10[1700]
150b7 Inserted{boolean} 4|1767r10[1700]
156V13 Find{3|305P9} 4|446s39[156] 558s39[156] 603s51[156] 732s50[706] 768s38[706]
. 784s50[706] 808s38[706] 821s50[706] 924s50[706] 947s50[706] 1664s22[156]
161V13 Ceiling{3|305P9} 4|322s22[156] 718s50[706] 1739s28[156]
166V13 Floor{3|305P9} 4|660s51[156] 832s50[706]
X 8 a-crbtgo.ads
48k40*Generic_Operations 4|32w37 143r26 8|163e54
64V13 Vet{boolean} 4|186s22[142] 189s22[142] 201s22[142] 213s22[142] 242s22[142]
. 245s22[142] 259s22[142] 271s22[142] 367s10[142] 437s22[142] 510s22[142]
. 873s25[142] 910s13[142] 980s25[142] 1369s22[142] 1474s22[142] 1533s22[142]
. 1577s22[142] 1789s22[142]
68V13 Next{3|305P9} 4|1479s28[142]
71V13 Previous{3|305P9} 4|1538s28[142]
76v13 Generic_Equal 4|154r26[142] 534r30[142]
81U14 Delete_Node_Sans_Free 4|440s23[142] 453s23[142] 466s26[142] 480s26[142]
. 562s26[142] 775s10[142] 811s13[142] 1014s29[142] 1760s23[142]
89u14 Generic_Delete_Tree 4|146r27[142]
95v13 Generic_Copy_Tree 4|149r27[142]
103u14 Generic_Adjust 4|281r44[142]
111u14 Generic_Clear 4|332r43[142]
117u14 Generic_Move 4|1457r42[142]
117r28 Target{5|41R12[3|315]} 4|1461r13[1457]
117r36 Source{5|41R12[3|315]} 4|1461r36[1457]
125u14 Generic_Iteration 4|1288r29[142]
131u14 Generic_Reverse_Iteration 4|1807r30[142]
139u14 Generic_Write 4|1942r30[142]
150u14 Generic_Read 4|1617r30[142]
X 10 a-rbtgso.ads
36K17 Tree_Operations 4|165r8
40U19 Insert_With_Hint 4|166r8
46V18 Copy_Tree{5|39P12[8|36[10|36]]} 4|167r8
49U19 Delete_Tree 4|168r8
51V18 Is_Less{boolean} 4|169r8
53U19 Free 4|170r8
55k40*Generic_Set_Operations 4|38w37 164r10 10|106e58
58U14 Union 4|1918s15[163]
66V13 Union{5|41R12[3|315]} 4|1923s17[163]
70U14 Intersection 4|1204s15[163]
74V13 Intersection{5|41R12[3|315]} 4|1209s17[163]
78U14 Difference 4|491s15[163]
82V13 Difference{5|41R12[3|315]} 4|495s44[163]
86U14 Symmetric_Difference 4|1888s15[163]
93V13 Symmetric_Difference{5|41R12[3|315]} 4|1893s17[163]
98V13 Is_Subset{boolean} 4|1273s22[163]
98r24 Subset{5|41R12[3|315]} 4|1273r33[163]
98r44 Of_Set{5|41R12[3|315]} 4|1273r56[163]
102V13 Overlap{boolean} 4|1511s22[163]
X 13 a-finali.ads
40K13*Finalization 3|37w18 318r24 328r12 13|73e21
48H9*Controlled 3|318r37 364r11 393r19 4|377r25 497r19 746r28 1211r19 1895r19
. 1909r19 1925r19 13|64e72
51U14*Initialize<21|44p14>
55H9*Limited_Controlled 4|45r25 1337r19 1384r19 13|71e55
58U14*Initialize<21|44p14>
X 14 a-iteint.ads
21k13*Iterator_Interfaces 3|34w10 69r10 14|39e28
24h9 Forward_Iterator
32h9 Reversible_Iterator<24R9[3|68]> 3|219r38[68] 224r38[68] 4|46r30[3|68]
. 1319r37[3|68] 1343r37[3|68]
X 15 a-stream.ads
36K13*Streams 3|38w18 284r15 329r12 15|69e16
39H9*Root_Stream_Type 3|287r35 293r35 332r35 338r35 352r32 358r32 381r32
. 387r32 4|884r35 1026r35 1609r35 1613r35 1624r35 1643r32 1651r32 1933r35
. 1937r35 1949r35 1963r32 1971r32 15|67e64
X 18 a-uncdea.ads
20u15*Unchecked_Deallocation 4|30w10 672r18
X 19 system.ads
37K9*System 4|41w6 41r23 19|152e11
64M9*Address 4|41r30
78V14*"="{boolean} 4|308r25
X 21 s-finroo.ads
42U14*Adjust
OHA YOOOO