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_DISPATCH
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_FINALIZATION
RV NO_NESTED_FINALIZATION
RV NO_RECURSION
RV NO_STANDARD_STORAGE_POOLS
RV NO_STREAMS
RV NO_UNCHECKED_ACCESS
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_IMPLICIT_ALIASING
RV SPARK

U ada.containers.bounded_ordered_sets%b  a-cborse.adb  c61a11dc 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_bounded_keys%s
W ada.containers.red_black_trees.generic_bounded_operations%s
W ada.containers.red_black_trees.generic_bounded_set_operations%s
W ada.finalization%s	a-finali.adb		a-finali.ali
Z ada.streams%s		a-stream.ads		a-stream.ali
W system%s		system.ads		system.ali

U ada.containers.bounded_ordered_sets%s  a-cborse.ads  bc875b9b BN NE OL PU 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.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-cborse.ads		20121213103024 35178cc9
D a-cborse.adb		20121213103024 22cdfd0f
D a-crbltr.ads		20121213103024 b8a2dc05
D a-rbtgbk.ads		20121213103024 39d9d137
D a-rbtgbk.adb		20121213103024 daf0f197
D a-rbtgbo.ads		20121213103024 79c91cd1
D a-rbtgbo.adb		20121213103024 1ca6967a
D a-btgbso.ads		20121213103029 5318e0f6
D a-btgbso.adb		20121213103024 56788f41
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 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 45r9 68r6 282r11 318r8 377r5 4|30r6 34r6
. 37r6 41r6 41r28 45r14 1979r5
X 2 a-contai.ads
16K13*Containers 1|16k9 2|24e19 3|36r18 45r13 377r9 4|30r10 34r10 37r10 45r18
. 1979r9
20I9*Count_Type<integer> 3|51r25 76r45 105r44 304r17 305r17 306r17 314r25
. 343r19 4|51r19 77r44 80r46 83r45 91r56 94r58 97r60 107r23 112r18 114r22
. 131r19 295r47 304r47 310r35 331r35 332r22 347r24 380r23 450r44 451r11 491r20
. 507r20 520r20 596r20 624r23 680r23 722r26 737r26 765r23 781r26 805r23 818r26
. 829r26 925r26 948r26 1105r23 1111r32 1127r32 1128r19 1159r18 1161r22 1169r32
. 1190r32 1191r19 1286r38 1296r38 1442r44 1451r45 1489r26 1531r46 1550r26
. 1669r23 1691r19 1696r32 1717r32 1727r19 1728r19 1813r38 1823r38 1851r45
. 1872r56 1881r60 1890r58 1910r18
22X4*Capacity_Error 4|367r16 459r16
X 3 a-cborse.ads
40+9 Element_Type 42r37 43r37 49r48 54r30 74r32 82r48 87r19 91r55 94r43 111r19
. 117r19 121r19 125r19 129r19 133r19 173r52 177r51 187r43 189r44 191r46 193r47
. 199r41 201r41 203r25 205r25 227r36 237r65 242r22 260r52 262r54 280r37 308r25
. 359r43 4|106r19 117r15 122r15 132r19 146r33 186r41 198r25 266r25 278r41
. 379r46 440r19 490r53 542r48 558r48 595r54 623r43 666r52 679r44 780r65 946r22
. 966r66 984r17 1043r58 1066r19 1082r19 1104r19 1241r15 1255r15 1429r51 1583r55
. 1639r10 1668r58 1692r19 1786r19 1909r32 1954r10
42V19 "<"{boolean} 42>23 42>29 4|182s40 195s55 207s19 262s41 275s57 287s20
. 560s23 560s45 580s31 581s34 1247s28 1259s19 1268s24 1734s15 1735s30 1754s18
. 1766s51
42*23 Left{40+9}
42*29 Right{40+9}
43V19 "="{boolean} 43>23 43>29 4|227s27
43*23 Left{40+9}
43*29 Right{40+9}
45k24*Bounded_Ordered_Sets 2|16k13 3|40z9 42z19 43z19 377l20 377e40 4|45b29
. 656r17 1419r17 1979l20 1979t40
49V13*Equivalent_Elements{boolean} 49>34 49>40 4|558b13 561l8 561t27
49*34 Left{40+9} 4|558b34 560r18 560r47
49*40 Right{40+9} 4|558b40 560r25 560r39
51R9*Set 51d14 56r41 61r25 70p14 70r32 72p13 72r44 74p13 74r53 76p13 76r33
. 78p13 78r35 80p14 80r40 84p14 85r26 99p13 100r27 103p14 103r38 103r52 105p13
. 105r28 105r68 107p14 107r36 107r57 109p14 110r26 115p14 116r26 119p14 120r26
. 123p14 124r26 127p14 128r26 131p14 132r26 135p14 136r26 139p14 139r47 141p14
. 141r46 143p14 143r37 143r51 145p13 145r34 145r46 147r33 147r45 149p14 149r44
. 149r58 151p13 151r41 151r53 153r34 153r46 155p14 155r42 155r56 157p13 157r39
. 157r51 159r32 159r44 161p14 161r52 161r66 163p13 163r49 163r61 165r34 165r46
. 167p13 167r36 169p13 169r33 169r47 171p13 171r32 173p13 173r40 175p13 175r31
. 177p13 177r39 187p13 187r31 189p13 189r32 191p13 191r34 193p13 193r35 207p14
. 208r19 211p14 212r19 215p13 216r19 219p13 220r19 237r37 240r29 244r45 246r44
. 248r34 250r35 252r37 254r38 257r29 267r37 271r30 275r37 314c9 315e58 320p14
. 322r19 324r8 326p14 328r23 330r8 332r34 373r25 373r32 4|105r26 111r25 130r26
. 153r30 214r32 294r38 294r52 379r34 391r40 410r27 439r19 450r28 450r68 462r23
. 471r41 490r41 506r47 519r46 532r42 532r56 535r39 535r51 567r44 595r42 623r31
. 634r32 666r40 679r32 721r37 734r30 755r38 764r44 780r37 804r45 817r34 828r35
. 893r37 922r37 944r29 964r29 1043r42 1065r26 1081r26 1103r26 1158r25 1221r44
. 1221r58 1224r41 1224r53 1231r35 1275r33 1275r47 1283r19 1301r11 1320r34
. 1345r34 1397r31 1429r39 1451r33 1460r36 1460r57 1524r36 1594r14 1622r23
. 1668r42 1690r26 1784r26 1810r19 1828r11 1899r52 1899r66 1902r49 1902r61
. 1909r53 1913r18 1923r37 1923r51 1926r34 1926r46 1935r19
51i14 Capacity{2|20I9} 314r14 315r32 373m52 4|366r17
58R9*Cursor 59r41 63r26 65r37 68r31 82r33 86r19 90r18 101r19 112r23 137r26
. 171r44 175r43 179r30 179r45 181r38 183r34 183r49 185r42 187r64 189r65 191r67
. 195r32 197r32 199r25 201r25 203r47 205r47 209r57 213r57 221r19 235r32 248r62
. 250r63 252r65 258r22 268r22 341c9 344e14 348r16 350r8 354r20 356r8 375r26
. 375r36 4|56r57 57r57 61r18 61r33 65r18 65r33 162r32 186r25 198r47 240r32
. 266r47 278r25 379r67 384r20 411r19 471r64 542r33 623r64 627r20 634r44 637r20
. 640r46 658r17 679r65 683r20 721r65 726r23 817r62 821r23 828r63 832r23 863r32
. 894r22 965r22 1034r37 1044r18 1067r23 1084r18 1284r57 1298r19 1345r47 1397r43
. 1400r20 1403r45 1421r17 1479r30 1479r45 1497r17 1501r38 1506r49 1506r64
. 1540r34 1540r49 1554r23 1558r42 1563r53 1563r68 1582r18 1650r20 1785r19
. 1811r57 1825r19 1965r16
61r4*Empty_Set{51R9} 373c4
63r4*No_Element{58R9} 375c4 4|383r32 443r40 487r19 626r32 636r43 682r32 725r35
. 757r42 820r35 831r35 1036r26 1362r18 1399r42 1481r21 1482r17 1494r20 1509r17
. 1542r21 1543r17 1553r35 1566r17
65V13*Has_Element{boolean} 65>26 68r39 4|1034b13 1037l8 1037t19
65r26 Position{58R9} 4|1034b26 1036r14
67K12*Set_Iterator_Interfaces[14|21] 217r14 222r14 4|48r6 1321r13 1346r13
70V14*"="{boolean} 70>18 70>24 4|214b14 234l9 234t11
70r18 Left{51R9} 4|214b18 233r24
70r24 Right{51R9} 4|214b24 233r30
72V13*Equivalent_Sets{boolean} 72>30 72>36 4|567b13 589l8 589t23
72r30 Left{51R9} 4|567b30 588r29
72r36 Right{51R9} 4|567b36 588r35
74V13*To_Set{51R9} 74>21 4|1909b13 1917l8 1917t14
74*21 New_Item{40+9} 4|1909b21 1914r31
76V13*Length{2|20I9} 76>21 4|1451b13 1454l8 1454t14
76r21 Container{51R9} 4|1451b21 1453r14
78V13*Is_Empty{boolean} 78>23 4|1231b13 1234l8 1234t16
78r23 Container{51R9} 4|1231b23 1233r14
80U14*Clear 80=21 4|371s14 391b14 394l8 394t13 1472s14
80r21 Container{51R9} 4|391b21 393m35
82V13*Element{40+9} 82>22 4|542b13 552l8 552t15
82r22 Position{58R9} 4|542b22 544r10 548r27 548r51 551r14 551r40
84U14*Replace_Element 85=7 86>7 87>7 4|1783b14 1803l8 1803t23
85r7 Container{51R9} 4|1784b7 1794m32 1794r32 1799r27 1802m24
86r7 Position{58R9} 4|1785b7 1789r10 1794r10 1799r38 1802r35
87*7 New_Item{40+9} 4|1786b7 1802r50
89U14*Query_Element 90>7 91^7 4|1581b14 1614l8 1614t21
90r7 Position{58R9} 4|1582b7 1586r10 1590r27 1590r51 1594r26 1603r31
91p7 Process 4|1583b7 1603r13
91*45 Element{40+9}
93R9*Constant_Reference_Type 94d8 101r34 272r39 358c9 363r20 365r8 369r16
. 371r8 4|411r34 735r39 1658r20 1973r16
99V13*Constant_Reference{93R9} 52r30 100>7 101>7 4|409b13 432l8 432t26
100r7 Container{51R9} 4|410b7 418r32 424r15 428r32
101r7 Position{58R9} 4|411b7 414r10 418r10 424r26 428r49
103U14*Assign 103=22 103>43 4|154r30 294b14 373l8 373t14 463s10 1471s14
103r22 Target{51R9} 4|294b22 334m23 353m22 362m10 362r10 366r10 371m7 371r7
. 463r18
103r43 Source{51R9} 4|294b43 305r33 362r27 366r28 372r24 463r36
105V13*Copy{51R9} 105>19 105>33 4|450b13 465l8 465t12
105r19 Source{51R9} 4|450b19 455r15 456r25 463r46
105i33 Capacity{2|20I9} 4|450b33 454r10 456r13 457r15
107U14*Move 107=20 107=41 4|1460b14 1473l8 1473t12
107r20 Target{51R9} 4|1460b20 1462m10 1462r10 1471m7 1471r7
107r41 Source{51R9} 4|1460b41 1462m27 1462r27 1466r10 1471r22 1472m7 1472r7
109U14*Insert 110=7 111>7 112<7 113<7 4|1048s7 1064b14 1078l8 1078t14 1090s7
110r7 Container{51R9} 4|1065b7 1072m10 1077m29 1077r29
111*7 New_Item{40+9} 4|1066b7 1073r10
112r7 Position{58R9} 4|1067b7 1074m10 1074r10 1077m7
113b7 Inserted{boolean} 4|1068b7 1075m10
115U14*Insert 116=7 117>7 4|1080b14 1096l8 1096t14
116r7 Container{51R9} 4|1081b7 1090m15
117*7 New_Item{40+9} 4|1082b7 1090r26
119U14*Include 120=7 121>7 4|1043b14 1058l8 1058t15
120r7 Container{51R9} 4|1043b23 1048m15 1051r13 1056m10
121*7 New_Item{40+9} 4|1043b47 1048r26 1056r53
123U14*Replace 124=7 125>7 4|1668b14 1683l8 1683t15
124r7 Container{51R9} 4|1668b23 1669r56 1677r10 1682m7
125*7 New_Item{40+9} 4|1668b47 1669r67 1682r41
127U14*Exclude 128=7 129>7 4|595b14 602l8 602t15
128r7 Container{51R9} 4|595b23 596r53 599m49 600m32
129*7 Item{40+9} 4|595b47 596r64
131U14*Delete 132=7 133>7 4|490b14 500l8 500t14
132r7 Container{51R9} 4|490b22 491r53 498m46 499m29
133*7 Item{40+9} 4|490b46 491r64
135U14*Delete 136=7 137=7 4|471b14 488l8 488t14
136r7 Container{51R9} 4|471b22 477m32 477r32 481r27 484m46 485m29
137r7 Position{58R9} 4|471b46 473r10 477r10 481r38 484r57 485r40 487m7
139U14*Delete_First 139=28 4|506b14 513l8 513t20
139r28 Container{51R9} 4|506b28 507r34 510m49 511m32
141U14*Delete_Last 141=27 4|519b14 526l8 526t19
141r27 Container{51R9} 4|519b27 520r34 523m49 524m32
143U14*Union 143=21 143>42 4|1923b14
143r21 Target{51R9} 4|1923b21
143r42 Source{51R9} 4|1923b42
145V13*Union{51R9} 145>20 145>26 147r57 4|1926b13
145r20 Left{51R9} 4|1926b20
145r26 Right{51R9} 4|1926b26
147V14*"or"=147:57{51R9}
147r19 Left{51R9}
147r25 Right{51R9}
149U14*Intersection 149=28 149>49 4|1221b14
149r28 Target{51R9} 4|1221b28
149r49 Source{51R9} 4|1221b49
151V13*Intersection{51R9} 151>27 151>33 153r58 4|1224b13
151r27 Left{51R9} 4|1224b27
151r33 Right{51R9} 4|1224b33
153V14*"and"=153:58{51R9}
153r20 Left{51R9}
153r26 Right{51R9}
155U14*Difference 155=26 155>47 4|532b14
155r26 Target{51R9} 4|532b26
155r47 Source{51R9} 4|532b47
157V13*Difference{51R9} 157>25 157>31 159r56 4|535b13
157r25 Left{51R9} 4|535b25
157r31 Right{51R9} 4|535b31
159V14*"-"=159:56{51R9}
159r18 Left{51R9}
159r24 Right{51R9}
161U14*Symmetric_Difference 161=36 161>57 4|1899b14
161r36 Target{51R9} 4|1899b36
161r57 Source{51R9} 4|1899b57
163V13*Symmetric_Difference{51R9} 163>35 163>41 165r58 4|1902b13
163r35 Left{51R9} 4|1902b35
163r41 Right{51R9} 4|1902b41
165V14*"xor"=165:58{51R9}
165r20 Left{51R9}
165r26 Right{51R9}
167V13*Overlap{boolean} 167>22 167>28 4|1524b13
167r22 Left{51R9} 4|1524b22
167r28 Right{51R9} 4|1524b28
169V13*Is_Subset{boolean} 169>24 169>38 4|1275b13
169r24 Subset{51R9} 4|1275b24
169r38 Of_Set{51R9} 4|1275b38
171V13*First{58R9} 171>20 4|634b13 638l8 638t13 656s38
171r20 Container{51R9} 4|634b20 636r18 637r28 637r59
173V13*First_Element{40+9} 173>28 4|666b13 673l8 673t21
173r28 Container{51R9} 4|666b28 668r10 672r14 672r31
175V13*Last{58R9} 175>19 4|1397b13 1401l8 1401t12 1419s38
175r19 Container{51R9} 4|1397b19 1399r18 1400r28 1400r59
177V13*Last_Element{40+9} 177>27 4|1429b13 1436l8 1436t20
177r27 Container{51R9} 4|1429b27 1431r10 1435r14 1435r31
179V13*Next{58R9} 179>19 4|1479b13 1499l8 1499t12 1503s19 1517s14
179r19 Position{58R9} 4|1479b19 1481r10 1485r27 1485r51 1490r34 1490r58 1497r25
181U14*Next 181=20 4|1501b14 1504l8 1504t12
181r20 Position{58R9} 4|1501b20 1503m7 1503r25
183V13*Previous{58R9} 183>23 4|1540b13 1556l8 1556t16 1560s19 1574s14
183r23 Position{58R9} 4|1540b23 1542r10 1546r27 1546r51 1551r38 1551r62 1554r31
185U14*Previous 185=24 4|1558b14 1561l8 1561t16
185r24 Position{58R9} 4|1558b24 1560m7 1560r29
187V13*Find{58R9} 187>19 187>36 4|443s14 623b13 628l8 628t12
187r19 Container{51R9} 4|623b19 624r56 627r28
187*36 Item{40+9} 4|623b36 624r67
189V13*Floor{58R9} 189>20 189>37 4|679b13 684l8 684t13
189r20 Container{51R9} 4|679b20 680r57 683r28
189*37 Item{40+9} 4|679b37 680r68
191V13*Ceiling{58R9} 191>22 191>39 4|379b13 385l8 385t15
191r22 Container{51R9} 4|379b22 381r31 384r28
191*39 Item{40+9} 4|379b39 381r42
193V13*Contains{boolean} 193>23 193>40 4|438b13 444l8 444t16
193r23 Container{51R9} 4|439b7 443r20
193*40 Item{40+9} 4|440b7 443r31
195V14*"<"{boolean} 195>18 195>24 4|162b14 184l9 184t11
195r18 Left{58R9} 4|162b18 164r10 172r27 172r47 179r34 182r21
195r24 Right{58R9} 4|162b24 168r10 175r27 175r48 180r34 182r46
197V14*">"{boolean} 197>18 197>24 4|240b14 264l9 264t11
197r18 Left{58R9} 4|240b18 242r10 250r27 250r47 259r34 262r47
197r24 Right{58R9} 4|240b24 246r10 253r27 253r48 260r34 262r21
199V14*"<"{boolean} 199>18 199>33 4|186b14 196l9 196t11
199r18 Left{58R9} 4|186b18 188r10 192r27 192r47 195r14 195r36
199*33 Right{40+9} 4|186b33 195r57
201V14*">"{boolean} 201>18 201>33 4|278b14 288l9 288t11
201r18 Left{58R9} 4|278b18 280r10 284r27 284r47 287r22 287r44
201*33 Right{40+9} 4|278b33 287r14
203V14*"<"{boolean} 203>18 203>39 4|198b14 208l9 208t11
203*18 Left{40+9} 4|198b18 207r14
203r39 Right{58R9} 4|198b39 200r10 204r27 204r48 207r21 207r44
205V14*">"{boolean} 205>18 205>39 4|266b14 276l9 276t11
205*18 Left{40+9} 4|266b18 275r59
205r39 Right{58R9} 4|266b39 268r10 272r27 272r48 275r14 275r37
207U14*Iterate 208>7 209^7 4|1282b14 1318l8 1318t15
208r7 Container{51R9} 4|1283b7 1298r27 1301r23
209p7 Process 4|1284b7 1298r10
209r46 Position{58R9}
211U14*Reverse_Iterate 212>7 213^7 4|1809b14 1845l8 1845t23
212r7 Container{51R9} 4|1810b7 1825r27 1828r23
213p7 Process 4|1811b7 1825r10
213r46 Position{58R9}
215V13*Iterate<14|32R9[67]> 216>7 4|1320b13 1343l8 1343t15
216r7 Container{51R9} 4|1320b22 1323r27 1338r34
219V13*Iterate<14|32R9[67]> 220>7 221>7 4|1345b13 1391l8 1391t15
220r7 Container{51R9} 4|1345b22 1348r28 1367r29 1372r27 1386r34
221r7 Start{58R9} 4|1345b39 1362r10 1367r10 1372r38 1387r34
225+12 Key_Type 227r57 229r40 233r47 235r47 237r48 241r22 244r56 246r55 248r45
. 250r46 252r48 254r49 272r22 276r22 4|697r18 702r18 713r35 721r48 735r22
. 755r49 764r55 780r48 795r47 804r56 817r45 828r46 840r18 852r18 863r47 923r22
. 945r22 985r26
227V21 Key{225+12} 227>26 4|844s17 856s24 873s17 985s38 1006s36
227*26 Element{40+9}
229V22 "<"{boolean} 229>26 229>32 4|797s26 797s48 844s37 856s22
229*26 Left{225+12}
229*32 Right{225+12}
231k12 Generic_Keys 225z12 227z21 229z22 296l8 296e20 4|690b17 1028l8 1028t20
233V16*Equivalent_Keys{boolean} 233>33 233>39 4|795b16 798l11 798t26 1006s16
233*33 Left{225+12} 4|795b33 797r21 797r50
233*39 Right{225+12} 4|795b39 797r28 797r42
235V16*Key{225+12} 235>21 4|863b16 874l11 874t14
235r21 Position{58R9} 4|863b21 865r13 870r30 870r54 873r22 873r48
237V16*Element{40+9} 237>25 237>42 4|780b16 789l11 789t18
237r25 Container{51R9} 4|780b25 781r55 788r17
237*42 Key{225+12} 4|780b42 781r66
239U17*Replace 240=10 241>10 242>10 4|943b17 957l11 957t18
240r10 Container{51R9} 4|944b10 948r55 956m27
241*10 Key{225+12} 4|945b10 948r66
242*10 New_Item{40+9} 4|946b10 956r44
244U17*Exclude 244=26 244>50 4|804b17 811l11 811t18
244r26 Container{51R9} 4|804b26 805r52 808m52 809m35
244*50 Key{225+12} 4|804b50 805r63
246U17*Delete 246=25 246>49 4|764b17 774l11 774t17
246r25 Container{51R9} 4|764b25 765r52 772m49 773m32
246*49 Key{225+12} 4|764b49 765r63
248V16*Find{58R9} 248>22 248>39 4|757s17 817b16 822l11 822t15
248r22 Container{51R9} 4|817b22 818r55 821r31
248*39 Key{225+12} 4|817b39 818r66
250V16*Floor{58R9} 250>23 250>40 4|828b16 833l11 833t16
250r23 Container{51R9} 4|828b23 829r56 832r31
250*40 Key{225+12} 4|828b40 829r67
252V16*Ceiling{58R9} 252>25 252>42 4|721b16 727l11 727t18
252r25 Container{51R9} 4|721b25 723r30 726r31
252*42 Key{225+12} 4|721b42 723r41
254V16*Contains{boolean} 254>26 254>43 4|755b16 758l11 758t19
254r26 Container{51R9} 4|755b26 757r23
254*43 Key{225+12} 4|755b43 757r34
256U17*Update_Element_Preserving_Key 257=10 258>10 259^10 4|963b17 1015l11
. 1015t40
257r10 Container{51R9} 4|964b10 974m35 974r35 979r30 983m35 983r35 987m33
. 987r33 988m33 988r33 1011m49 1012m32
258r10 Position{58R9} 4|965b10 969r13 974r13 979r41 983r52 1011r60 1012r43
259p10 Process 4|966b10 995r16
260*35 Element{40+9}
262R12*Reference_Type 262d28 268r37 276r39 279c12 286r23 288r11 292r19 294r11
. 4|882r23 894r37 923r39 1023r19
266V16*Reference_Preserving_Key{262R12} 267=10 268>10 4|892b16 919l11 919t35
267r10 Container{51R9} 4|893b10 901m35 901r35 907r18 915m35 915r35
268r10 Position{58R9} 4|894b10 897r13 901r13 907r29 915r52
270V16*Constant_Reference{93R9} 271>10 272>10 4|733b16 749l11 749t29
271r10 Container{51R9} 4|734b10 737r55 745r35
272*10 Key{225+12} 4|735b10 737r66
274V16*Reference_Preserving_Key{262R12} 275=10 276>10 4|921b16 937l11 937t35
275r10 Container{51R9} 4|922b10 925r55 933m35 933r35
276*10 Key{225+12} 4|923b10 925r66
284U17 Read 285^10 286<10 4|880b18 886l11 886t15
285p10 Stream(15|39R9) 4|881b10
286r10 Item{262R12} 4|882b10
290U17 Write 291^10 292>10 4|1021b17 1027l11 1027t16
291p10 Stream(15|39R9) 4|1022b10
292r10 Item{262R12} 4|1023b10
303R9 Node_Type 309e14 312r54 4|74r27 77r26 80r28 83r27 87r22 91r38 94r39
. 97r40 113r18 118r15 123r15 126r39 215r43 225r43 305r15 307r47 342r47 400r27
. 428r14 568r48 578r48 698r18 703r18 745r17 841r18 853r18 915r17 933r17 983r17
. 1108r44 1138r44 1160r18 1166r44 1201r44 1242r15 1256r15 1266r39 1442r26
. 1531r28 1624r45 1637r45 1711r15 1851r27 1861r22 1872r38 1881r40 1890r39
. 1939r19 1951r19
304i7 Parent{2|20I9} 4|1533r19 1721m15 1883m12
305i7 Left{2|20I9} 4|1444r19 1723m15 1874m12
306i7 Right{2|20I9} 4|1722m15 1853r19 1892m12
307e7 Color{5|35E9} 4|402r19 1720m15 1865m12
308*7 Element{40+9} 4|182r32 182r58 195r47 207r56 227r19 227r31 262r33 262r58
. 275r49 287r55 344m18 344r32 355r25 430m31 551r55 580r23 580r35 581r26 581r38
. 672r48 747m34 788r40 844r28 856r35 873r63 917m34 935m34 984m40 1056m42
. 1140m15 1203m15 1203r35 1212r19 1247r20 1259r27 1268r16 1268r28 1435r47
. 1603m46 1639r42 1682m30 1719m15 1734r22 1735r22 1745m15 1754r33 1761m18
. 1766r43 1954r43
311K12 Tree_Types[5|53] 315r10 317r8 4|139r55
320U14 Write 321^7 322>7 4|1933b14 1961l8 1961t13
321p7 Stream(15|39R9) 4|1934b7 1960r23
322r7 Container{51R9} 4|1935b7 1960r31
326U14 Read 327^7 328<7 4|1620b14 1646l8 1646t12
327p7 Stream(15|39R9) 4|1621b7 1639r29 1645r22
328r7 Container{51R9} 4|1622b7 1645m30
332P9 Set_Access(51R9) 333r8 342r19 4|50r19
342p7 Container{332P9} 4|172r32 175r33 179r38 179r39 180r39 180r40 192r32
. 195r18 195r19 204r33 207r26 207r27 250r32 253r33 259r38 259r39 260r39 260r40
. 272r33 275r19 275r20 284r32 287r26 287r27 414r19 418r19 477r19 548r36 551r22
. 551r23 870r39 873r30 873r31 897r22 901r22 974r22 1077m16 1367r16 1485r36
. 1490r43 1497r34 1508r19 1512r19 1546r36 1551r47 1554r40 1565r19 1569r19
. 1590r36 1594r35 1794r19
343i7 Node{2|20I9} 4|164r15 168r16 172r52 175r54 182r26 182r52 188r15 192r52
. 195r41 200r16 204r54 207r50 242r15 246r16 250r52 253r54 262r27 262r52 268r16
. 272r54 275r43 280r15 284r52 287r49 424r35 428r58 473r19 481r47 484r66 485r49
. 544r19 548r60 551r49 865r22 870r63 873r57 907r38 915r61 969r22 979r50 983r61
. 1011r69 1012r52 1056r36 1074m19 1372r44 1387r40 1485r60 1490r67 1546r60
. 1551r71 1586r19 1590r60 1603r40 1789r19 1799r47 1802r44
346U14 Write 347^7 348>7 4|1963b14 1969l8 1969t13
347p7 Stream(15|39R9) 4|1964b7
348r7 Item{58R9} 4|1965b7
352U14 Read 353^7 354<7 4|1648b14 1654l8 1654t12
353p7 Stream(15|39R9) 4|1649b7
354r7 Item{58R9} 4|1650b7
361U14 Read 362^7 363<7 4|1656b14 1662l8 1662t12
362p7 Stream(15|39R9) 4|1657b7
363r7 Item{93R9} 4|1658b7
367U14 Write 368^7 369>7 4|1971b14 1977l8 1977t13
368p7 Stream(15|39R9) 4|1972b7
369r7 Item{93R9} 4|1973b7
X 4 a-cborse.adb
47R9 Iterator<13|55R9><14|32R9[3|67]> 52e14 54P25 54r51 56P24 56r40 57P24
. 57r40 59P24 60r18 63P24 64r18 608r40 640r29 1336r28 1337r9 1384r28 1385r9
. 1403r28 1506r28 1563r32 13|58P14 20|42p14
50p7 Container{3|332P9} 610r17 612r40 656r52 658r32 1338m21 1386m21 1419r51
. 1421r32 1512r39 1569r39
51i7 Node{2|20I9} 655r17 658r50 1339m21 1387m21 1418r17 1421r50
54U25 Finalize<13|59p14> 54=35 608b14 617l8 617t16
54r35 Object{47R9} 608b24 610r10 612r33
56V24 First{3|58R9}<14|26p13> 56>31 640b13 660l8 660t13
56r31 Object{47R9} 640b20 655r10 656r45 658r25 658r43
57V24 Last{3|58R9}<14|34p13> 57>31 1403b13 1423l8 1423t12
57r31 Object{47R9} 1403b19 1418r10 1419r44 1421r25 1421r43
59V24 Next{3|58R9}<14|28p13> 60>7 61>7 1506b13 1518l8 1518t12
60r7 Object{47R9} 1506b19 1512r32
61r7 Position{3|58R9} 1506b38 1508r10 1512r10 1517r20
63V24 Previous{3|58R9}<14|36p13> 64>7 65>7 1563b13 1575l8 1575t16
64r7 Object{47R9} 1563b23 1569r32
65r7 Position{3|58R9} 1563b42 1565r10 1569r10 1574r24
74V13 Color{5|35E9} 74>20 75r19 400b13 403l8 403t13 8|57i19
74r20 Node{3|303R9} 400b20 402r14
77V13 Left{2|20I9} 77>19 78r19 1442b13 1445l8 1445t12 8|45i19
77r19 Node{3|303R9} 1442b19 1444r14
80V13 Parent{2|20I9} 80>21 81r19 1531b13 1534l8 1534t14 8|39i19
80r21 Node{3|303R9} 1531b21 1533r14
83V13 Right{2|20I9} 83>20 84r19 1851b13 1854l8 1854t13 8|51i19
83r20 Node{3|303R9} 1851b20 1853r14
86U14 Set_Color 87=7 88>7 89r19 1860b14 1866l8 1866t17 8|59i19
87r7 Node{3|303R9} 1861b7 1865m7
88e7 Color{5|35E9} 1862b7 1865r21
91U14 Set_Left 91=24 91>49 92r19 1872b14 1875l8 1875t16 8|47i19
91r24 Node{3|303R9} 1872b24 1874m7
91i49 Left{2|20I9} 1872b49 1874r20
94U14 Set_Right 94=25 94>50 95r19 1890b14 1893l8 1893t17 8|53i19
94r25 Node{3|303R9} 1890b25 1892m7
94i50 Right{2|20I9} 1890b50 1892r21
97U14 Set_Parent 97=26 97>51 98r19 1881b14 1884l8 1884t18 8|41i19
97r26 Node{3|303R9} 1881b26 1883m7
97i51 Parent{2|20I9} 1881b51 1883r22
104U14 Insert_Sans_Hint 105=7 106>7 107<7 108<7 1071s7 1102b14 1151l8 1151t24
. 1914s10
105r7 Container{3|51R9} 1103b7 1130m20 1147m10
106*7 New_Item{3|40+9} 1104b7 1140r26 1148r10
107i7 Node{2|20I9} 1105b7 1149m10
108b7 Inserted{boolean} 1106b7 1150m10
110U14 Insert_With_Hint 111=7 112>7 113>7 114<7 155r30 1157b14 1215l8 1215t24
111r7 Dst_Set{3|51R9} 1158b7 1193m20 1210m10
112i7 Dst_Hint{2|20I9} 1159b7 1211r10
113r7 Src_Node{3|303R9} 1160b7 1203r26 1212r10
114i7 Dst_Node{2|20I9} 1161b7 1213m10
116V13 Is_Greater_Element_Node{boolean} 117>7 118>7 119r19 148r33 1240b13
. 1248l8 1248t31
117*7 Left{3|40+9} 1241b7 1247r30
118r7 Right{3|303R9} 1242b7 1247r14
121V13 Is_Less_Element_Node{boolean} 122>7 123>7 124r19 147r33 1254b13 1260l8
. 1260t28
122*7 Left{3|40+9} 1255b7 1259r14
123r7 Right{3|303R9} 1256b7 1259r21
126V13 Is_Less_Node_Node{boolean} 126>32 126>35 127r19 156r30 1266b13 1269l8
. 1269t25
126r32 L{3|303R9} 1266b32 1268r14
126r35 R{3|303R9} 1266b35 1268r26
129U14 Replace_Element 130=7 131>7 132>7 956s10 1689b14 1781l8 1781t23 1802s7
130r7 Container{3|51R9} 1690b7 1710m34 1710r34 1740r13 1749r37 1756r16 1770m46
. 1773m22
131i7 Index{2|20I9} 1691b7 1694r22 1711r40 1724r17 1755r20 1770r57 1780r31
132*7 Item{3|40+9} 1692b7 1719r26 1734r10 1735r32 1745r26 1749r48 1754r13
. 1761r29 1766r53 1775r22
138K12 Tree_Operations[8|63] 141r8 145r33 152r30 219r14 298r14 325r17 393r7
. 484r7 485r7 498r7 499r7 510r10 511r10 523r10 524r10 572r14 599r10 600r10
. 712r35 772r10 773r10 808r13 809r13 1011r10 1012r10 1121r14 1184r14 1290r13
. 1490r12 1551r12 1628r14 1631r14 1770r7 1817r14 1943r14
143K12 Element_Keys[6|50] 314r17 317r17 320r17 381r9 491r34 596r34 624r37
. 680r37 1115r13 1118r13 1173r14 1176r14 1179r14 1669r37 1700r14 1703r14
. 1706r14 1749r15
150K12 Set_Ops[10|52] 533r15 536r15 1222r15 1225r15 1276r15 1525r15 1900r15
. 1903r15 1924r15 1927r15
179a10 LN{5|54A12[3|311]} 182r17
180a10 RN{5|54A12[3|311]} 182r42
215V16 Is_Equal_Node_Node{boolean} 215>36 215>39 216r22 219r45 225b16 228l11
. 228t29
215r36 L{3|303R9} 225b36 227r17
215r39 R{3|303R9} 225b39 227r29
218V16 Is_Equal[8|88]{boolean} 233s14
259a10 LN{5|54A12[3|311]} 262r43
260a10 RN{5|54A12[3|311]} 262r17
295U17 Append_Element 295>33 298r49 304b17 357l11 357t25
295i33 Source_Node{2|20I9} 304b33 305r47
297U17 Append_Elements[8|104] 372s7
305r10 SN{3|303R9} 344r29 355r22
307U20 Set_Element 307=33 308r25 325r51 342b20 345l14 345t25
307r33 Node{3|303R9} 342b33 344m13
310V19 New_Node{2|20I9} 311r25 314r51 331b19 336l14 336t22
313U20 Insert_Post[6|56] 317r60 321r16
316U20 Unconditional_Insert_Sans_Hint[6|95] 322r16
319U20 Unconditional_Insert_Avec_Hint[6|115] 352s10
324U20 Allocate[8|144] 334s13
332i13 Result{2|20I9} 334m31 335r20
347i10 Target_Node{2|20I9} 356m22
380i7 Node{2|20I9} 383r18 384r59
428r10 N{3|303R9} 430r29
451i7 C{2|20I9} 455m10 457m10 462r40
462r14 Target{3|51R9} 463m28 463r28
491i7 X{2|20I9} 494r10 498r57 499r40
507i7 X{2|20I9} 509r10 510r60 511r43
520i7 X{2|20I9} 522r10 523r60 524r43
568V16 Is_Equivalent_Node_Node{boolean} 568>41 568>44 569r22 572r45 578b16
. 583l11 583t34
568r41 L{3|303R9} 578b41 580r21 581r36
568r44 R{3|303R9} 578b44 580r33 581r24
571V16 Is_Equivalent[8|88]{boolean} 588s14
596i7 X{2|20I9} 598r10 599r60 600r43
612i13 B{natural} 614r13 614r18
624i7 Node{2|20I9} 626r18 627r59
680i7 Node{2|20I9} 682r18 683r59
696V16 Is_Greater_Key_Node{boolean} 697>10 698>10 699r22 715r35 839b16 845l11
. 845t30
697*10 Left{3|225+12} 840b10 844r39
698r10 Right{3|303R9} 841b10 844r22
701V16 Is_Less_Key_Node{boolean} 702>10 703>10 704r22 714r35 851b16 857l11
. 857t27
702*10 Left{3|225+12} 852b10 856r17
703r10 Right{3|303R9} 853b10 856r29
710K15 Key_Keys[6|50] 723r12 737r40 765r37 781r40 805r37 818r40 829r40 925r40
. 948r40
722i10 Node{2|20I9} 725r21 726r62
737i10 Node{2|20I9} 740r13 745r52
745r13 N{3|303R9} 747r32
765i10 X{2|20I9} 768r13 772r60 773r43
781i10 Node{2|20I9} 784r13 788r34
805i10 X{2|20I9} 807r13 808r63 809r46
818i10 Node{2|20I9} 820r21 821r62
829i10 Node{2|20I9} 831r21 832r62
915r13 N{3|303R9} 917r32
925i10 Node{2|20I9} 928r13 933r52
933r13 N{3|303R9} 935r32
948i10 Node{2|20I9} 951r13 956r38
966*49 Element{3|40+9}
983r13 N{3|303R9} 984r38
984*13 E{3|40+9} 985r43 995r25 1006r41
985*13 K{3|225+12} 1006r33
987i13 B{natural} 991r13 991r18 999r19 999r24 1004r13 1004r18
988i13 L{natural} 992r13 992r18 998r19 998r24 1003r13 1003r18
1044r7 Position{3|58R9} 1048m36 1056r27
1045b7 Inserted{boolean} 1048m46 1050r14
1084r7 Position{3|58R9} 1085r28 1090m36
1087b7 Inserted{boolean} 1090m46 1092r14
1108U17 Set_Element 1108=30 1109r22 1121r48 1138b17 1141l11 1141t22
1108r30 Node{3|303R9} 1138b30 1140m10
1111V16 New_Node{2|20I9} 1112r22 1115r47 1127b16 1132l11 1132t19
1114U17 Insert_Post[6|56] 1118r54
1117U17 Conditional_Insert_Sans_Hint[6|75] 1146s7
1120U17 Allocate[8|144] 1130s10
1128i10 Result{2|20I9} 1130m31 1131r17
1163b7 Success{boolean} 1164r28 1214m10
1166U17 Set_Element 1166=30 1167r22 1184r48 1201b17 1204l11 1204t22
1166r30 Node{3|303R9} 1201b30 1203m10
1169V16 New_Node{2|20I9} 1170r22 1173r48 1190b16 1195l11 1195t19
1172U17 Insert_Post[6|56] 1176r55 1180r13
1175U17 Insert_Sans_Hint[6|75] 1181r13
1178U17 Local_Insert_With_Hint[6|146] 1209s7
1183U17 Allocate[8|144] 1193s10
1191i10 Result{2|20I9} 1193m29 1194r17
1284r46 Position{3|58R9}
1286U17 Process_Node 1286>31 1287r22 1290r48 1296b17 1299l11 1299t23
1286i31 Node{2|20I9} 1296b31 1298r58
1289U17 Local_Iterate[8|104] 1310s10
1301r7 S{3|51R9} 1302r27 1310r25
1302i7 B{natural} 1307r7 1307r12 1313r13 1313r18 1317r7 1317r12
1323i7 B{natural} 1341r10 1341r15
1336r14 It{47R9}
1348i7 B{natural} 1389r10 1389r15
1384r14 It{47R9}
1489i10 Node{2|20I9} 1493r13 1497r45
1550i10 Node{2|20I9} 1553r21 1554r51
1583*45 Element{3|40+9}
1594r10 S{3|51R9} 1595r30 1596r30 1603r22
1595i10 B{natural} 1599r10 1599r15 1607r16 1607r21 1612r10 1612r15
1596i10 L{natural} 1600r10 1600r15 1606r16 1606r21 1611r10 1611r15
1624U17 Read_Element 1624=31 1625r22 1628r48 1637b17 1640l11 1640t23
1624r31 Node{3|303R9} 1637b31 1639m37 1639r37
1627U17 Allocate[8|144] 1631r44
1630U17 Read_Elements[8|129] 1645s7
1669i7 Node{2|20I9} 1672r10 1682r24
1696V16 New_Node{2|20I9} 1697r22 1700r48 1717b16 1725l11 1725t19
1699U17 Local_Insert_Post[6|56] 1703r55 1707r13
1702U17 Local_Insert_Sans_Hint[6|75] 1708r13
1705U17 Local_Insert_With_Hint[6|146] 1772s7
1710a7 Nodes{5|54A12[3|311]} 1711r33 1754r20 1766r30
1711r7 Node=1711:33{3|303R9} 1719r10 1720r10 1721r10 1722r10 1723r10 1734r17
. 1735r17 1745r10 1761r13
1727i7 Hint{2|20I9} 1749m7 1751r10 1754r27 1755r13 1766r37 1774r22
1728i7 Result{2|20I9} 1776m22 1780r22
1729b7 Inserted{boolean} 1777m22 1779r22
1811r46 Position{3|58R9}
1813U17 Process_Node 1813>31 1814r22 1817r57 1823b17 1826l11 1826t23
1813i31 Node{2|20I9} 1823b31 1825r58
1816U17 Local_Reverse_Iterate[8|110] 1837s10
1828r7 S{3|51R9} 1829r27 1837r33
1829i7 B{natural} 1834r7 1834r12 1840r13 1840r18 1844r7 1844r12
1910i7 Node{2|20I9} 1914m41
1911b7 Inserted{boolean} 1914m47 1915r25
1913r14 S{3|51R9} 1914m28 1914r28
1937U17 Write_Element 1938^10 1939>10 1940r22 1943r45 1949b17 1955l11 1955t24
1938p10 Stream(15|39R9) 1950b10 1954r30
1939r10 Node{3|303R9} 1951b10 1954r38
1942U17 Write_Elements[8|118] 1960s7
X 5 a-crbltr.ads
32K24*Red_Black_Trees 3|36w29 307r17 307r47 312r10 4|30r21 34r21 37r21 74r45
. 88r15 139r11 144r11 151r11 400r45 711r13 1720r26 1862r15 5|75e35
35E9*Color_Type 3|307r33 4|74r61 88r31 400r61 1862r31 5|35e35
35n24*Red{35E9} 3|307r63 4|1720r42
53k12*Generic_Bounded_Tree_Types 3|312r26 5|73e34
54A12 Nodes_Type(3|303R9)<2|20I9> 4|179r15[3|311] 180r15[3|311] 259r15[3|311]
. 260r15[3|311] 1710r15[3|311]
63R12 Tree_Type 3|315r21[311] 373r37[311]
64i10 First{2|20I9} 4|507r44[3|311] 636r28[3|311] 637r69[3|311] 668r20[3|311]
. 672r41[3|311]
65i10 Last{2|20I9} 4|520r44[3|311] 1399r28[3|311] 1400r69[3|311] 1431r20[3|311]
. 1435r41[3|311]
67i10 Length{2|20I9} 4|366r35[3|311] 455r22[3|311] 456r32[3|311] 1233r24[3|311]
. 1453r24[3|311]
68i10 Busy{natural} 4|612m54[3|311] 987m43[3|311] 1302m29[3|311] 1323m61[3|311]
. 1348m62[3|311] 1466r17[3|311] 1595m32[3|311] 1829m29[3|311]
69i10 Lock{natural} 4|988m43[3|311] 1051r23[3|311] 1596m32[3|311] 1677r20[3|311]
. 1740r23[3|311] 1756r26[3|311]
71a10 Nodes{54A12[3|311]} 4|179m49[3|311] 180m50[3|311] 195r29[3|311] 207r37[3|311]
. 259m49[3|311] 260m50[3|311] 275r30[3|311] 287r37[3|311] 305m40[3|311] 428m42[3|311]
. 551r33[3|311] 672r24[3|311] 745m45[3|311] 788r27[3|311] 873r41[3|311] 915m45[3|311]
. 933m45[3|311] 983m45[3|311] 1056m20[3|311] 1435r24[3|311] 1603m24[3|311]
. 1682m17[3|311] 1710m44[3|311]
X 6 a-rbtgbk.ads
36K17 Tree_Operations 4|145r10 712r12
40+9 Key_Type 4|146r10 713r12
42V18 Is_Less_Key_Node{boolean} 4|147r10 714r12
46V18 Is_Greater_Key_Node{boolean} 4|148r10 715r12
50k40*Generic_Bounded_Keys 4|34w37 144r27 711r29 6|193e56
56u14 Generic_Insert_Post 4|314r30[143] 1115r26[143] 1173r27[143] 1700r27[143]
75u14 Generic_Conditional_Insert 4|1118r26[143] 1176r27[143] 1703r27[143]
95u14 Generic_Unconditional_Insert 4|317r30[143]
115u14 Generic_Unconditional_Insert_With_Hint 4|320r30[143]
116c7 Tree<5|63R12[3|311]> 4|353r13[319]
117i7 Hint{2|20I9} 4|354r13[319]
118*7 Key{3|40+9} 4|355r13[319]
119i7 Node{2|20I9} 4|356r13[319]
146u14 Generic_Conditional_Insert_With_Hint 4|1179r27[143] 1706r27[143]
147c7 Tree<5|63R12[3|311]> 4|1773r10[1705]
148i7 Position{2|20I9} 4|1774r10[1705]
149*7 Key{3|40+9} 4|1775r10[1705]
150i7 Node{2|20I9} 4|1776r10[1705]
151b7 Inserted{boolean} 4|1777r10[1705]
157V13 Find{2|20I9} 4|491s47[143] 596s47[143] 624s50[143] 737s49[710] 765s46[710]
. 781s49[710] 805s46[710] 818s49[710] 925s49[710] 948s49[710] 1669s50[143]
162V13 Ceiling{2|20I9} 4|381s22[143] 723s21[710] 1749s28[143]
167V13 Floor{2|20I9} 4|680s50[143] 829s49[710]
X 8 a-rbtgbo.ads
63k40*Generic_Bounded_Operations 4|30w37 139r27 8|155e62
72V13 Vet{boolean} 4|172s22[138] 175s22[138] 192s22[138] 204s22[138] 250s22[138]
. 253s22[138] 272s22[138] 284s22[138] 424s10[138] 481s22[138] 548s22[138]
. 870s25[138] 907s13[138] 979s25[138] 1372s22[138] 1485s22[138] 1546s22[138]
. 1590s22[138] 1799s22[138]
76V13 Next{2|20I9} 4|1490s28[138]
81V13 Previous{2|20I9} 4|1551s28[138]
88v13 Generic_Equal 4|219r30[138] 572r30[138]
93U14 Delete_Node_Sans_Free 4|484s23[138] 498s23[138] 510s26[138] 523s26[138]
. 599s26[138] 772s26[138] 808s29[138] 1011s26[138] 1770s23[138]
98U14 Clear_Tree 4|393s23[138]
104u14 Generic_Iteration 4|298r30[138] 1290r29[138]
110u14 Generic_Reverse_Iteration 4|1817r30[138]
118u14 Generic_Write 4|1943r30[138]
129u14 Generic_Read 4|1631r30[138]
144u14 Generic_Allocate 4|325r33[138] 1121r30[138] 1184r30[138] 1628r30[138]
151U14 Free 4|485s23[138] 499s23[138] 511s26[138] 524s26[138] 600s26[138]
. 773s26[138] 809s29[138] 1012s26[138]
X 10 a-btgbso.ads
36K17 Tree_Operations 4|152r10
38R9 Set_Type<5|63R12[8|36[10|36]]> 4|153r10
42U19 Assign 4|154r10
44U19 Insert_With_Hint 4|155r10
50V18 Is_Less{boolean} 4|156r10
52k40*Generic_Bounded_Set_Operations 4|37w37 151r27 10|103e66
55U14 Set_Union 4|1924r23[150]
63V13 Set_Union{3|51R9} 4|1927r23[150]
67U14 Set_Intersection 4|1222r23[150]
71V13 Set_Intersection{3|51R9} 4|1225r23[150]
75U14 Set_Difference 4|533r23[150]
79V13 Set_Difference{3|51R9} 4|536r23[150]
83U14 Set_Symmetric_Difference 4|1900r23[150]
90V13 Set_Symmetric_Difference{3|51R9} 4|1903r23[150]
95V13 Set_Subset{boolean} 4|1276r23[150]
99V13 Set_Overlap{boolean} 4|1525r23[150]
X 13 a-finali.ads
40K13*Finalization 4|41w10 41r32 13|73e21
55H9*Limited_Controlled 4|47r25 1337r19 1385r19 13|71e55
58U14*Initialize<20|44p14>
X 14 a-iteint.ads
21k13*Iterator_Interfaces 3|34w10 68r10 14|39e28
24h9 Forward_Iterator
32h9 Reversible_Iterator<24R9[3|67]> 3|217r38[67] 222r38[67] 4|48r30[3|67]
. 1321r37[3|67] 1346r37[3|67]
X 15 a-stream.ads
36K13*Streams 3|37w18 282r15 318r12 15|69e16
39H9*Root_Stream_Type 3|285r35 291r35 321r35 327r35 347r32 353r32 362r32
. 368r32 4|881r35 1022r35 1621r35 1649r32 1657r32 1934r35 1938r35 1950r35
. 1964r32 1972r32 15|67e64
X 18 system.ads
37K9*System 4|43w6 43r23 18|152e11
64M9*Address 4|43r30
78V14*"="{boolean} 4|362r25 1462r25
X 20 s-finroo.ads
42U14*Adjust