V "GNAT Lib v4.9"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -mtune=pentium
A -march=pentium
P

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_05

U ada.containers.ordered_sets%b  a-coorse.adb	97fc745c 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.adb		a-stream.ali
W ada.unchecked_deallocation%s
W system%s		system.ads		system.ali

U ada.containers.ordered_sets%s  a-coorse.ads	8b097e30 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.adb		a-stream.ali

D ada.ads		20070406121342 3ffc8e18
D a-contai.ads		20101025165030 61e5e089
D a-coorse.ads		20130411163354 6649dc0e
D a-coorse.adb		20140220154616 ee31c0b8
D a-crbltr.ads		20110831120720 b8a2dc05
D a-crbtgk.ads		20090409180020 18ae3fab
D a-crbtgk.adb		20140220154616 62191c0e
D a-crbtgo.ads		20090409180020 375f6f61
D a-crbtgo.adb		20140220154616 885f84ae
D a-rbtgso.ads		20090409180020 8700a961
D a-rbtgso.adb		20130411155854 4b1a1b3e
D a-except.ads		20140129181954 f86a4103
D a-finali.ads		20111121133556 52ecdc1b
D a-iteint.ads		20110906122602 7c7305e9
D a-stream.ads		20140122184720 1a984740
D a-tags.ads		20111212135430 6c0509d0
D a-unccon.ads		20070406121342 f9eb8f06
D a-uncdea.ads		20070406121342 f15a5ed1
D system.ads		20160804194326 462fcf90
D s-exctab.ads		20140225171140 54135002
D s-finroo.ads		20120426125924 4ff27390
D s-parame.ads		20140225171140 ab8cb46a
D s-soflin.ads		20140225171140 aa763b52
D s-stache.ads		20140225171140 a37c21ec
D s-stalib.ads		20140225171140 a891183f
D s-stoele.ads		20140225171140 2dc34a04
D s-stoele.adb		20140225171140 ed88f8fb
D s-traent.ads		20140225171140 b5116092
X 1 ada.ads
16K9*Ada 19e8 3|34r6 36r14 37r14 38r14 46r9 69r6 284r11 318r20 328r8 329r8
. 422r5 4|30r6 32r6 35r6 38r6 43r14 652r14 2059r5
X 2 a-contai.ads
16K13*Containers 1|16k9 2|24e19 3|36r18 46r13 422r9 4|32r10 35r10 38r10 43r18
. 2059r9
20I9*Count_Type<integer> 3|77r45 4|1431r45
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|87r18 101r15 106r15 116r14 139r31 175r41 187r25 233r25 245r41
. 300r46 371r19 425r53 484r48 500r48 537r54 582r43 626r52 639r44 763r65 925r22
. 945r66 964r17 1031r58 1054r19 1070r19 1092r18 1220r15 1234r15 1409r51 1553r55
. 1611r10 1645r58 1670r14 1857r19 1983r32 2034r10
43V19 "<"{boolean} 43>23 43>29 4|172s32 184s32 196s19 230s33 242s33 254s20
. 502s23 502s45 522s31 523s34 1226s28 1238s19 1247s24 1734s30 1735s41 1778s29
43*23 Left{41+9}
43*29 Right{41+9}
44V19 "="{boolean} 44>23 44>29 4|1212s24
44*23 Left{41+9}
44*29 Right{41+9}
46k24*Ordered_Sets 2|16k13 3|41z9 43z19 44z19 304E9 422l20 422e32 4|43b29
. 2059l20 2059t32
50V13*Equivalent_Elements{boolean} 50>34 50>40 4|500b13 503l8 503t27
50*34 Left{41+9} 4|500b34 502r18 502r47
50*40 Right{41+9} 4|500b40 502r25 502r39
52R9*Set<13|48R9> 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|203r32 263r41 286r38 286r52 300r34 314r40 333r27 370r19 381r28 381r40
. 383r23 407r41 425r41 441r47 455r46 469r42 469r56 474r39 474r51 477r14 509r44
. 537r42 582r31 593r32 626r40 639r32 697r37 709r30 738r38 747r44 763r37 787r45
. 800r34 811r35 876r37 901r37 923r29 943r29 1031r42 1053r26 1069r26 1185r44
. 1185r58 1190r41 1190r53 1194r14 1201r35 1254r33 1254r47 1264r19 1301r34
. 1325r34 1376r31 1409r39 1431r33 1442r36 1442r57 1492r36 1593r23 1645r42
. 1855r26 1881r19 1967r52 1967r66 1972r49 1972r61 1976r14 1983r53 1990r14
. 1997r37 1997r51 2002r34 2002r46 2006r14 2015r19 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 411r57 412r57 416r18 416r33 420r18 420r33 4|156r32 175r25 187r47
. 212r32 233r47 245r25 300r67 305r20 334r19 407r64 484r33 582r64 586r20 593r44
. 597r15 600r46 618r17 639r65 643r20 697r65 701r23 800r62 804r23 811r63 815r23
. 846r32 877r22 944r22 1022r37 1032r18 1055r23 1072r18 1265r57 1279r19 1325r47
. 1376r43 1380r15 1383r45 1401r17 1451r30 1451r45 1465r23 1469r38 1474r49
. 1474r64 1510r34 1510r49 1524r23 1528r42 1533r53 1533r68 1552r18 1627r20
. 1856r19 1882r57 1896r19 2045r16
62V13*Has_Element{boolean} 62>26 69r39 4|1022b13 1025l8 1025t19
62r26 Position{59R9} 4|1022b26 1024r14
64r4*Empty_Set{52R9} 392c4
66r4*No_Element{59R9} 400c4 4|304r35 374r40 585r35 596r46 642r35 700r38 740r42
. 803r38 814r38 1024r26 1342r18 1379r45 1453r21 1454r17 1464r38 1477r17 1512r21
. 1513r17 1523r38 1536r17
68K12*Set_Iterator_Interfaces[14|21] 219r14 224r14 403r6 4|1302r13 1326r13
71V14*"="{boolean} 71>18 71>24 4|203b14 206l9 206t11
71r18 Left{52R9} 4|203b18 205r24
71r24 Right{52R9} 4|203b24 205r35
73V13*Equivalent_Sets{boolean} 73>30 73>36 4|509b13 531l8 531t23
73r30 Left{52R9} 4|509b30 530r29
73r36 Right{52R9} 4|509b36 530r40
75V13*To_Set{52R9} 75>21 4|1983b13 1991l8 1991t14
75*21 New_Item{41+9} 4|1983b21 1989r31
77V13*Length{2|20I9} 77>21 4|1431b13 1434l8 1434t14
77r21 Container{52R9} 4|1431b21 1433r14
79V13*Is_Empty{boolean} 79>23 4|1201b13 1204l8 1204t16
79r23 Container{52R9} 4|1201b23 1203r14
81U14*Clear 81=21 324r67 4|292s14 314b14 317l8 317t13
81r21 Container{52R9} 4|314b21 316m14 316r14
83V13*Element{41+9} 83>22 4|484b13 494l8 494t15
83r22 Position{59R9} 4|484b22 486r10 490r27 490r52 493r14
85U14*Replace_Element 86=7 87>7 88>7 4|1854b14 1874l8 1874t23
86r7 Container{52R9} 4|1855b7 1865m32 1865r32 1870r27 1873m24 1873r24
87r7 Position{59R9} 4|1856b7 1860r10 1865r10 1870r43 1873r40
88*7 New_Item{41+9} 4|1857b7 1873r55
90U14*Query_Element 91>7 92^7 4|1551b14 1585l8 1585t21
91r7 Position{59R9} 4|1552b7 1556r10 1560r27 1560r52 1564r32 1574r22
92p7 Process 4|1553b7 1574r13
92*45 Element{41+9}
94R9*Constant_Reference_Type 95d8 102r34 274r39 374c9 378e17 382r16 384r8
. 388r20 390r8 4|334r34 355r30 710r39 724r33 1635r20 2053r16
100V13*Constant_Reference{94R9} 53r30 101>7 102>7 103r19 4|332b13 363l8 363t26
101r7 Container{52R9} 4|333b7 341r32 347r15 357r41
102r7 Position{59R9} 4|334b7 337r10 341r10 347r31 351r35 356r24
105U14*Assign 105=22 105>43 4|286b14 294l8 294t14 384s17
105r22 Target{52R9} 4|286b22 288m10 288r10 292m7 292r7 293m7 293r7
105r43 Source{52R9} 4|286b43 288r27 293r21
107V13*Copy{52R9} 107>19 4|381b13 386l8 386t12
107r19 Source{52R9} 4|381b19 384r25
109U14*Move 109=20 109=41 4|1442b14 1445l8 1445t12
109r20 Target{52R9} 4|1442b20 1444m23 1444r23
109r41 Source{52R9} 4|1442b41 1444m46 1444r46
111U14*Insert 112=7 113>7 114<7 115<7 4|1036s7 1052b14 1066l8 1066t14 1078s7
112r7 Container{52R9} 4|1053b7 1060m10 1060r10 1065m29 1065r29
113*7 New_Item{41+9} 4|1054b7 1061r10
114r7 Position{59R9} 4|1055b7 1062m10 1062r10 1065m7
115b7 Inserted{boolean} 4|1056b7 1063m10
117U14*Insert 118=7 119>7 4|1068b14 1084l8 1084t14
118r7 Container{52R9} 4|1069b7 1078m15
119*7 New_Item{41+9} 4|1070b7 1078r26
121U14*Include 122=7 123>7 4|1031b14 1046l8 1046t15
122r7 Container{52R9} 4|1031b23 1036m15 1039r13
123*7 New_Item{41+9} 4|1031b47 1036r26 1044r35
125U14*Replace 126=7 127>7 4|1645b14 1661l8 1661t15
126r7 Container{52R9} 4|1645b23 1647r28 1655r10
127*7 New_Item{41+9} 4|1645b47 1647r44 1660r23
129U14*Exclude 130=7 131>7 4|537b14 545l8 545t15
130r7 Container{52R9} 4|537b23 538r45 542m49 542r49
131*7 Item{41+9} 4|537b47 538r61
133U14*Delete 134=7 135>7 4|425b14 435l8 435t14
134r7 Container{52R9} 4|425b22 426r45 433m46 433r46
135*7 Item{41+9} 4|425b46 426r61
137U14*Delete 138=7 139=7 4|407b14 423l8 423t14
138r7 Container{52R9} 4|407b22 413m32 413r32 417r27 420m46 420r46
139r7 Position{59R9} 4|407b46 409r10 413r10 417r43 420r62 421m13 421r13 422m7
141U14*Delete_First 141=28 4|441b14 449l8 449t20
141r28 Container{52R9} 4|441b28 442m32 442r32
143U14*Delete_Last 143=27 4|455b14 463l8 463t19
143r27 Container{52R9} 4|455b27 456m32 456r32
145U14*Union 145=21 145>42 4|293s14 1997b14 2000l8 2000t13
145r21 Target{52R9} 4|1997b21 1999m22 1999r22
145r42 Source{52R9} 4|1997b42 1999r35
147V13*Union{52R9} 147>20 147>26 149r57 4|2002b13 2007l8 2007t13
147r20 Left{52R9} 4|2002b20 2004r24
147r26 Right{52R9} 4|2002b26 2004r35
149V14*"or"=149:57{52R9}
149r19 Left{52R9}
149r25 Right{52R9}
151U14*Intersection 151=28 151>49 4|1185b14 1188l8 1188t20
151r28 Target{52R9} 4|1185b28 1187m29 1187r29
151r49 Source{52R9} 4|1185b49 1187r42
153V13*Intersection{52R9} 153>27 153>33 155r58 4|1190b13 1195l8 1195t20
153r27 Left{52R9} 4|1190b27 1192r31
153r33 Right{52R9} 4|1190b33 1192r42
155V14*"and"=155:58{52R9}
155r20 Left{52R9}
155r26 Right{52R9}
157U14*Difference 157=26 157>47 4|469b14 472l8 472t18
157r26 Target{52R9} 4|469b26 471m27 471r27
157r47 Source{52R9} 4|469b47 471r40
159V13*Difference{52R9} 159>25 159>31 161r56 4|474b13 478l8 478t18
159r25 Left{52R9} 4|474b25 475r56
159r31 Right{52R9} 4|474b31 475r67
161V14*"-"=161:56{52R9}
161r18 Left{52R9}
161r24 Right{52R9}
163U14*Symmetric_Difference 163=36 163>57 4|1967b14 1970l8 1970t28
163r36 Target{52R9} 4|1967b36 1969m37 1969r37
163r57 Source{52R9} 4|1967b57 1969r50
165V13*Symmetric_Difference{52R9} 165>35 165>41 167r58 4|1972b13 1977l8 1977t28
165r35 Left{52R9} 4|1972b35 1974r39
165r41 Right{52R9} 4|1972b41 1974r50
167V14*"xor"=167:58{52R9}
167r20 Left{52R9}
167r26 Right{52R9}
169V13*Overlap{boolean} 169>22 169>28 4|1492b13 1495l8 1495t15
169r22 Left{52R9} 4|1492b22 1494r31
169r28 Right{52R9} 4|1492b28 1494r42
171V13*Is_Subset{boolean} 171>24 171>38 4|1254b13 1257l8 1257t17
171r24 Subset{52R9} 4|1254b24 1256r43
171r38 Of_Set{52R9} 4|1254b38 1256r66
173V13*First{59R9} 173>20 4|593b13 598l8 598t13 616s34
173r20 Container{52R9} 4|593b20 596r13 597r23 597r54
175V13*First_Element{41+9} 175>28 4|626b13 633l8 633t21
175r28 Container{52R9} 4|626b28 628r10 632r14
177V13*Last{59R9} 177>19 4|1376b13 1381l8 1381t12 1399s34
177r19 Container{52R9} 4|1376b19 1379r13 1380r23 1380r54
179V13*Last_Element{41+9} 179>27 4|1409b13 1416l8 1416t20
179r27 Container{52R9} 4|1409b27 1411r10 1414r17
181V13*Next{59R9} 181>19 4|1451b13 1467l8 1467t12 1471s19 1485s14
181r19 Position{59R9} 4|1451b19 1453r10 1457r27 1457r52 1462r34 1465r31
183U14*Next 183=20 4|1469b14 1472l8 1472t12
183r20 Position{59R9} 4|1469b20 1471m7 1471r25
185V13*Previous{59R9} 185>23 4|1510b13 1526l8 1526t16 1530s19 1544s14
185r23 Position{59R9} 4|1510b23 1512r10 1516r27 1516r52 1521r38 1524r31
187U14*Previous 187=24 4|1528b14 1531l8 1531t16
187r24 Position{59R9} 4|1528b24 1530m7 1530r29
189V13*Find{59R9} 189>19 189>36 4|374s14 582b13 587l8 587t12
189r19 Container{52R9} 4|582b19 583r57 586r28
189*36 Item{41+9} 4|582b36 583r73
191V13*Floor{59R9} 191>20 191>37 4|639b13 644l8 644t13
191r20 Container{52R9} 4|639b20 640r58 643r28
191*37 Item{41+9} 4|639b37 640r74
193V13*Ceiling{59R9} 193>22 193>39 4|300b13 306l8 306t15
193r22 Container{52R9} 4|300b22 302r31 305r28
193*39 Item{41+9} 4|300b39 302r47
195V13*Contains{boolean} 195>23 195>40 4|369b13 375l8 375t16
195r23 Container{52R9} 4|370b7 374r20
195*40 Item{41+9} 4|371b7 374r31
197V14*"<"{boolean} 197>18 197>24 4|156b14 173l9 173t11
197r18 Left{59R9} 4|156b18 158r10 166r27 166r48 172r14
197r24 Right{59R9} 4|156b24 162r10 169r27 169r49 172r34
199V14*">"{boolean} 199>18 199>24 4|212b14 231l9 231t11
199r18 Left{59R9} 4|212b18 214r10 222r27 222r48 230r35
199r24 Right{59R9} 4|212b24 218r10 225r27 225r49 230r14
201V14*"<"{boolean} 201>18 201>33 4|175b14 185l9 185t11
201r18 Left{59R9} 4|175b18 177r10 181r27 181r48 184r14
201*33 Right{41+9} 4|175b33 184r34
203V14*">"{boolean} 203>18 203>33 4|245b14 255l9 255t11
203r18 Left{59R9} 4|245b18 247r10 251r27 251r48 254r22
203*33 Right{41+9} 4|245b33 254r14
205V14*"<"{boolean} 205>18 205>39 4|187b14 197l9 197t11
205*18 Left{41+9} 4|187b18 196r14
205r39 Right{59R9} 4|187b39 189r10 193r27 193r49 196r21
207V14*">"{boolean} 207>18 207>39 4|233b14 243l9 243t11
207*18 Left{41+9} 4|233b18 242r35
207r39 Right{59R9} 4|233b39 235r10 239r27 239r49 242r14
209U14*Iterate 210>7 211^7 4|1263b14 1299l8 1299t15
210r7 Container{52R9} 4|1264b7 1279r27 1282r29
211p7 Process 4|1265b7 1279r10
211r46 Position{59R9}
213U14*Reverse_Iterate 214>7 215^7 4|1880b14 1916l8 1916t23
214r7 Container{52R9} 4|1881b7 1896r27 1899r29
215p7 Process 4|1882b7 1896r10
215r46 Position{59R9}
217V13*Iterate<14|32R9[68]> 218>7 4|1301b13 1323l8 1323t15
218r7 Container{52R9} 4|1301b22 1304r27 1321r34
221V13*Iterate<14|32R9[68]> 222>7 223>7 4|1325b13 1370l8 1370t15
222r7 Container{52R9} 4|1325b22 1328r28 1347r29 1352r27 1368r34
223r7 Start{59R9} 4|1325b39 1342r10 1347r10 1352r43 1369r34
227+12 Key_Type 229r57 231r40 235r47 237r47 239r48 243r22 246r56 248r55 250r45
. 252r46 254r48 256r49 274r22 278r22 4|673r18 678r18 689r35 697r48 710r22
. 738r49 747r55 763r48 778r47 787r56 800r45 811r46 823r18 835r18 846r47 902r22
. 924r22 965r26
229V21 Key{227+12} 229>26 4|827s17 839s24 856s17 965s38 978s42
229*26 Element{41+9}
231V22 "<"{boolean} 231>26 231>32 4|780s26 780s48 827s37 839s22
231*26 Left{227+12}
231*32 Right{227+12}
233k12 Generic_Keys 227z12 229z21 231z22 281E12 297l8 297e20 4|666b17 1016l8
. 1016t20
235V16*Equivalent_Keys{boolean} 235>33 235>39 4|778b16 781l11 781t26 978s22
235*33 Left{227+12} 4|778b33 780r21 780r50
235*39 Right{227+12} 4|778b39 780r28 780r42
237V16*Key{227+12} 237>21 4|846b16 857l11 857t14
237r21 Position{59R9} 4|846b21 848r13 853r30 853r55 856r22
239V16*Element{41+9} 239>25 239>42 4|763b16 772l11 772t18
239r25 Container{52R9} 4|763b25 764r56
239*42 Key{227+12} 4|763b42 764r72
241U17*Replace 242=10 243>10 244>10 4|922b17 936l11 936t18
242r10 Container{52R9} 4|923b10 927r56 935m27 935r27
243*10 Key{227+12} 4|924b10 927r72
244*10 New_Item{41+9} 4|925b10 935r49
246U17*Exclude 246=26 246>50 4|787b17 794l11 794t18
246r26 Container{52R9} 4|787b26 788r44 791m36 791r36
246*50 Key{227+12} 4|787b50 788r60
248U17*Delete 248=25 248>49 4|747b17 757l11 757t17
248r25 Container{52R9} 4|747b25 748r44 755m33 755r33
248*49 Key{227+12} 4|747b49 748r60
250V16*Find{59R9} 250>22 250>39 4|740s17 800b16 805l11 805t15
250r22 Container{52R9} 4|800b22 801r56 804r31
250*39 Key{227+12} 4|800b39 801r72
252V16*Floor{59R9} 252>23 252>40 4|811b16 816l11 816t16
252r23 Container{52R9} 4|811b23 812r57 815r31
252*40 Key{227+12} 4|811b40 812r73
254V16*Ceiling{59R9} 254>25 254>42 4|697b16 702l11 702t18
254r25 Container{52R9} 4|697b25 698r59 701r31
254*42 Key{227+12} 4|697b42 698r75
256V16*Contains{boolean} 256>26 256>43 4|738b16 741l11 741t19
256r26 Container{52R9} 4|738b26 740r23
256*43 Key{227+12} 4|738b43 740r34
258U17*Update_Element_Preserving_Key 259=10 260>10 261^10 4|942b17 1002l11
. 1002t40
259r10 Container{52R9} 4|943b10 947m35 947r35 955m35 955r35 960r30
260r10 Position{59R9} 4|944b10 950r13 955r13 960r46 964r38 995r32
261p10 Process 4|945b10 977r16
262*35 Element{41+9}
264R12*Reference_Type 264d28 270r37 278r39 281c12 288r19 290r11 294r23 296r11
. 4|865r23 877r37 902r39 1010r19
268V16*Reference_Preserving_Key{264R12} 269=10 270>10 4|875b16 898l11 898t35
269r10 Container{52R9} 4|876b10 884m35 884r35 890r18
270r10 Position{59R9} 4|877b10 880r13 884r13 890r34 897r29
272V16*Constant_Reference{94R9} 273>10 274>10 4|708b16 732l11 732t29
273r10 Container{52R9} 4|709b10 712r56 720r38 726r44
274*10 Key{227+12} 4|710b10 712r72
276V16*Reference_Preserving_Key{264R12} 277=10 278>10 4|900b16 916l11 916t35
277r10 Container{52R9} 4|901b10 904r56
278*10 Key{227+12} 4|902b10 904r72
286U17 Write 287^10 288>10 4|1008b17 1014l11 1014t16
287p10 Stream(15|39R9) 4|1009b10
288r10 Item{264R12} 4|1010b10
292U17 Read 293^10 294<10 4|863b17 869l11 869t15
293p10 Stream(15|39R9) 4|864b10
294r10 Item{264R12} 4|865b10
304R9 Node_Type 305r31 307c9 316r46 4|394r13 652r42 1111r21 1161r16 1609r36
305P9 Node_Access(304R9) 308r17 309r17 310r17 316r57 348r19 406r19 4|52r27
. 55r26 55r46 58r28 58r48 61r27 61r47 64r32 67r31 67r51 70r32 70r53 73r33
. 73r55 80r33 80r53 83r31 88r22 93r18 94r18 95r22 97r40 102r15 107r15 110r39
. 115r14 301r23 323r27 392r33 392r53 393r25 426r11 443r14 457r14 510r48 520r48
. 538r11 583r23 640r23 650r31 652r53 674r18 679r18 698r26 712r26 748r14 764r26
. 788r14 801r26 812r26 824r18 836r18 904r26 927r26 995r17 1093r22 1096r32
. 1109r32 1134r18 1135r18 1136r22 1141r32 1159r32 1160r26 1210r40 1221r15
. 1235r15 1245r39 1267r38 1277r38 1422r26 1422r46 1461r26 1501r28 1501r48
. 1520r26 1596r66 1607r66 1609r17 1646r23 1669r14 1674r32 1692r32 1702r18
. 1703r18 1884r38 1894r38 1922r27 1922r47 1931r32 1940r31 1940r51 1949r33
. 1949r55 1958r32 1958r53 1985r18 2019r19 2031r19
308p7 Parent{305P9} 4|394m24 655m12 1111m32 1161m27 1503r19 1696m15 1951m12
309p7 Left{305P9} 4|395m24 656m12 1112m32 1162m27 1424r19 1698m15 1942m12
310p7 Right{305P9} 4|396m24 657m12 1113m32 1163m27 1697m15 1924r19 1960m12
311e7 Color{5|35E9} 4|325r19 397m24 397r42 1114m32 1164m27 1695m15 1933m12
312*7 Element{41+9} 4|172r24 172r45 184r24 196r32 230r25 230r45 242r25 254r32
. 356m38 398m24 398r42 493r28 522r23 522r35 523r26 523r38 632r35 725m32 771r22
. 827r28 839r35 856r36 897m43 915m34 964m52 1044m24 1115m32 1165m27 1165r47
. 1176r19 1212r16 1212r28 1226r20 1238r27 1247r16 1247r28 1414r37 1574m36
. 1611r42 1660m12 1694m15 1734r37 1735r33 1758m15 1778r36 1829m18 2034r43
315K12 Tree_Types[5|40] 319r14 327r8 4|123r46
319r7 Tree{5|41R12[315]} 393m35 4|166r42 169r43 181r42 193r43 205r29 205r41
. 222r42 225r43 239r43 251r42 265m25 272m60 302r41 316m24 347r25 351m58 417r37
. 420m56 426r55 433m56 442m42 456m42 471m34 471r47 475r61 475r73 490r46 530r34
. 530r46 538r55 542m59 555m54 566m60 583r67 596r23 597r64 628r20 632r24 640r68
. 698r69 712r66 720m72 748r54 755m43 764r66 788r54 791m46 801r66 812r67 853r49
. 890r28 904r66 927r66 935m37 947m45 960r40 1039r23 1060m20 1187m36 1187r49
. 1192r36 1192r48 1203r24 1256r50 1256r73 1282m63 1304m61 1328m62 1352r37
. 1379r23 1380r64 1411r20 1414r27 1433r24 1444m30 1444m53 1457r46 1494r36
. 1494r48 1516r46 1560r46 1564m51 1622m31 1647r38 1655r20 1870r37 1873m34
. 1899m39 1969m44 1969r57 1974r44 1974r56 1999m29 1999r42 2004r29 2004r41
. 2040r32
322U25 Adjust<13|52p14> 322=33 4|263b14 266l8 266t14
322r33 Container{52R9} 4|263b22 265m15 265r15
324U25 Finalize=324:67<13|53p14>
324r35 Container{52R9}
331U14 Write 332^7 333>7 4|2013b14 2041l8 2041t13
332p7 Stream(15|39R9) 4|2014b7 2040r14
333r7 Container{52R9} 4|2015b7 2040r22
337U14 Read 338^7 339<7 4|1591b14 1623l8 1623t12
338p7 Stream(15|39R9) 4|1592b7 1622r13
339r7 Container{52R9} 4|1593b7 1622m21 1622r21
343P9 Set_Access(52R9) 344r8 347r19 365r22 405r19
347p7 Container{343P9} 4|166r31 166r32 169r32 169r33 181r31 181r32 193r32
. 193r33 222r31 222r32 225r32 225r33 239r32 239r33 251r31 251r32 337r19 341r19
. 351r44 413r19 422m16 490r35 490r36 853r38 853r39 880r22 884r22 955r22 1065m16
. 1347r16 1457r35 1457r36 1465r40 1476r19 1480r19 1516r35 1516r36 1524r40
. 1535r19 1539r19 1560r35 1560r36 1564r40 1564r41 1865r19
348p7 Node{305P9} 4|158r15 162r16 166r53 169r55 172r18 172r19 172r39 172r40
. 177r15 181r53 184r18 184r19 189r16 193r55 196r26 196r27 214r15 218r16 222r53
. 225r55 230r19 230r20 230r39 230r40 235r16 239r55 242r19 242r20 247r15 251r53
. 254r26 254r27 347r40 356r32 356r33 409r19 417r52 420r71 421m22 486r19 490r61
. 493r22 493r23 848r22 853r64 856r30 856r31 890r43 897r37 897r38 950r22 960r55
. 964r46 964r47 995r41 1044r18 1044r19 1062m19 1352r49 1369r40 1457r61 1462r43
. 1516r61 1521r47 1556r19 1560r61 1574r30 1574r31 1860r19 1870r52 1873r49
351U14 Write 352^7 353>7 4|2043b14 2049l8 2049t13
352p7 Stream(15|39R9) 4|2044b7
353r7 Item{59R9} 4|2045b7
357U14 Read 358^7 359<7 4|1625b14 1631l8 1631t12
358p7 Stream(15|39R9) 4|1626b7
359r7 Item{59R9} 4|1627b7
363R9 Reference_Control_Type<13|48R9> 366e17 368P25 368r50 371P25 371r52
. 377r20 4|268r39 562r41 13|51P14
365p10 Container{343P9} 4|270r18 272r46 564r18 566r46 574m18
368U25 Adjust<13|52p14> 368=33 4|268b14 280l8 280t14
368r33 Control{363R9} 4|268b22 270r10 272r38
371U25 Finalize<13|53p14> 371=35 4|562b14 576l8 576t16
371r35 Control{363R9} 4|562b24 564r10 566r38 574m10
377r10 Control{363R9} 4|357m13 726m16
380U14 Write 381^7 382>7 4|2051b14 2057l8 2057t13
381p7 Stream(15|39R9) 4|2052b7
382r7 Item{94R9} 4|2053b7
386U14 Read 387^7 388<7 4|1633b14 1639l8 1639t12
387p7 Stream(15|39R9) 4|1634b7
388r7 Item{94R9} 4|1635b7
402R9 Iterator<13|55R9><14|32R9[68]> 407e14 409P25 409r51 411P24 411r40 412P24
. 412r40 414P24 415r18 418P24 419r18 4|551r40 600r29 1319r28 1320r9 1366r28
. 1367r9 1383r28 1474r28 1533r32 13|58P14 21|42p14
405p7 Container{343P9} 4|553r17 555r40 616r23 616r24 618r32 1321m21 1368m21
. 1399r23 1399r24 1401r32 1480r39 1539r39
406p7 Node{305P9} 4|615r17 618r50 1322m21 1369m21 1398r17 1401r50
409U25 Finalize<13|59p14> 409=35 4|551b14 560l8 560t16
409r35 Object{402R9} 4|551b24 553r10 555r33
411V24 First{59R9}<14|26p13> 411>31 4|600b13 620l8 620t13
411r31 Object{402R9} 4|600b20 615r10 616r17 618r25 618r43
412V24 Last{59R9}<14|34p13> 412>31 4|1383b13 1403l8 1403t12
412r31 Object{402R9} 4|1383b19 1398r10 1399r17 1401r25 1401r43
414V24 Next{59R9}<14|28p13> 415>7 416>7 4|1474b13 1486l8 1486t12
415r7 Object{402R9} 4|1474b19 1480r32
416r7 Position{59R9} 4|1474b38 1476r10 1480r10 1485r20
418V24 Previous{59R9}<14|36p13> 419>7 420>7 4|1533b13 1545l8 1545t16
419r7 Object{402R9} 4|1533b23 1539r32
420r7 Position{59R9} 4|1533b42 1535r10 1539r10 1544r24
X 4 a-coorse.adb
52V13 Color{5|35E9} 52>20 53r19 323b13 326l8 326t13 8|45i19
52p20 Node{3|305P9} 323b20 325r14
55V13 Left{3|305P9} 55>19 56r19 1422b13 1425l8 1425t12 8|41i19
55p19 Node{3|305P9} 1422b19 1424r14
58V13 Parent{3|305P9} 58>21 59r19 1501b13 1504l8 1504t14 8|39i19
58p21 Node{3|305P9} 1501b21 1503r14
61V13 Right{3|305P9} 61>20 62r19 1922b13 1925l8 1925t13 8|43i19
61p20 Node{3|305P9} 1922b20 1924r14
64U14 Set_Color 64>25 64>45 65r19 1931b14 1934l8 1934t17 8|46i19
64p25 Node{3|305P9} 1931b25 1933r7
64e45 Color{5|35E9} 1931b45 1933r21
67U14 Set_Left 67>24 67>44 68r19 1940b14 1943l8 1943t16 8|42i19
67p24 Node{3|305P9} 1940b24 1942r7
67p44 Left{3|305P9} 1940b44 1942r20
70U14 Set_Right 70>25 70>45 71r19 1958b14 1961l8 1961t17 8|44i19
70p25 Node{3|305P9} 1958b25 1960r7
70p45 Right{3|305P9} 1958b45 1960r21
73U14 Set_Parent 73>26 73>46 74r19 1949b14 1952l8 1952t18 8|40i19
73p26 Node{3|305P9} 1949b26 1951r7
73p46 Parent{3|305P9} 1949b46 1951r22
80V13 Copy_Node{3|305P9} 80>24 81r19 129r46 392b13 401l8 401t17
80p24 Source{3|305P9} 392b24 397r35 398r35
83U14 Free 83=20 126r48 150r28 421s7 434s7 447s10 461s10 543s10 650b14 660l8
. 660t12 756s10 792s13 998s13 1615s13
83p20 X{3|305P9} 650b20 654r10 655r10 655r22 656r10 656r22 657r10 657r22
. 658m22
85U14 Insert_Sans_Hint 86=7 87>7 88<7 89<7 1059s7 1090b14 1126l8 1126t24
. 1989s7
86r7 Tree{5|41R12[3|315]} 1091b7 1122m10
87*7 New_Item{3|41+9} 1092b7 1115r43 1123r10
88p7 Node{3|305P9} 1093b7 1124m10
89b7 Inserted{boolean} 1094b7 1125m10
91U14 Insert_With_Hint 92=7 93>7 94>7 95<7 146r28 1132b14 1179l8 1179t24
92r7 Dst_Tree{5|41R12[3|315]} 1133b7 1174m10
93p7 Dst_Hint{3|305P9} 1134b7 1175r10
94p7 Src_Node{3|305P9} 1135b7 1165r38 1176r10
95p7 Dst_Node{3|305P9} 1136b7 1177m10
97V13 Is_Equal_Node_Node{boolean} 97>33 97>36 98r19 134r41 1210b13 1213l8
. 1213t26
97p33 L{3|305P9} 1210b33 1212r14
97p36 R{3|305P9} 1210b36 1212r26
100V13 Is_Greater_Element_Node{boolean} 101>7 102>7 103r19 141r31 1219b13
. 1227l8 1227t31
101*7 Left{3|41+9} 1220b7 1226r30
102p7 Right{3|305P9} 1221b7 1226r14
105V13 Is_Less_Element_Node{boolean} 106>7 107>7 108r19 140r31 1233b13 1239l8
. 1239t28
106*7 Left{3|41+9} 1234b7 1238r14
107p7 Right{3|305P9} 1235b7 1238r21
110V13 Is_Less_Node_Node{boolean} 110>32 110>35 111r19 149r28 1245b13 1248l8
. 1248t25
110p32 L{3|305P9} 1245b32 1247r14
110p35 R{3|305P9} 1245b35 1247r26
113U14 Replace_Element 114=7 115>7 116>7 935s10 1667b14 1852l8 1852t23 1873s7
114r7 Tree{5|41R12[3|315]} 1668b7 1710m27 1710r27 1711m27 1711r27 1753r13
. 1771r37 1824r16 1841m46 1844m22
115p7 Node{3|305P9} 1669b7 1672r22 1694r10 1695r10 1696r10 1697r10 1698r10
. 1699r17 1734r32 1735r28 1758r10 1823r20 1829r13 1841r52 1851r31
116*7 Item{3|41+9} 1670b7 1694r26 1734r25 1735r43 1758r26 1771r43 1778r24
. 1829r29 1846r22
122K12 Tree_Operations[8|48] 126r11 129r11 131r8 134r10 138r31 145r28 261r28
. 312r27 420r7 433r7 446r10 460r10 514r14 542r10 688r35 997r13 1271r13 1440r26
. 1462r12 1521r12 1600r14 1841r7 1888r14 2023r14
125U14 Delete_Tree[8|89] 129r57 148r28 312r58
128V13 Copy_Tree[8|95]{3|305P9} 147r28 261r60
133V13 Is_Equal[8|76]{boolean} 205s14
136K12 Element_Keys[6|50] 302r9 426r26 538r26 583r38 640r38 1100r13 1103r13
. 1145r13 1148r13 1151r13 1647r9 1678r14 1681r14 1684r14 1771r15
143K12 Set_Ops[10|55] 471r7 475r36 1187r7 1192r9 1256r14 1494r14 1969r7 1974r9
. 1999r7 2004r9
261U14 Adjust[8|103] 265s7
272r13 Tree{5|41R12[3|315]} 273r33 274r33
273i13 B{natural} 276r13 276r18
274i13 L{natural} 277r13 277r18
301p7 Node{3|305P9} 304r18 305r59
312U14 Clear[8|111] 316s7 1440r56 1600r44
351r10 Tree{5|41R12[3|315]} 352r30 353r30
352i10 B{natural} 359r13 359r18
353i10 L{natural} 360r13 360r18
355r17 R{3|94R9}
383r14 Target{3|52R9} 384m10 384r10
393p7 Target{3|305P9} 400r14
426p7 X{3|305P9} 429r10 433r62 434m13 434r13
442r7 Tree{5|41R12[3|315]} 443r29 446r49
443p7 X{3|305P9} 445r10 446r55 447m16 447r16
456r7 Tree{5|41R12[3|315]} 457r29 460r49
457p7 X{3|305P9} 459r10 460r55 461m16 461r16
475r7 Tree{5|41R12[3|315]} 477r35
510V16 Is_Equivalent_Node_Node{boolean} 510>41 510>44 511r22 514r45 520b16
. 525l11 525t34
510p41 L{3|305P9} 520b41 522r21 523r36
510p44 R{3|305P9} 520b44 522r33 523r24
513V16 Is_Equivalent[8|76]{boolean} 530s14
538p7 X{3|305P9} 541r10 542r65 543m16 543r16
555i13 B{natural} 557r13 557r18
566r13 Tree{5|41R12[3|315]} 567r33 568r33
567i13 B{natural} 570r13 570r18
568i13 L{natural} 571r13 571r18
583p7 Node{3|305P9} 585r18 586r59
640p7 Node{3|305P9} 642r18 643r59
651U17 Deallocate[18|20] 658s10
672V16 Is_Greater_Key_Node{boolean} 673>10 674>10 675r22 691r35 822b16 828l11
. 828t30
673*10 Left{3|227+12} 823b10 827r39
674p10 Right{3|305P9} 824b10 827r22
677V16 Is_Less_Key_Node{boolean} 678>10 679>10 680r22 690r35 834b16 840l11
. 840t27
678*10 Left{3|227+12} 835b10 839r17
679p10 Right{3|305P9} 836b10 839r29
686K15 Key_Keys[6|50] 698r41 712r41 748r29 764r41 788r29 801r41 812r41 904r41
. 927r41
698p10 Node{3|305P9} 700r21 701r62
712p10 Node{3|305P9} 715r13 725r27
720r13 Tree{5|41R12[3|315]} 721r33 722r33
721i13 B{natural} 728r16 728r21
722i13 L{natural} 729r16 729r21
724r20 R{3|94R9}
748p10 X{3|305P9} 751r13 755r49 756m16 756r16
764p10 Node{3|305P9} 767r13 771r17
788p10 X{3|305P9} 790r13 791r52 792m19 792r19
801p10 Node{3|305P9} 803r21 804r62
812p10 Node{3|305P9} 814r21 815r62
904p10 Node{3|305P9} 907r13 915r29
927p10 Node{3|305P9} 930r13 935r43
945*49 Element{3|41+9}
947r10 Tree{5|41R12[3|315]} 967r33 968r33 997r52
964*13 E{3|41+9} 965r43 977r25 978r47
965*13 K{3|227+12} 978r39
967i13 B{natural} 973r13 973r18 982r19 982r24 987r13 987r18
968i13 L{natural} 974r13 974r18 981r19 981r24 986r13 986r18
970b13 Eq{boolean} 978m16 989r16
995p13 X{3|305P9} 997r58 998m19 998r19
1032r7 Position{3|59R9} 1036m36 1044r10
1033b7 Inserted{boolean} 1036m46 1038r14
1072r7 Position{3|59R9} 1073r28 1078m36
1075b7 Inserted{boolean} 1078m46 1080r14
1096V16 New_Node{3|305P9} 1097r22 1100r47 1109b16 1116l11 1116t19
1099U17 Insert_Post[6|55] 1103r54
1102U17 Conditional_Insert_Sans_Hint[6|74] 1121s7
1138b7 Success{boolean} 1139r28 1178m10
1141V16 New_Node{3|305P9} 1142r22 1145r47 1159b16 1168l11 1168t19
1144U17 Insert_Post[6|55] 1148r54 1152r12
1147U17 Insert_Sans_Hint[6|74] 1153r12
1150U17 Local_Insert_With_Hint[6|145] 1173s7
1160p10 Node{3|305P9} 1167r17
1191r7 Tree{5|41R12[3|315]} 1194r35
1265r46 Position{3|59R9}
1267U17 Process_Node 1267>31 1268r22 1271r48 1277b17 1280l11 1280t23
1267p31 Node{3|305P9} 1277b31 1279r58
1270U17 Local_Iterate[8|125] 1291s10
1282r7 T{5|41R12[3|315]} 1283r27 1291r25
1283i7 B{natural} 1288r7 1288r12 1294r13 1294r18 1298r7 1298r12
1304i7 B{natural} 1317r7 1317r12
1319r14 It{3|402R9}
1328i7 B{natural} 1364r7 1364r12
1366r14 It{3|402R9}
1440U14 Move[8|117] 1444s7
1461p10 Node{3|305P9} 1464r21 1465r51
1520p10 Node{3|305P9} 1523r21 1524r51
1553*45 Element{3|41+9}
1564r10 T{5|41R12[3|315]} 1566r30 1567r30
1566i10 B{natural} 1570r10 1570r15 1578r16 1578r21 1583r10 1583r15
1567i10 L{natural} 1571r10 1571r15 1577r16 1577r21 1582r10 1582r15
1595V16 Read_Node{3|305P9} 1596^10 1597r22 1600r51 1606b16 1617l11 1617t20
1596p10 Stream(15|39R9) 1607b10 1611r29
1599U17 Read[8|150] 1622s7
1609p10 Node{3|305P9} 1611r37 1612r17 1615m19 1615r19
1646p7 Node{3|305P9} 1650r10 1660r7
1674V16 New_Node{3|305P9} 1675r22 1678r48 1692b16 1700l11 1700t19
1677U17 Local_Insert_Post[6|55] 1681r55 1685r10
1680U17 Local_Insert_Sans_Hint[6|74] 1686r10
1683U17 Local_Insert_With_Hint[6|145] 1843s7
1702p7 Hint{3|305P9} 1771m7 1773r10 1778r31 1823r13 1845r22
1703p7 Result{3|305P9} 1847m22 1847r22 1851r22
1704b7 Inserted{boolean} 1848m22 1850r22
1705b7 Compare{boolean} 1734m10 1749r10 1778m13 1793r17
1710i7 B{natural} 1731r10 1731r15 1739r10 1739r15 1744r13 1744r18 1775r13
. 1775r18 1781r13 1781r18 1786r16 1786r21
1711i7 L{natural} 1732r10 1732r15 1738r10 1738r15 1743r13 1743r18 1776r13
. 1776r18 1780r13 1780r18 1785r16 1785r21
1882r46 Position{3|59R9}
1884U17 Process_Node 1884>31 1885r22 1888r57 1894b17 1897l11 1897t23
1884p31 Node{3|305P9} 1894b31 1896r58
1887U17 Local_Reverse_Iterate[8|131] 1908s10
1899r7 T{5|41R12[3|315]} 1900r27 1908r33
1900i7 B{natural} 1905r7 1905r12 1911r13 1911r18 1915r7 1915r12
1973r7 Tree{5|41R12[3|315]} 1976r35
1984r7 Tree{5|41R12[3|315]} 1989m25 1989r25 1990r35
1985p7 Node{3|305P9} 1987r28 1989m41 1989r41
1986b7 Inserted{boolean} 1987r34 1989m47
2003r7 Tree{5|41R12[3|315]} 2006r35
2017U17 Write_Node 2018^10 2019>10 2020r22 2023r45 2029b17 2035l11 2035t21
2018p10 Stream(15|39R9) 2030b10 2034r30
2019p10 Node{3|305P9} 2031b10 2034r38
2022U17 Write[8|139] 2040s7
X 5 a-crbltr.ads
32K24*Red_Black_Trees 3|36w29 311r17 311r47 316r10 326r8 4|32r21 35r21 38r21
. 123r10 137r10 687r13 1114r43 5|75e35
35E9*Color_Type 3|311r33 4|52r47 64r53 323r47 1931r53 5|35e35
35n24*Red{35E9} 3|311r63 4|1114r59 1164r38 1695r26
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|86r25[3|315] 92r25[3|315] 114r21[3|315] 272r20[3|315]
. 351r17[3|315] 442r14[3|315] 456r14[3|315] 475r23[3|315] 566r20[3|315] 720r20[3|315]
. 947r17[3|315] 1091r25[3|315] 1133r25[3|315] 1191r23[3|315] 1282r11[3|315]
. 1564r14[3|315] 1668r21[3|315] 1899r11[3|315] 1973r23[3|315] 1984r18[3|315]
. 2003r23[3|315]
42p10 First{3|305P9} 3|393m44[315] 4|443r34[3|315] 596r28[3|315] 597r69[3|315]
. 628r25[3|315] 632r28[3|315] 632r29[3|315]
43p10 Last{3|305P9} 3|394m44[315] 4|457r34[3|315] 1379r28[3|315] 1380r69[3|315]
. 1411r25[3|315] 1414r31[3|315] 1414r32[3|315]
44p10 Root{3|305P9} 3|395m44[315]
45i10 Length{2|20I9} 3|396m44[315] 4|1203r29[3|315] 1433r29[3|315]
46i10 Busy{natural} 3|397m44[315] 4|273m38[3|315] 352m35[3|315] 555m59[3|315]
. 567m38[3|315] 721m38[3|315] 967m38[3|315] 1283m29[3|315] 1304m66[3|315]
. 1328m67[3|315] 1566m32[3|315] 1710m32[3|315] 1900m29[3|315]
47i10 Lock{natural} 3|398m44[315] 4|274m38[3|315] 353m35[3|315] 568m38[3|315]
. 722m38[3|315] 968m38[3|315] 1039r28[3|315] 1567m32[3|315] 1655r25[3|315]
. 1711m32[3|315] 1753r18[3|315] 1824r21[3|315]
X 6 a-crbtgk.ads
36K17 Tree_Operations 4|138r8 688r12
40+9 Key_Type 4|139r8 689r12
42V18 Is_Less_Key_Node{boolean} 4|140r8 690r12
46V18 Is_Greater_Key_Node{boolean} 4|141r8 691r12
50k40*Generic_Keys 4|35w37 137r26 687r29 6|192e48
55u14 Generic_Insert_Post 4|1100r26[136] 1145r26[136] 1678r27[136]
74u14 Generic_Conditional_Insert 4|1103r26[136] 1148r26[136] 1681r27[136]
145u14 Generic_Conditional_Insert_With_Hint 4|1151r26[136] 1684r27[136]
146r7 Tree{5|41R12[3|315]} 4|1844r10[1683]
147p7 Position{3|305P9} 4|1845r10[1683]
148*7 Key{3|41+9} 4|1846r10[1683]
149p7 Node{3|305P9} 4|1847r10[1683]
150b7 Inserted{boolean} 4|1848r10[1683]
156V13 Find{3|305P9} 4|426s39[136] 538s39[136] 583s51[136] 712s50[686] 748s38[686]
. 764s50[686] 788s38[686] 801s50[686] 904s50[686] 927s50[686] 1647s22[136]
161V13 Ceiling{3|305P9} 4|302s22[136] 698s50[686] 1771s28[136]
166V13 Floor{3|305P9} 4|640s51[136] 812s50[686]
X 8 a-crbtgo.ads
48k40*Generic_Operations 4|32w37 123r26 8|163e54
64V13 Vet{boolean} 4|166s22[122] 169s22[122] 181s22[122] 193s22[122] 222s22[122]
. 225s22[122] 239s22[122] 251s22[122] 347s10[122] 417s22[122] 490s22[122]
. 853s25[122] 890s13[122] 960s25[122] 1352s22[122] 1457s22[122] 1516s22[122]
. 1560s22[122] 1870s22[122]
68V13 Next{3|305P9} 4|1462s28[122]
71V13 Previous{3|305P9} 4|1521s28[122]
76v13 Generic_Equal 4|134r26[122] 514r30[122]
81U14 Delete_Node_Sans_Free 4|420s23[122] 433s23[122] 446s26[122] 460s26[122]
. 542s26[122] 755s10[122] 791s13[122] 997s29[122] 1841s23[122]
89u14 Generic_Delete_Tree 4|126r27[122]
95v13 Generic_Copy_Tree 4|129r27[122]
103u14 Generic_Adjust 4|261r44[122]
111u14 Generic_Clear 4|312r43[122]
117u14 Generic_Move 4|1440r42[122]
117r28 Target{5|41R12[3|315]} 4|1444r13[1440]
117r36 Source{5|41R12[3|315]} 4|1444r36[1440]
125u14 Generic_Iteration 4|1271r29[122]
131u14 Generic_Reverse_Iteration 4|1888r30[122]
139u14 Generic_Write 4|2023r30[122]
150u14 Generic_Read 4|1600r30[122]
X 10 a-rbtgso.ads
36K17 Tree_Operations 4|145r8
40U19 Insert_With_Hint 4|146r8
46V18 Copy_Tree{5|39P12[8|36[10|36]]} 4|147r8
49U19 Delete_Tree 4|148r8
51V18 Is_Less{boolean} 4|149r8
53U19 Free 4|150r8
55k40*Generic_Set_Operations 4|38w37 144r10 10|106e58
58U14 Union 4|1999s15[143]
66V13 Union{5|41R12[3|315]} 4|2004s17[143]
70U14 Intersection 4|1187s15[143]
74V13 Intersection{5|41R12[3|315]} 4|1192s17[143]
78U14 Difference 4|471s15[143]
82V13 Difference{5|41R12[3|315]} 4|475s44[143]
86U14 Symmetric_Difference 4|1969s15[143]
93V13 Symmetric_Difference{5|41R12[3|315]} 4|1974s17[143]
98V13 Is_Subset{boolean} 4|1256s22[143]
98r24 Subset{5|41R12[3|315]} 4|1256r33[143]
98r44 Of_Set{5|41R12[3|315]} 4|1256r56[143]
102V13 Overlap{boolean} 4|1494s22[143]
X 13 a-finali.ads
40K13*Finalization 3|37w18 318r24 328r12 13|73e21
48H9*Controlled<21|40R9> 3|318r37 364r11 393r19 4|357r25 477r19 726r28 1194r19
. 1976r19 1990r19 2006r19 13|64e72
51U14*Initialize<21|44p14>
55H9*Limited_Controlled<21|40R9> 3|402r25 4|1320r19 1367r19 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] 403r30[68] 4|1302r37[3|68]
. 1326r37[3|68]
X 15 a-stream.ads
36K13*Streams 3|38w18 284r15 329r12 15|84e16
39H9*Root_Stream_Type 3|287r35 293r35 332r35 338r35 352r32 358r32 381r32
. 387r32 4|864r35 1009r35 1592r35 1596r35 1607r35 1626r32 1634r32 2014r35
. 2018r35 2030r35 2044r32 2052r32 15|67e64
X 18 a-uncdea.ads
20u15*Unchecked_Deallocation 4|30w10 652r18
X 19 system.ads
42K9*System 4|41w6 41r23 19|160e11
69M9*Address 4|41r30
86V14*"="{boolean} 4|288r25
X 21 s-finroo.ads
42U14*Adjust