MINI MINI MANI MO
V "GNAT Lib v4.8"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -m64
A -mtune=generic
A -march=x86-64
P ZX
RN
RV NO_ACCESS_SUBPROGRAMS
RV NO_ALLOCATORS
RV NO_DISPATCH
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_FINALIZATION
RV NO_LOCAL_ALLOCATORS
RV NO_NESTED_FINALIZATION
RV NO_RECURSION
RV NO_STANDARD_STORAGE_POOLS
RV NO_STREAMS
RV NO_UNCHECKED_ACCESS
RV NO_UNCHECKED_DEALLOCATION
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_IMPLICIT_ALIASING
RV SPARK
U ada.containers.indefinite_ordered_sets%b a-ciorse.adb 60528c5d NE OL PK GE
W ada%s ada.ads ada.ali
W ada.containers%s a-contai.ads a-contai.ali
W ada.containers.red_black_trees%s a-crbltr.ads a-crbltr.ali
W ada.containers.red_black_trees.generic_keys%s
W ada.containers.red_black_trees.generic_operations%s
W ada.containers.red_black_trees.generic_set_operations%s
Z ada.streams%s a-stream.ads a-stream.ali
W ada.unchecked_deallocation%s
W system%s system.ads system.ali
U ada.containers.indefinite_ordered_sets%s a-ciorse.ads 3b4f5bf9 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-ciorse.ads 20121213103024 e03350b0
D a-ciorse.adb 20121213103024 49eeea86
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 299r11 335r20 345r8 346r8
. 419r5 4|30r6 33r6 36r6 39r6 43r14 133r10 737r13 2170r5
X 2 a-contai.ads
16K13*Containers 1|16k9 2|24e19 3|36r18 46r13 419r9 4|30r10 33r10 36r10 43r18
. 2170r9
20I9*Count_Type<integer> 3|77r45 4|1573r45
X 3 a-ciorse.ads
41+9 Element_Type 43r37 44r37 50r48 55r28 75r32 83r48 88r19 92r55 95r42 112r19
. 118r19 122r19 126r19 130r19 134r19 174r52 178r51 190r19 194r19 198r19 202r19
. 208r41 210r41 212r25 214r25 236r36 246r65 251r22 277r52 279r54 297r37 321r34
. 392r43 4|79r18 90r15 95r15 111r14 133r38 149r32 193r41 209r25 285r41 301r25
. 360r46 434r47 455r39 495r53 554r48 574r48 620r54 664r43 711r52 724r44 865r65
. 976r22 1064r53 1085r17 1149r59 1173r42 1185r19 1199r58 1220r18 1244r42
. 1300r42 1357r15 1371r15 1551r51 1708r56 1771r30 1771r44 1806r58 1832r30
. 1844r14 1876r30 1910r33 1937r36 1967r18 2095r32 2145r10
43V19 "<"{boolean} 43>23 43>29 4|190s36 206s36 222s19 282s37 298s20 314s37
. 576s15 576s37 601s27 603s30 1363s32 1375s19 1384s28 1893s15 1893s59 1922s18
. 1945s47
43*23 Left{41+9}
43*29 Right{41+9}
44V19 "="{boolean} 44>23 44>29 4|243s31
44*23 Left{41+9}
44*29 Right{41+9}
46k24*Indefinite_Ordered_Sets 2|16k13 3|41z9 43z19 44z19 419l20 419e43 4|43b29
. 2170l20 2170t43
50V13*Equivalent_Elements{boolean} 50>34 50>40 4|574b13 581l8 581t27
50*34 Left{41+9} 4|574b34 576r10 576r39
50*40 Right{41+9} 4|574b40 576r17 576r31
52R9*Set 57r41 62r25 71P14 71r32 73p13 73r44 75p13 75r53 77p13 77r33 79p13
. 79r35 81p14 81r40 85p14 86r26 99p13 100r27 104p14 104r38 104r52 106p13
. 106r28 106r40 108p14 108r36 108r57 110p14 111r26 116p14 117r26 120p14 121r26
. 124p14 125r26 128p14 129r26 132p14 133r26 136p14 137r26 140p14 140r47 142p14
. 142r46 144p14 144r37 144r51 146p13 146r34 146r46 148r33 148r45 150p14 150r44
. 150r58 152p13 152r41 152r53 154r34 154r46 156p14 156r42 156r56 158p13 158r39
. 158r51 160r32 160r44 162p14 162r52 162r66 164p13 164r49 164r61 166r34 166r46
. 168p13 168r36 170p13 170r33 170r47 172p13 172r32 174p13 174r40 176p13 176r31
. 178p13 178r39 188p13 189r19 192p13 193r19 196p13 197r19 200p13 201r19 216p14
. 217r19 220p14 221r19 224p13 225r19 228p13 229r19 246r37 249r29 253r45 255r44
. 258r22 262r22 266r22 270r22 274r29 284r37 288r30 292r37 335c9 337e14 339P25
. 339r52 341r54 348p14 350r19 352r8 354p14 356r23 358r8 360r34 409r25 4|229r32
. 323r41 346r38 346r52 360r34 375r40 394r27 434r35 443r28 443r40 445r23 473r41
. 495r41 511r47 525r46 539r42 539r56 544r39 544r51 547r14 587r44 620r42 664r31
. 678r32 711r40 724r32 795r37 807r30 840r38 849r44 865r37 892r45 905r34 916r35
. 974r29 1006r37 1035r37 1061r29 1149r42 1184r26 1199r41 1331r44 1331r58
. 1336r41 1336r53 1340r14 1347r35 1391r33 1391r47 1401r19 1439r19 1465r19
. 1518r31 1551r39 1573r33 1584r36 1584r57 1640r36 1752r23 1806r42 1965r25
. 1993r19 2079r52 2079r66 2084r49 2084r61 2088r14 2095r53 2102r14 2109r37
. 2109r51 2114r34 2114r46 2117r14 2126r19 13|51P14
59R9*Cursor 60r41 64r26 66r37 69r31 83r33 87r19 91r18 101r19 113r23 138r26
. 172r44 176r43 180r30 180r45 182r38 184r34 184r49 186r42 190r40 194r40 198r40
. 204r32 206r32 208r25 210r25 212r47 214r47 218r57 222r57 230r19 244r32 259r39
. 263r39 267r39 275r22 285r22 363c9 366e14 370r16 372r8 376r20 378r8 417r26
. 417r36 4|54r57 55r57 59r18 59r33 63r18 63r33 166r32 193r25 209r47 256r32
. 285r25 301r47 360r67 365r20 395r19 473r64 554r33 664r64 670r17 678r44 682r15
. 685r46 703r17 724r65 728r20 795r65 799r23 905r62 909r23 916r63 920r23 951r32
. 1007r22 1062r22 1140r37 1150r18 1186r23 1200r18 1402r57 1416r19 1466r19
. 1518r43 1522r15 1525r45 1543r17 1593r38 1598r30 1598r45 1615r23 1621r18
. 1621r33 1658r42 1663r34 1663r49 1681r23 1687r18 1687r33 1707r19 1788r20
. 1966r18 1994r57 2008r19 2156r16
62r4*Empty_Set{52R9} 409c4
64r4*No_Element{59R9} 417c4 4|364r35 436r40 668r17 681r46 727r35 798r38 842r42
. 908r38 919r38 1142r26 1483r18 1521r45 1600r21 1601r17 1614r38 1625r17 1665r21
. 1666r17 1680r38 1691r17
66V13*Has_Element{boolean} 66>26 69r39 4|1140b13 1143l8 1143t19
66r26 Position{59R9} 4|1140b26 1142r14
68K12*Set_Iterator_Interfaces[14|21] 226r14 231r14 4|46r6 1440r14 1467r14
71V14*"="{boolean} 71>18 71>24 4|229b14 250l9 250t11
71r18 Left{52R9} 4|229b18 249r24
71r24 Right{52R9} 4|229b24 249r35
73V13*Equivalent_Sets{boolean} 73>30 73>36 4|587b13 614l8 614t23
73r30 Left{52R9} 4|587b30 613r29
73r36 Right{52R9} 4|587b36 613r40
75V13*To_Set{52R9} 75>21 4|2095b13 2103l8 2103t14
75*21 New_Item{41+9} 4|2095b21 2101r31
77V13*Length{2|20I9} 77>21 4|1573b13 1576l8 1576t14
77r21 Container{52R9} 4|1573b21 1575r14
79V13*Is_Empty{boolean} 79>23 4|1347b13 1350l8 1350t16
79r23 Container{52R9} 4|1347b23 1349r14
81U14*Clear 81=21 341r67 4|352s14 375b14 378l8 378t13
81r21 Container{52R9} 4|375b21 377m14 377r14
83V13*Element{41+9} 83>22 4|554b13 568l8 568t15
83r22 Position{59R9} 4|554b22 556r10 560r10 564r27 564r52 567r14
85U14*Replace_Element 86=7 87>7 88>7 4|1964b14 1986l8 1986t23
86r7 Container{52R9} 4|1965b6 1978m32 1978r32 1982r27 1985m24 1985r24
87r7 Position{59R9} 4|1966b6 1970r10 1974r10 1978r10 1982r43 1985r40
88*7 New_Item{41+9} 4|1967b6 1985r55
90U14*Query_Element 91>7 92^7 4|1706b14 1744l8 1744t21
91r7 Position{59R9} 4|1707b7 1711r10 1715r10 1719r27 1719r52 1723m32 1723r32
. 1733r22
92p7 Process 4|1708b7 1733r13
92*45 Element{41+9}
94R9*Constant_Reference_Type 95d7 101r34 289r39 391c9 395e17 399r20 401r8
. 405r16 407r8 4|395r34 420r30 808r39 826r33 1796r20 2164r16
99V13*Constant_Reference{94R9} 53r28 100>7 101>7 102r19 4|393b13 428l8 428t26
100r7 Container{52R9} 4|394b7 402r32 412r15 422r41
101r7 Position{59R9} 4|395b7 398r10 402r10 407r10 412r31 416r35 421r24
104U14*Assign 104=22 104>43 4|346b14 354l8 354t14 446s17
104r22 Target{52R9} 4|346b22 348m10 348r10 352m7 352r7 353m7 353r7
104r43 Source{52R9} 4|346b43 348r27 353r21
106V13*Copy{52R9} 106>19 4|443b13 448l8 448t12
106r19 Source{52R9} 4|443b19 446r25
108U14*Move 108=20 108=41 4|1584b14 1587l8 1587t12
108r20 Target{52R9} 4|1584b20 1586m23 1586r23
108r41 Source{52R9} 4|1584b41 1586m46 1586r46
110U14*Insert 111=7 112>7 113<7 114<7 4|1156s7 1183b14 1197l8 1197t14 1206s7
111r7 Container{52R9} 4|1184b7 1191m10 1191r10 1196m29 1196r29
112*7 New_Item{41+9} 4|1185b7 1192r10
113r7 Position{59R9} 4|1186b7 1193m10 1193r10 1196m7
114b7 Inserted{boolean} 4|1187b7 1194m10
116U14*Insert 117=7 118>7 4|1199b14 1212l8 1212t14
117r7 Container{52R9} 4|1199b22 1206m15
118*7 New_Item{41+9} 4|1199b46 1206r26
120U14*Include 121=7 122>7 4|1149b14 1177l8 1177t15
121r7 Container{52R9} 4|1149b23 1156m15 1159r13
122*7 New_Item{41+9} 4|1149b47 1156r26 1173r56
124U14*Replace 125=7 126>7 4|1806b14 1835l8 1835t15
125r7 Container{52R9} 4|1806b23 1808r28 1818r10
126*7 New_Item{41+9} 4|1806b47 1808r44 1832r44
128U14*Exclude 129=7 130>7 4|620b14 627l8 627t15
129r7 Container{52R9} 4|620b23 621r45 624m49 624r49
130*7 Item{41+9} 4|620b47 621r61
132U14*Delete 133=7 134>7 4|495b14 505l8 505t14
133r7 Container{52R9} 4|495b22 496r45 503m46 503r46
134*7 Item{41+9} 4|495b46 496r61
136U14*Delete 137=7 138=7 4|473b14 493l8 493t14
137r7 Container{52R9} 4|473b22 483m32 483r32 487r27 490m46 490r46
138r7 Position{59R9} 4|473b46 475r10 479r10 483r10 487r43 490r62 491m13 491r13
. 492m7
140U14*Delete_First 140=28 4|511b14 519l8 519t20
140r28 Container{52R9} 4|511b28 512m32 512r32
142U14*Delete_Last 142=27 4|525b14 533l8 533t19
142r27 Container{52R9} 4|525b27 526m32 526r32
144U14*Union 144=21 144>42 4|353s14 2109b14 2112l8 2112t13
144r21 Target{52R9} 4|2109b21 2111m22 2111r22
144r42 Source{52R9} 4|2109b42 2111r35
146V13*Union{52R9} 146>20 146>26 148r57 4|2114b13 2118l8 2118t13
146r20 Left{52R9} 4|2114b20 2115r51
146r26 Right{52R9} 4|2114b26 2115r62
148V14*"or"=148:57{52R9}
148r19 Left{52R9}
148r25 Right{52R9}
150U14*Intersection 150=28 150>49 4|1331b14 1334l8 1334t20
150r28 Target{52R9} 4|1331b28 1333m29 1333r29
150r49 Source{52R9} 4|1331b49 1333r42
152V13*Intersection{52R9} 152>27 152>33 154r58 4|1336b13 1341l8 1341t20
152r27 Left{52R9} 4|1336b27 1338r31
152r33 Right{52R9} 4|1336b33 1338r42
154V14*"and"=154:58{52R9}
154r20 Left{52R9}
154r26 Right{52R9}
156U14*Difference 156=26 156>47 4|539b14 542l8 542t18
156r26 Target{52R9} 4|539b26 541m27 541r27
156r47 Source{52R9} 4|539b47 541r40
158V13*Difference{52R9} 158>25 158>31 160r56 4|544b13 548l8 548t18
158r25 Left{52R9} 4|544b25 545r56
158r31 Right{52R9} 4|544b31 545r67
160V14*"-"=160:56{52R9}
160r18 Left{52R9}
160r24 Right{52R9}
162U14*Symmetric_Difference 162=36 162>57 4|2079b14 2082l8 2082t28
162r36 Target{52R9} 4|2079b36 2081m37 2081r37
162r57 Source{52R9} 4|2079b57 2081r50
164V13*Symmetric_Difference{52R9} 164>35 164>41 166r58 4|2084b13 2089l8 2089t28
164r35 Left{52R9} 4|2084b35 2086r39
164r41 Right{52R9} 4|2084b41 2086r50
166V14*"xor"=166:58{52R9}
166r20 Left{52R9}
166r26 Right{52R9}
168V13*Overlap{boolean} 168>22 168>28 4|1640b13 1643l8 1643t15
168r22 Left{52R9} 4|1640b22 1642r31
168r28 Right{52R9} 4|1640b28 1642r42
170V13*Is_Subset{boolean} 170>24 170>38 4|1391b13 1394l8 1394t17
170r24 Subset{52R9} 4|1391b24 1393r43
170r38 Of_Set{52R9} 4|1391b38 1393r66
172V13*First{59R9} 172>20 4|678b13 683l8 683t13 701s34
172r20 Container{52R9} 4|678b20 681r13 682r23 682r54
174V13*First_Element{41+9} 174>28 4|711b13 718l8 718t21
174r28 Container{52R9} 4|711b28 713r10 716r17
176V13*Last{59R9} 176>19 4|1518b13 1523l8 1523t12 1541s34
176r19 Container{52R9} 4|1518b19 1521r13 1522r23 1522r54
178V13*Last_Element{41+9} 178>27 4|1551b13 1558l8 1558t20
178r27 Container{52R9} 4|1551b27 1553r10 1556r17
180V13*Next{59R9} 180>19 4|1595s19 1598b13 1617l8 1617t12 1633s14
180r19 Position{59R9} 4|1598b19 1600r10 1604r10 1608r27 1608r52 1612r63 1615r31
182U14*Next 182=20 4|1593b14 1596l8 1596t12
182r20 Position{59R9} 4|1593b20 1595m7 1595r25
184V13*Previous{59R9} 184>23 4|1660s19 1663b13 1683l8 1683t16 1699s14
184r23 Position{59R9} 4|1663b23 1665r10 1669r10 1673r27 1673r52 1678r38 1681r31
186U14*Previous 186=24 4|1658b14 1661l8 1661t16
186r24 Position{59R9} 4|1658b24 1660m7 1660r29
188V13*Find{59R9} 189>7 190>7 4|436s14 664b13 672l8 672t12
189r7 Container{52R9} 4|664b19 665r57 670r25
190*7 Item{41+9} 4|664b36 665r73
192V13*Floor{59R9} 193>7 194>7 4|724b13 729l8 729t13
193r7 Container{52R9} 4|724b20 725r58 728r28
194*7 Item{41+9} 4|724b37 725r74
196V13*Ceiling{59R9} 197>7 198>7 4|360b13 366l8 366t15
197r7 Container{52R9} 4|360b22 362r31 365r28
198*7 Item{41+9} 4|360b39 362r47
200V13*Contains{boolean} 201>7 202>7 4|434b13 437l8 437t16
201r7 Container{52R9} 4|434b23 436r20
202*7 Item{41+9} 4|434b40 436r31
204V14*"<"{boolean} 204>18 204>24 4|166b14 191l9 191t11
204r18 Left{59R9} 4|166b18 168r10 176r10 184r27 184r48 190r14
204r24 Right{59R9} 4|166b24 172r10 180r10 187r27 187r49 190r38
206V14*">"{boolean} 206>18 206>24 4|256b14 283l9 283t11
206r18 Left{59R9} 4|256b18 258r10 266r10 274r27 274r48 282r39
206r24 Right{59R9} 4|256b24 262r10 270r10 277r27 277r49 282r14
208V14*"<"{boolean} 208>18 208>33 4|193b14 207l9 207t11
208r18 Left{59R9} 4|193b18 195r10 199r10 203r27 203r48 206r14
208*33 Right{41+9} 4|193b33 206r38
210V14*">"{boolean} 210>18 210>33 4|285b14 299l9 299t11
210r18 Left{59R9} 4|285b18 287r10 291r10 295r27 295r48 298r22
210*33 Right{41+9} 4|285b33 298r14
212V14*"<"{boolean} 212>18 212>39 4|209b14 223l9 223t11
212*18 Left{41+9} 4|209b18 222r14
212r39 Right{59R9} 4|209b39 211r10 215r10 219r27 219r49 222r21
214V14*">"{boolean} 214>18 214>39 4|301b14 315l9 315t11
214*18 Left{41+9} 4|301b18 314r39
214r39 Right{59R9} 4|301b39 303r10 307r10 311r27 311r49 314r14
216U14*Iterate 217>7 218^7 4|1400b14 1436l8 1436t15
217r7 Container{52R9} 4|1401b7 1416r27 1419r29
218p7 Process 4|1402b7 1416r10
218r46 Position{59R9}
220U14*Reverse_Iterate 221>7 222^7 4|1992b14 2028l8 2028t23
221r7 Container{52R9} 4|1993b7 2008r27 2011r29
222p7 Process 4|1994b7 2008r10
222r46 Position{59R9}
224V13*Iterate<14|32R9[68]> 225>7 4|1438b13 1462l8 1462t15
225r7 Container{52R9} 4|1439b7 1442r28 1457r34
228V13*Iterate<14|32R9[68]> 229>7 230>7 4|1464b13 1512l8 1512t15
229r7 Container{52R9} 4|1465b7 1469r28 1488r29 1493r27 1507r25
230r7 Start{59R9} 4|1466b7 1483r10 1488r10 1493r43 1508r25
234+12 Key_Type 236r57 238r40 242r47 244r47 246r48 250r22 253r56 255r55 259r22
. 263r22 267r22 271r22 289r22 293r22 4|771r18 776r18 787r35 795r48 808r22
. 840r49 849r55 865r48 879r47 892r56 905r45 916r46 928r18 940r18 951r47 975r22
. 1036r22 1086r26
236V21 Key{234+12} 236>26 4|932s17 944s24 966s17 1086s38 1107s36
236*26 Element{41+9}
238V22 "<"{boolean} 238>26 238>32 4|881s18 881s40 932s41 944s22
238*26 Left{234+12}
238*32 Right{234+12}
240k12 Generic_Keys 234z12 236z21 238z22 312l8 312e20 4|764b17 1134l8 1134t20
242V16*Equivalent_Keys{boolean} 242>33 242>39 4|879b16 886l11 886t26 1107s16
242*33 Left{234+12} 4|879b33 881r13 881r42
242*39 Right{234+12} 4|879b39 881r20 881r34
244V16*Key{234+12} 244>21 4|951b16 967l11 967t14
244r21 Position{59R9} 4|951b21 953r13 958r13 963r30 963r55 966r22
246V16*Element{41+9} 246>25 246>42 4|865b16 873l11 873t18
246r25 Container{52R9} 4|865b25 866r56
246*42 Key{234+12} 4|865b42 866r72
248U17*Replace 249=10 250>10 251>10 4|973b17 987l11 987t18
249r10 Container{52R9} 4|974b10 978r56 986m27 986r27
250*10 Key{234+12} 4|975b10 978r72
251*10 New_Item{41+9} 4|976b10 986r49
253U17*Exclude 253=26 253>50 4|892b17 899l11 899t18
253r26 Container{52R9} 4|892b26 893r44 896m52 896r52
253*50 Key{234+12} 4|892b50 893r60
255U17*Delete 255=25 255>49 4|849b17 859l11 859t17
255r25 Container{52R9} 4|849b25 850r44 857m49 857r49
255*49 Key{234+12} 4|849b49 850r60
257V16*Find{59R9} 258>10 259>10 4|842s17 905b16 910l11 910t15
258r10 Container{52R9} 4|905b22 906r56 909r31
259*10 Key{234+12} 4|905b39 906r72
261V16*Floor{59R9} 262>10 263>10 4|916b16 921l11 921t16
262r10 Container{52R9} 4|916b23 917r57 920r31
263*10 Key{234+12} 4|916b40 917r73
265V16*Ceiling{59R9} 266>10 267>10 4|795b16 800l11 800t18
266r10 Container{52R9} 4|795b25 796r59 799r31
267*10 Key{234+12} 4|795b42 796r75
269V16*Contains{boolean} 270>10 271>10 4|840b16 843l11 843t19
270r10 Container{52R9} 4|840b26 842r23
271*10 Key{234+12} 4|840b43 842r34
273U17*Update_Element_Preserving_Key 274=10 275>10 276^10 4|1060b17 1120l11
. 1120t40
274r10 Container{52R9} 4|1061b10 1066m35 1066r35 1077m35 1077r35 1081r30
275r10 Position{59R9} 4|1062b10 1069r13 1073r13 1077r13 1081r46 1085r38 1113r32
276p10 Process 4|1063b10 1096r16
277*35 Element{41+9}
279R12*Reference_Type 279d28 285r37 293r39 296c12 303r19 305r11 309r23 311r11
. 4|995r23 1007r37 1036r39 1128r19
283V16*Reference_Preserving_Key{279R12} 284=10 285>10 4|1005b16 1032l11 1032t35
284r10 Container{52R9} 4|1006b10 1014m35 1014r35 1024r18
285r10 Position{59R9} 4|1007b10 1010r13 1014r13 1019r13 1024r34 1031r29
287V16*Constant_Reference{94R9} 288>10 289>10 4|806b16 834l11 834t29
288r10 Container{52R9} 4|807b10 810r56 822r38 828r44
289*10 Key{234+12} 4|808b10 810r72
291V16*Reference_Preserving_Key{279R12} 292=10 293>10 4|1034b16 1054l11 1054t35
292r10 Container{52R9} 4|1035b10 1038r56
293*10 Key{234+12} 4|1036b10 1038r72
301U17 Write 302^10 303>10 4|1126b17 1132l11 1132t16
302p10 Stream(15|39R9) 4|1127b10
303r10 Item{279R12} 4|1128b10
307U17 Read 308^10 309<10 4|993b17 999l11 999t15
308p10 Stream(15|39R9) 4|994b10
309r10 Item{279R12} 4|995b10
318R9 Node_Type 319r31 323c9 332r7 4|458r18 737r41 1247r21 1305r25 1768r36
319P9 Node_Access(318R9) 324r17 325r17 326r17 333r7 365r19 4|49r19 69r27
. 72r33 72r53 75r31 80r22 85r18 86r18 87r22 91r15 96r15 99r39 102r26 102r46
. 105r28 105r48 110r14 113r27 113r47 116r32 119r31 119r51 122r35 122r57 125r32
. 125r53 231r43 241r43 361r23 384r27 454r33 454r53 496r11 513r14 527r14 589r48
. 599r48 621r11 665r23 725r23 735r31 737r52 772r18 777r18 796r26 810r26 850r14
. 866r26 893r14 906r26 917r26 929r18 941r18 978r26 1038r26 1113r17 1221r22
. 1224r32 1237r32 1275r18 1276r18 1277r22 1282r32 1299r32 1301r20 1358r15
. 1372r15 1382r39 1404r38 1414r38 1564r26 1564r46 1612r26 1649r28 1649r48
. 1677r26 1755r66 1766r66 1768r17 1807r23 1843r14 1849r32 1867r32 1884r18
. 1885r18 1996r38 2006r38 2034r27 2034r47 2043r32 2052r31 2052r51 2061r33
. 2061r55 2070r32 2070r53 2097r18 2130r19 2142r19
321P9 Element_Access(41+9) 328r17 4|133r52 455r17 1153r11 1244r20 1300r20
. 1810r11 1888r11
324p7 Parent{319P9} 4|458m29 744m9 1247m32 1651r19 1878m15 2063m12
325p7 Left{319P9} 4|459m29 745m9 1248m32 1566r19 1880m15 2054m12
326p7 Right{319P9} 4|460m29 746m9 1249m32 1879m15 2036r19 2072m12
327e7 Color{5|35E9} 4|386r19 461m29 461r47 1250m32 1877m15 2045m12
328p7 Element{321P9} 4|176r20 180r21 190r24 190r49 199r20 206r24 215r21 222r32
. 243r19 243r35 266r20 270r21 282r25 282r49 291r20 298r32 307r21 314r25 407r24
. 421r38 455r60 462m29 479r24 560r24 567r28 601r15 601r31 603r18 603r34 716r38
. 749m26 752m15 817r18 827r32 871r25 932r28 944r35 958r27 966r36 1019r27
. 1031r43 1045r18 1053r34 1073r27 1085r52 1172r32 1173m27 1251m32 1300r65
. 1312m15 1322r19 1363r20 1375r27 1384r16 1384r32 1556r37 1604r24 1669r24
. 1715r24 1733r36 1771m15 1831r20 1832m15 1847r27 1876m15 1888r34 1893r22
. 1893r47 1910m18 1922r25 1937m21 1945r35 1974r24 2145r44
331K12 Tree_Types[5|40] 336r14 344r8 4|136r46
336r7 Tree{5|41R12[331]} 410m35 4|184r42 187r43 203r42 219r43 249r29 249r41
. 274r42 277r43 295r42 311r43 325m25 332m60 362r41 377m24 412r25 416m58 487r37
. 490m56 496r55 503m56 512m42 526m42 541m34 541r47 545r61 545r73 564r46 613r34
. 613r46 621r55 624m59 637m54 648m60 665r67 681r23 682r64 713r20 716r27 725r68
. 796r69 810r66 822m72 850r54 857m59 866r66 893r54 896m62 906r66 917r67 963r49
. 978r66 986m37 1024r28 1038r66 1066m45 1081r40 1159r23 1191m20 1333m36 1333r49
. 1338r36 1338r48 1349r24 1393r50 1393r73 1419m63 1442m62 1469m62 1493r37
. 1521r23 1522r64 1553r20 1556r27 1575r24 1586m30 1586m53 1608r46 1642r36
. 1642r48 1673r46 1719r46 1723m51 1783m31 1808r38 1818r20 1982r37 1985m34
. 2011m39 2081m44 2081r57 2086r44 2086r56 2111m29 2111r42 2115r56 2115r68
. 2151r32
339U25 Adjust<13|52p14> 339=33 4|323b14 326l8 326t14
339r33 Container{52R9} 4|323b22 325m15 325r15
341U25 Finalize=341:67<13|53p14>
341r35 Container{52R9}
348U14 Write 349^7 350>7 4|2124b14 2152l8 2152t13
349p7 Stream(15|39R9) 4|2125b7 2151r14
350r7 Container{52R9} 4|2126b7 2151r22
354U14 Read 355^7 356<7 4|1750b14 1784l8 1784t12
355p7 Stream(15|39R9) 4|1751b7 1783r13
356r7 Container{52R9} 4|1752b7 1783m21 1783r21
360P9 Set_Access(52R9) 361r8 364r19 382r22 4|48r19
364p7 Container{360P9} 4|184r31 184r32 187r32 187r33 203r31 203r32 219r32
. 219r33 274r31 274r32 277r32 277r33 295r31 295r32 311r32 311r33 398r19 402r19
. 416r44 483r19 492m16 564r35 564r36 963r38 963r39 1010r22 1014r22 1077r22
. 1196m16 1488r16 1608r35 1608r36 1615r40 1624r19 1628r19 1673r35 1673r36
. 1681r40 1690r19 1694r19 1719r35 1719r36 1723r40 1723r41 1978r19
365p7 Node{319P9} 4|168r15 172r16 176r14 176r15 180r15 180r16 184r53 187r55
. 190r18 190r19 190r43 190r44 195r15 199r14 199r15 203r53 206r18 206r19 211r16
. 215r15 215r16 219r55 222r26 222r27 258r15 262r16 266r14 266r15 270r15 270r16
. 274r53 277r55 282r19 282r20 282r43 282r44 287r15 291r14 291r15 295r53 298r26
. 298r27 303r16 307r15 307r16 311r55 314r19 314r20 407r18 407r19 412r40 421r32
. 421r33 475r19 479r18 479r19 487r52 490r71 491m22 556r19 560r18 560r19 564r61
. 567r22 567r23 953r22 958r21 958r22 963r64 966r30 966r31 1019r21 1019r22
. 1024r43 1031r37 1031r38 1069r22 1073r21 1073r22 1081r55 1085r46 1085r47
. 1113r41 1172r26 1172r27 1173r21 1173r22 1193m19 1493r49 1508r31 1604r18
. 1604r19 1608r61 1612r72 1669r18 1669r19 1673r61 1678r47 1711r19 1715r18
. 1715r19 1719r61 1733r30 1733r31 1970r19 1974r18 1974r19 1982r52 1985r49
368U14 Write 369^7 370>7 4|2154b14 2160l8 2160t13
369p7 Stream(15|39R9) 4|2155b7
370r7 Item{59R9} 4|2156b7
374U14 Read 375^7 376<7 4|1786b14 1792l8 1792t12
375p7 Stream(15|39R9) 4|1787b7
376r7 Item{59R9} 4|1788b7
380R9 Reference_Control_Type<13|48R9> 383e17 385P25 385r50 388P25 388r52
. 394r20 4|328r39 644r41 13|51P14
382p10 Container{360P9} 4|330r18 332r46 646r18 648r46 656m18
385U25 Adjust<13|52p14> 385=33 4|328b14 340l8 340t14
385r33 Control{380R9} 4|328b22 330r10 332r38
388U25 Finalize<13|53p14> 388=35 4|644b14 658l8 658t16
388r35 Control{380R9} 4|644b24 646r10 648r38 656m10
394r10 Control{380R9} 4|422m13 828m16
397U14 Read 398^7 399<7 4|1794b14 1800l8 1800t12
398p7 Stream(15|39R9) 4|1795b7
399r7 Item{94R9} 4|1796b7
403U14 Write 404^7 405>7 4|2162b14 2168l8 2168t13
404p7 Stream(15|39R9) 4|2163b7
405r7 Item{94R9} 4|2164b7
X 4 a-ciorse.adb
45R9 Iterator<13|55R9><14|32R9[3|68]> 50e14 52P25 52r51 54P24 54r40 55P24
. 55r40 57P24 58r18 61P24 62r18 633r40 685r29 1455r28 1456r9 1505r28 1525r28
. 1620r18 1686r18 13|58P14 21|42p14
48p7 Container{3|360P9} 635r17 637r40 701r23 701r24 703r32 1457m21 1507m12
. 1541r23 1541r24 1543r32 1628r39 1694r39
49p7 Node{3|319P9} 700r17 703r50 1458m21 1508m12 1540r17 1543r50
52U25 Finalize<13|59p14> 52=35 633b14 642l8 642t16
52r35 Object{45R9} 633b24 635r10 637r33
54V24 First{3|59R9}<14|26p13> 54>31 685b13 705l8 705t13
54r31 Object{45R9} 685b20 700r10 701r17 703r25 703r43
55V24 Last{3|59R9}<14|34p13> 55>31 1525b13 1545l8 1545t12
55r31 Object{45R9} 1525b19 1540r10 1541r17 1543r25 1543r43
57V24 Next{3|59R9}<14|28p13> 58>7 59>7 1619b13 1634l8 1634t12
58r7 Object{45R9} 1620b7 1628r32
59r7 Position{3|59R9} 1621b7 1624r10 1628r10 1633r20
61V24 Previous{3|59R9}<14|36p13> 62>7 63>7 1685b13 1700l8 1700t16
62r7 Object{45R9} 1686b7 1694r32
63r7 Position{3|59R9} 1687b7 1690r10 1694r10 1699r24
69V13 Color{5|35E9} 69>20 70r19 384b13 387l8 387t13 8|45i19
69p20 Node{3|319P9} 384b20 386r14
72V13 Copy_Node{3|319P9} 72>24 73r19 142r45 454b13 467l8 467t17
72p24 Source{3|319P9} 454b24 455r53 461r40
75U14 Free 75=20 139r47 160r30 491s7 504s7 517s10 531s10 625s10 735b14 758l8
. 758t12 858s10 897s13 1116s13 1776s13
75p20 X{3|319P9} 735b20 740r10 744m7 744r7 744r19 745m7 745r7 745r17 746m7
. 746r7 746r18 749m24 749r24 752m13 752r13 753m25 757m19
77U14 Insert_Sans_Hint 78=7 79>7 80<7 81<7 1190s7 1218b14 1267l8 1267t24
. 2101s7
78r7 Tree{5|41R12[3|331]} 1219b7 1263m10
79*7 New_Item{3|41+9} 1220b7 1244r56 1264r10
80p7 Node{3|319P9} 1221b7 1265m10
81b7 Inserted{boolean} 1222b7 1266m10
83U14 Insert_With_Hint 84=7 85>7 86>7 87<7 156r30 1273b14 1325l8 1325t24
84r7 Dst_Tree{5|41R12[3|331]} 1274b7 1320m10
85p7 Dst_Hint{3|319P9} 1275b7 1321r10
86p7 Src_Node{3|319P9} 1276b7 1300r56 1322r10
87p7 Dst_Node{3|319P9} 1277b7 1323m10
89V13 Is_Greater_Element_Node{boolean} 90>7 91>7 92r19 151r32 1356b13 1364l8
. 1364t31
90*7 Left{3|41+9} 1357b7 1363r34
91p7 Right{3|319P9} 1358b7 1363r14
94V13 Is_Less_Element_Node{boolean} 95>7 96>7 97r19 150r32 1370b13 1376l8
. 1376t28
95*7 Left{3|41+9} 1371b7 1375r14
96p7 Right{3|319P9} 1372b7 1375r21
99V13 Is_Less_Node_Node{boolean} 99>32 99>35 100r19 159r30 1382b13 1385l8
. 1385t25
99p32 L{3|319P9} 1382b32 1384r14
99p35 R{3|319P9} 1382b35 1384r30
102V13 Left{3|319P9} 102>19 103r19 1564b13 1567l8 1567t12 8|41i19
102p19 Node{3|319P9} 1564b19 1566r14
105V13 Parent{3|319P9} 105>21 106r19 1649b13 1652l8 1652t14 8|39i19
105p21 Node{3|319P9} 1649b21 1651r14
108U14 Replace_Element 109=7 110>7 111>7 986s10 1841b14 1962l8 1962t23 1985s7
109r7 Tree{5|41R12[3|331]} 1842b7 1897r13 1917r37 1924r16 1949m46 1952m22
110p7 Node{3|319P9} 1843b7 1846r22 1847r22 1876m10 1876r10 1877m10 1877r10
. 1878m10 1878r10 1879m10 1879r10 1880m10 1880r10 1881r17 1888r29 1893r17
. 1893r42 1910m13 1910r13 1923r20 1937m16 1937r16 1949r52 1959r31
111*7 Item{3|41+9} 1844b7 1876r44 1893r10 1893r61 1910r47 1917r43 1922r13
. 1937r50 1945r49 1954r22
113V13 Right{3|319P9} 113>20 114r19 2034b13 2037l8 2037t13 8|43i19
113p20 Node{3|319P9} 2034b20 2036r14
116U14 Set_Color 116>25 116>45 117r19 2043b14 2046l8 2046t17 8|46i19
116p25 Node{3|319P9} 2043b25 2045m7 2045r7
116e45 Color{5|35E9} 2043b45 2045r21
119U14 Set_Left 119>24 119>44 120r19 2052b14 2055l8 2055t16 8|42i19
119p24 Node{3|319P9} 2052b24 2054m7 2054r7
119p44 Left{3|319P9} 2052b44 2054r20
122U14 Set_Parent 122>26 122>48 123r19 2061b14 2064l8 2064t18 8|40i19
122p26 Node{3|319P9} 2061b26 2063m7 2063r7
122p48 Parent{3|319P9} 2061b46 2063r22
125U14 Set_Right 125>25 125>45 126r19 2070b14 2073l8 2073t17 8|44i19
125p25 Node{3|319P9} 2070b25 2072m7 2072r7
125p45 Right{3|319P9} 2070b45 2072r21
132U14 Free_Element[18|20] 465s10 749s10 1174s13 1255s13 1308s16 1833s10
. 1911s13 1938s16 1961s7
135K12 Tree_Operations[8|48] 139r10 142r10 144r8 148r32 155r30 235r13 321r28
. 373r11 490r7 503r7 516r10 530r10 593r14 624r10 786r35 857r10 896r13 1115r13
. 1408r13 1582r26 1612r41 1678r12 1759r14 1949r7 2000r14 2134r14
138U14 Delete_Tree[8|89] 142r56 158r30 373r42
141V13 Copy_Tree[8|95]{3|319P9} 157r30 321r60
146K12 Element_Keys[6|50] 362r9 496r26 621r26 665r38 725r38 1228r13 1231r13
. 1285r13 1288r13 1291r14 1808r9 1853r13 1856r13 1859r13 1917r15
153K12 Set_Ops[10|55] 541r7 545r36 1333r7 1338r9 1393r14 1642r14 2081r7 2086r9
. 2111r7 2115r36
231V16 Is_Equal_Node_Node{boolean} 231>36 231>39 232r22 235r44 241b16 244l11
. 244t29
231p36 L{3|319P9} 241b36 243r17
231p39 R{3|319P9} 241b39 243r33
234V16 Is_Equal[8|76]{boolean} 249s14
321U14 Adjust[8|103] 325s7
332r13 Tree{5|41R12[3|331]} 333r33 334r33
333i13 B{natural} 336r13 336r18
334i13 L{natural} 337r13 337r18
361p7 Node{3|319P9} 364r18 365r59
372U14 Clear[8|111] 377s7 1582r56 1759r44
416r10 Tree{5|41R12[3|331]} 417r30 418r30
417i10 B{natural} 424r13 424r18
418i10 L{natural} 425r13 425r18
420r17 R{3|94R9}
445r14 Target{3|52R9} 446m10 446r10
455p7 Element{3|321P9} 462r40 465m24 465r24
496p7 X{3|319P9} 499r10 503r62 504m13 504r13
512r7 Tree{5|41R12[3|331]} 513r29 516r49
513p7 X{3|319P9} 515r10 516r55 517m16 517r16
526r7 Tree{5|41R12[3|331]} 527r29 530r49
527p7 X{3|319P9} 529r10 530r55 531m16 531r16
545r7 Tree{5|41R12[3|331]} 547r35
589V16 Is_Equivalent_Node_Node{boolean} 589>41 589>44 590r22 593r45 599b16
. 608l11 608t34
589p41 L{3|319P9} 599b41 601r13 603r32
589p44 R{3|319P9} 599b44 601r29 603r16
592V16 Is_Equivalent[8|76]{boolean} 613s14
621p7 X{3|319P9} 623r10 624r65 625m16 625r16
637i13 B{natural} 639r13 639r18
648r13 Tree{5|41R12[3|331]} 649r33 650r33
649i13 B{natural} 652r13 652r18
650i13 L{natural} 653r13 653r18
665p7 Node{3|319P9} 667r10 670r56
725p7 Node{3|319P9} 727r18 728r59
736U17 Deallocate[18|20] 753s13 757s7
770V16 Is_Greater_Key_Node{boolean} 771>10 772>10 773r22 789r35 927b16 933l11
. 933t30
771*10 Left{3|234+12} 928b10 932r43
772p10 Right{3|319P9} 929b10 932r22
775V16 Is_Less_Key_Node{boolean} 776>10 777>10 778r22 788r35 939b16 945l11
. 945t27
776*10 Left{3|234+12} 940b10 944r17
777p10 Right{3|319P9} 941b10 944r29
784K15 Key_Keys[6|50] 796r41 810r41 850r29 866r41 893r29 906r41 917r41 978r41
. 1038r41
796p10 Node{3|319P9} 798r21 799r62
810p10 Node{3|319P9} 813r13 817r13 827r27
822r13 Tree{5|41R12[3|331]} 823r33 824r33
823i13 B{natural} 830r16 830r21
824i13 L{natural} 831r16 831r21
826r20 R{3|94R9}
850p10 X{3|319P9} 853r13 857r65 858m16 858r16
866p10 Node{3|319P9} 868r13 871r20
893p10 X{3|319P9} 895r13 896r68 897m19 897r19
906p10 Node{3|319P9} 908r21 909r62
917p10 Node{3|319P9} 919r21 920r62
978p10 Node{3|319P9} 981r13 986r43
1038p10 Node{3|319P9} 1041r13 1045r13 1053r29
1064*36 Element{3|41+9}
1066r10 Tree{5|41R12[3|331]} 1088r33 1089r33 1115r52
1085*13 E{3|41+9} 1086r43 1096r25 1107r41
1086*13 K{3|234+12} 1107r33
1088i13 B{natural} 1092r13 1092r18 1100r19 1100r24 1105r13 1105r18
1089i13 L{natural} 1093r13 1093r18 1099r19 1099r24 1104r13 1104r18
1113p13 X{3|319P9} 1115r58 1116m19 1116r19
1150r7 Position{3|59R9} 1156m36 1172r18 1173m13
1151b7 Inserted{boolean} 1156m46 1158r14
1153p7 X{3|321P9} 1172m13 1174m27 1174r27
1200r7 Position{3|59R9} 1201r28 1206m36
1203b7 Inserted{boolean} 1206m46 1208r14
1224V16 New_Node{3|319P9} 1225r22 1228r47 1237b16 1257l11 1257t19
1227U17 Insert_Post[6|55] 1231r54
1230U17 Conditional_Insert_Sans_Hint[6|74] 1262s7
1244p10 Element{3|321P9} 1251r43 1255m27 1255r27
1279b7 Success{boolean} 1280r28 1324m10
1282V16 New_Node{3|319P9} 1285r47 1299b16 1314l11 1314t19
1284U17 Insert_Post[6|55] 1288r54 1292r14
1287U17 Insert_Sans_Hint[6|74] 1293r14
1290U17 Insert_With_Hint[6|145] 1319s7
1300p10 Element{3|321P9} 1308m30 1308r30 1312r26
1301p10 Node{3|319P9} 1305m13 1312m10 1312r10 1313r17
1337r7 Tree{5|41R12[3|331]} 1340r35
1402r46 Position{3|59R9}
1404U17 Process_Node 1404>31 1405r22 1408r48 1414b17 1417l11 1417t23
1404p31 Node{3|319P9} 1414b31 1416r58
1407U17 Local_Iterate[8|125] 1428s10
1419r7 T{5|41R12[3|331]} 1420r27 1428r25
1420i7 B{natural} 1425r7 1425r12 1431r13 1431r18 1435r7 1435r12
1442i7 B{natural} 1460r10 1460r15
1455r14 It{45R9}
1469i7 B{natural} 1510r10 1510r15
1505r14 It{45R9}
1582U14 Move[8|117] 1586s7
1612p10 Node{3|319P9} 1614r21 1615r51
1677p10 Node{3|319P9} 1680r21 1681r51
1708*46 Element{3|41+9}
1723r10 T{5|41R12[3|331]} 1725r30 1726r30
1725i10 B{natural} 1729r10 1729r15 1737r16 1737r21 1742r10 1742r15
1726i10 L{natural} 1730r10 1730r15 1736r16 1736r21 1741r10 1741r15
1754V16 Read_Node{3|319P9} 1755^10 1756r22 1759r51 1765b16 1778l11 1778t20
1755p10 Stream(15|39R9) 1766b10 1771r64
1758U17 Read[8|150] 1783s7
1768p10 Node{3|319P9} 1771m10 1771r10 1772r17 1776m19 1776r19
1807p7 Node{3|319P9} 1814r10 1831r15 1832m10 1832r10
1810p7 X{3|321P9} 1811r29 1831m10 1833m24 1833r24
1849V16 New_Node{3|319P9} 1850r22 1853r47 1867b16 1882l11 1882t19
1852U17 Local_Insert_Post[6|55] 1856r54 1860r12
1855U17 Local_Insert_Sans_Hint[6|74] 1861r12
1858U17 Local_Insert_With_Hint[6|145] 1951s7
1884p7 Hint{3|319P9} 1917m7 1919r10 1922r20 1923r13 1945r30 1953r22
1885p7 Result{3|319P9} 1955m22 1955r22 1959r22
1886b7 Inserted{boolean} 1956m22 1958r22
1888p7 X{3|321P9} 1911m27 1911r27 1938m30 1938r30 1961m21 1961r21
1994r46 Position{3|59R9}
1996U17 Process_Node 1996>31 1997r22 2000r57 2006b17 2009l11 2009t23
1996p31 Node{3|319P9} 2006b31 2008r58
1999U17 Local_Reverse_Iterate[8|131] 2020s10
2011r7 T{5|41R12[3|331]} 2012r27 2020r33
2012i7 B{natural} 2017r7 2017r12 2023r13 2023r18 2027r7 2027r12
2085r7 Tree{5|41R12[3|331]} 2088r35
2096r7 Tree{5|41R12[3|331]} 2101m25 2101r25 2102r35
2097p7 Node{3|319P9} 2099r28 2101m41 2101r41
2098b7 Inserted{boolean} 2099r34 2101m47
2115r7 Tree{5|41R12[3|331]} 2117r35
2128U17 Write_Node 2129^10 2130>10 2131r22 2134r45 2140b17 2146l11 2146t21
2129p10 Stream(15|39R9) 2141b10 2145r31
2130p10 Node{3|319P9} 2142b10 2145r39
2133U17 Write[8|139] 2151s7
X 5 a-crbltr.ads
32K24*Red_Black_Trees 3|36w29 327r17 327r47 331r30 343r8 4|30r21 33r21 36r21
. 136r10 147r10 785r13 1250r43 5|75e35
35E9*Color_Type 3|327r33 4|69r47 116r53 384r47 2043r53 5|35e35
35n24*Red{35E9} 3|327r63 4|1250r59 1877r24
38+12 Node_Type
39P12 Node_Access(38+12[8|36[10|36]])
40k12*Generic_Tree_Types 3|331r46 5|49e26
41R12 Tree_Type 3|336r25[331] 4|78r25[3|331] 84r25[3|331] 109r21[3|331] 332r20[3|331]
. 416r17[3|331] 512r14[3|331] 526r14[3|331] 545r23[3|331] 648r20[3|331] 822r20[3|331]
. 1066r17[3|331] 1219r25[3|331] 1274r25[3|331] 1337r23[3|331] 1419r11[3|331]
. 1723r14[3|331] 1842r21[3|331] 2011r11[3|331] 2085r23[3|331] 2096r18[3|331]
. 2115r23[3|331]
42p10 First{3|319P9} 3|410m44[331] 4|513r34[3|331] 681r28[3|331] 682r69[3|331]
. 713r25[3|331] 716r31[3|331] 716r32[3|331]
43p10 Last{3|319P9} 3|411m44[331] 4|527r34[3|331] 1521r28[3|331] 1522r69[3|331]
. 1553r25[3|331] 1556r31[3|331] 1556r32[3|331]
44p10 Root{3|319P9} 3|412m44[331]
45i10 Length{2|20I9} 3|413m44[331] 4|1349r29[3|331] 1575r29[3|331]
46i10 Busy{natural} 3|414m44[331] 4|333m38[3|331] 417m35[3|331] 637m59[3|331]
. 649m38[3|331] 823m38[3|331] 1088m38[3|331] 1420m29[3|331] 1442m67[3|331]
. 1469m67[3|331] 1725m32[3|331] 2012m29[3|331]
47i10 Lock{natural} 3|415m44[331] 4|334m38[3|331] 418m35[3|331] 650m38[3|331]
. 824m38[3|331] 1089m38[3|331] 1159r28[3|331] 1726m32[3|331] 1818r25[3|331]
. 1897r18[3|331] 1924r21[3|331]
X 6 a-crbtgk.ads
36K17 Tree_Operations 4|148r9 786r12
40+9 Key_Type 4|149r9 787r12
42V18 Is_Less_Key_Node{boolean} 4|150r9 788r12
46V18 Is_Greater_Key_Node{boolean} 4|151r9 789r12
50k40*Generic_Keys 4|33w37 147r26 785r29 6|192e48
55u14 Generic_Insert_Post 4|1228r26[146] 1285r26[146] 1853r26[146]
74u14 Generic_Conditional_Insert 4|1231r26[146] 1288r26[146] 1856r26[146]
145u14 Generic_Conditional_Insert_With_Hint 4|1291r27[146] 1859r26[146]
146r7 Tree{5|41R12[3|331]} 4|1952r10[1858]
147p7 Position{3|319P9} 4|1953r10[1858]
148*7 Key{3|41+9} 4|1954r10[1858]
149p7 Node{3|319P9} 4|1955r10[1858]
150b7 Inserted{boolean} 4|1956r10[1858]
156V13 Find{3|319P9} 4|496s39[146] 621s39[146] 665s51[146] 810s50[784] 850s38[784]
. 866s50[784] 893s38[784] 906s50[784] 978s50[784] 1038s50[784] 1808s22[146]
161V13 Ceiling{3|319P9} 4|362s22[146] 796s50[784] 1917s28[146]
166V13 Floor{3|319P9} 4|725s51[146] 917s50[784]
X 8 a-crbtgo.ads
48k40*Generic_Operations 4|30w37 136r26 8|163e54
64V13 Vet{boolean} 4|184s22[135] 187s22[135] 203s22[135] 219s22[135] 274s22[135]
. 277s22[135] 295s22[135] 311s22[135] 412s10[135] 487s22[135] 564s22[135]
. 963s25[135] 1024s13[135] 1081s25[135] 1493s22[135] 1608s22[135] 1673s22[135]
. 1719s22[135] 1982s22[135]
68V13 Next{3|319P9} 4|1612s57[135]
71V13 Previous{3|319P9} 4|1678s28[135]
76v13 Generic_Equal 4|235r29[135] 593r30[135]
81U14 Delete_Node_Sans_Free 4|490s23[135] 503s23[135] 516s26[135] 530s26[135]
. 624s26[135] 857s26[135] 896s29[135] 1115s29[135] 1949s23[135]
89u14 Generic_Delete_Tree 4|139r26[135]
95v13 Generic_Copy_Tree 4|142r26[135]
103u14 Generic_Adjust 4|321r44[135]
111u14 Generic_Clear 4|373r27[135]
117u14 Generic_Move 4|1582r42[135]
117r28 Target{5|41R12[3|331]} 4|1586r13[1582]
117r36 Source{5|41R12[3|331]} 4|1586r36[1582]
125u14 Generic_Iteration 4|1408r29[135]
131u14 Generic_Reverse_Iteration 4|2000r30[135]
139u14 Generic_Write 4|2134r30[135]
150u14 Generic_Read 4|1759r30[135]
X 10 a-rbtgso.ads
36K17 Tree_Operations 4|155r10
40U19 Insert_With_Hint 4|156r10
46V18 Copy_Tree{5|39P12[8|36[10|36]]} 4|157r10
49U19 Delete_Tree 4|158r10
51V18 Is_Less{boolean} 4|159r10
53U19 Free 4|160r10
55k40*Generic_Set_Operations 4|36w37 154r11 10|106e58
58U14 Union 4|2111s15[153]
66V13 Union{5|41R12[3|331]} 4|2115s44[153]
70U14 Intersection 4|1333s15[153]
74V13 Intersection{5|41R12[3|331]} 4|1338s17[153]
78U14 Difference 4|541s15[153]
82V13 Difference{5|41R12[3|331]} 4|545s44[153]
86U14 Symmetric_Difference 4|2081s15[153]
93V13 Symmetric_Difference{5|41R12[3|331]} 4|2086s17[153]
98V13 Is_Subset{boolean} 4|1393s22[153]
98r24 Subset{5|41R12[3|331]} 4|1393r33[153]
98r44 Of_Set{5|41R12[3|331]} 4|1393r56[153]
102V13 Overlap{boolean} 4|1642s22[153]
X 13 a-finali.ads
40K13*Finalization 3|37w18 335r24 345r12 13|73e21
48H9*Controlled 3|335r37 381r11 410r19 4|422r25 547r19 828r28 1340r19 2088r19
. 2102r19 2117r19 13|64e72
51U14*Initialize<21|44p14>
55H9*Limited_Controlled 4|45r25 1456r19 1506r10 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|226r38[68] 231r38[68] 4|46r30[3|68]
. 1440r38[3|68] 1467r38[3|68]
X 15 a-stream.ads
36K13*Streams 3|38w18 299r15 346r12 15|69e16
39H9*Root_Stream_Type 3|302r35 308r35 349r35 355r35 369r32 375r32 398r32
. 404r32 4|994r35 1127r35 1751r35 1755r35 1766r35 1787r32 1795r32 2125r35
. 2129r35 2141r35 2155r32 2163r32 15|67e64
X 18 a-uncdea.ads
20u15*Unchecked_Deallocation 4|39w10 133r14 737r17
X 19 system.ads
37K9*System 4|41w6 41r23 19|152e11
64M9*Address 4|41r30
78V14*"="{boolean} 4|348r25
X 21 s-finroo.ads
42U14*Adjust
OHA YOOOO