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_DIRECT_BOOLEAN_OPERATORS
RV NO_DISPATCH
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_RECURSION
RV NO_STANDARD_STORAGE_POOLS
RV NO_STREAMS
RV NO_UNCHECKED_ACCESS
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLICIT_ALIASING
RV SPARK
U ada.containers.formal_ordered_maps%b a-cforma.adb ac8eb953 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
Z ada.streams%s a-stream.ads a-stream.ali
W system%s system.ads system.ali
U ada.containers.formal_ordered_maps%s a-cforma.ads 0316f51f BN NE OL PU 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.streams%s a-stream.ads a-stream.ali
D ada.ads 20121213103024 3ffc8e18
D a-contai.ads 20121213103024 61e5e089
D a-cforma.ads 20121213103024 f6f527a4
D a-cforma.adb 20121213103024 8a4fc200
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-except.ads 20121213103024 10fcae55
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-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|56r14 57r14 66r9 232r10 237r8 271r5 4|28r6 32r6 37r14 47r32
. 61r15 1397r5
X 2 a-contai.ads
16K13*Containers 1|16k9 2|24e19 3|56r18 66r13 232r14 271r9 4|28r10 32r10
. 37r18 47r36 61r19 1397r9
20I9*Count_Type<integer> 3|71r25 83r45 91r44 217r27 234r25 4|50r48 53r46
. 56r49 64r56 67r58 70r60 83r18 85r43 121r15 122r15 123r15 157r47 166r47
. 172r35 191r35 192r22 208r24 240r23 281r44 282r14 283r14 286r28 440r23 494r23
. 510r12 523r18 828r14 852r48 861r45 943r19 944r19 945r28 946r28 977r46 1005r26
. 1211r14 1236r49 1254r56 1263r60 1272r58 1282r15 1283r15
X 3 a-cforma.ads
60+9 Key_Type 63r37 69r44 93r61 106r38 112r38 118r19 125r19 131r19 136r19
. 141r19 144r53 146r52 158r48 164r47 174r42 176r45 178r43 180r45 182r46 227r17
. 4|88r15 93r15 112r32 239r45 272r46 340r52 396r45 411r44 426r53 439r42 480r48
. 493r43 551r19 577r19 624r19 644r19 702r15 716r15 769r61 812r47 1024r56
. 1046r18 1086r10 1110r19 1315r56 1337r17 1379r10
61+9 Element_Type 64r37 95r65 100r19 106r58 112r65 119r19 132r19 137r19 142r19
. 156r52 162r51 176r62 228r17 4|382r65 396r62 467r52 552r19 578r19 625r19
. 799r51 1025r56 1047r18 1087r10 1111r19 1143r19 1316r63 1338r17 1380r10
63V19 "<"{boolean} 63>23 63>29 4|413s15 414s23 708s24 720s19 960s40 963s44
63*23 Left{60+9}
63*29 Right{60+9}
64V19 "="{boolean} 64>23 64>29 4|141r38 1295r40
64*23 Left{61+9}
64*29 Right{61+9}
66k24*Formal_Ordered_Maps 2|16k13 3|60z9 61z9 63z19 64z19 271l20 271e39 4|37b29
. 314r16 337r7 349r7 361r10 374r10 431r10 903r10 1397l20 1397t39
69V13*Equivalent_Keys{boolean} 69>30 69>36 4|411b13 420l8 420t23
69*30 Left{60+9} 4|411b30 413r10 414r25
69*36 Right{60+9} 4|411b36 413r17 414r17
71R9*Map 71d14 72r41 77r25 81p14 81r32 83p13 83r33 85p13 85r35 87p14 87r40
. 89p14 89r38 89r52 91p13 91r28 91r68 93p13 93r30 95p13 95r34 97p14 98r26
. 102p14 103r26 108p14 109r26 114p14 114r36 114r57 116p14 117r26 123p14 124r26
. 129p14 130r26 134p14 135r26 139p14 140r26 144p14 144r42 146p14 146r41 148p14
. 148r41 150p14 150r47 152p14 152r46 154p13 154r32 156p13 156r40 158p13 158r36
. 160p13 160r31 162p13 162r39 164p13 164r35 166p13 166r31 168p14 168r32 170p13
. 170r35 172p14 172r36 174p13 174r31 176p13 176r34 178p13 178r32 180p13 180r34
. 182p13 182r35 184p13 184r38 186p14 187r19 189r48 191p14 192r19 194r44 196p13
. 196r41 201p13 201r32 201r63 202p13 202r32 202r63 210p13 210r36 234c9 235e59
. 257p14 259r19 261r8 263p14 265r23 267r8 269r25 4|85r34 120r32 156r38 156r52
. 239r34 254r40 272r35 281r28 281r68 286r23 325r41 340r41 356r47 369r46 382r34
. 396r34 426r42 439r31 454r32 467r40 480r36 493r32 509r21 536r38 550r26 576r26
. 623r26 643r26 692r35 728r19 730r48 769r30 786r31 799r39 812r35 825r31 825r62
. 827r14 861r33 870r36 870r57 911r32 916r31 936r36 986r36 991r35 1022r26
. 1069r23 1109r26 1141r26 1167r19 1168r58 1208r32 1208r63 1210r14 1281r41
. 1313r26 1360r19
71i14 Capacity{2|20I9} 234r14 235r33 269m33 4|227r17 286r51 294r34 827r29
. 827r69 879r17 1210r29 1210r69
74R9*Cursor 75r41 79r26 93r46 95r50 99r19 104r19 110r19 120r23 126r23 148r64
. 154r44 160r43 166r47 166r62 168r55 170r51 170r66 172r59 174r59 178r60 180r62
. 184r54 189r64 194r60 201r48 202r48 239c9 241e14 245r16 247r8 251r20 253r8
. 255r26 4|239r62 325r64 382r50 439r59 454r44 493r60 536r54 554r18 579r23
. 627r18 645r23 730r64 769r46 786r43 825r47 826r14 911r55 916r47 916r62 986r59
. 991r51 991r66 1023r19 1098r20 1142r19 1169r57 1208r48 1209r14 1314r19 1391r16
77r4*Empty_Map{71R9} 269c4
79r4*No_Element{74R9} 255c4 4|244r17 274r39 444r17 457r17 498r17 789r17 831r17
. 918r21 919r17 993r21 994r17 1010r20 1214r17 1219r22
81V14*"="{boolean} 81>18 81>24 4|120b14 150l9 150t11
81r18 Left{71R9} 4|120b18 126r18 130r20 134r20 134r32 136r22 138r32 141r12
. 146r24
81r24 Right{71R9} 4|120b24 126r35 138r25 141r41
83V13*Length{2|20I9} 83>21 4|126s10 126s27 227s28 287s13 456s10 694s14 788s10
. 861b13 864l8 864t14 879s28 938s10 938s31 1286s10 1286s27
83r21 Container{71R9} 4|861b21 863r14
85V13*Is_Empty{boolean} 85>23 4|130s10 469s10 482s10 692b13 695l8 695t16
. 801s10 814s10
85r23 Container{71R9} 4|692b23 694r22
87U14*Clear 87=21 4|254b14 257l8 257t13 889s7 1215s10
87r21 Container{71R9} 4|254b21 256m35
89U14*Assign 89=22 89>43 4|156b14 233l8 233t14
89r22 Target{71R9} 4|156b22 194m23 214m22 223m10 223r10 227r10 231m35
89r43 Source{71R9} 4|156b43 167r33 223r27 227r36 232r24
91V13*Copy{71R9} 91>19 91>33 4|281b13 319l8 319t12 827s42 1210s42
91r19 Source{71R9} 4|281b19 286r44 287r21 288r30 289r28 290r29 291r28 292r28
. 294r27 296r18 298r18 300r18 302r18 304r18 306r18 308r18
91i33 Capacity{2|20I9} 4|281b33 286r61
93V13*Key{60+9} 93>18 93>35 4|769b13 780l8 780t11
93r18 Container{71R9} 4|769b18 771r27 776r27 779r14
93r35 Position{74R9} 4|769b35 771r38 776r38 779r31
95V13*Element{61+9} 95>22 95>39 4|382b13 394l8 394t15
95r22 Container{71R9} 4|382b22 384r27 389r27 392r14
95r39 Position{74R9} 4|382b39 384r38 389r38 392r31
97U14*Replace_Element 98=7 99>7 100>7 4|1140b14 1160l8 1160t23
98r7 Container{71R9} 4|1141b7 1146r27 1151r10 1156r27 1159m7
99r7 Position{74R9} 4|1142b7 1146r38 1156r38 1159r24
100*7 New_Item{61+9} 4|1143b7 1159r50
102U14*Query_Element 103=7 104>7 105^7 4|1021b14 1061l8 1061t21
103r7 Container{71R9} 4|1022b7 1028r27 1033r27 1037m30 1037r30 1038m30 1038r30
. 1045r36
104r7 Position{74R9} 4|1023b7 1028r38 1033r38 1045r53
105p7 Process 4|1024b7 1050r13
106*32 Key{60+9}
106*48 Element{61+9}
108U14*Update_Element 109=7 110>7 111^7 4|1312b14 1352l8 1352t22
109r7 Container{71R9} 4|1313b7 1319r27 1324r27 1328m30 1328r30 1329m30 1329r30
. 1336m35 1336r35
110r7 Position{74R9} 4|1314b7 1319r38 1324r38 1336r52
111p7 Process 4|1315b7 1341r13
112*32 Key{60+9}
112*48 Element{61+9}
114U14*Move 114=20 114=41 4|870b14 905l8 905t12
114r20 Target{71R9} 4|870b20 875m10 875r10 879r10 889m14 900m18
114r41 Source{71R9} 4|870b41 871r42 875m27 875r27 879r36 884r10 892r22 902m49
. 903m36
116U14*Insert 117=7 118>7 119>7 120<7 121<7 4|558s7 575b14 620l8 620t14 631s7
117r7 Container{71R9} 4|576b7 608m25 616m10
118*7 Key{60+9} 4|577b7 601r25 617r10
119*7 New_Item{61+9} 4|578b7 602r29
120r7 Position{74R9} 4|579b7 618m10 618r10
121b7 Inserted{boolean} 4|580b7 619m10
123U14*Insert 124=7 125>7 126<7 127<7 4|642b14 686l8 686t14
124r7 Container{71R9} 4|643b7 678m25 685m25
125*7 Key{60+9} 4|644b7 670r25 685r36
126r7 Position{74R9} 4|645b7 685m41 685r41
127b7 Inserted{boolean} 4|646b7 685m56
129U14*Insert 130=7 131>7 132>7 4|622b14 636l8 636t14 900s10
130r7 Container{71R9} 4|623b7 631m15
131*7 Key{60+9} 4|624b7 631r26
132*7 New_Item{61+9} 4|625b7 631r31
134U14*Include 135=7 136>7 137>7 4|549b14 573l8 573t15
135r7 Container{71R9} 4|550b7 558m15 561r13 567m35 567r35
136*7 Key{60+9} 4|551b7 558r26 569r22
137*7 New_Item{61+9} 4|552b7 558r31 570r26
139U14*Replace 140=7 141>7 142>7 4|1108b14 1134l8 1134t15
140r7 Container{71R9} 4|1109b7 1115r55 1122r13 1128m35 1128r35
141*7 Key{60+9} 4|1110b7 1115r66 1130r22
142*7 New_Item{61+9} 4|1111b7 1131r26
144U14*Exclude 144=23 144>47 4|426b14 433l8 433t15
144r23 Container{71R9} 4|426b23 427r49 430m49 431m36
144*47 Key{60+9} 4|426b47 427r60
146U14*Delete 146=22 146>46 4|340b14 350l8 350t14
146r22 Container{71R9} 4|340b22 341r49 348m46 349m33
146*46 Key{60+9} 4|340b46 341r60
148U14*Delete 148=22 148=46 4|325b14 338l8 338t14 841s10 1225s10
148r22 Container{71R9} 4|325b22 327r27 332r27 335m46 337m33
148r46 Position{74R9} 4|325b46 327r38 332r38 336r46 337r44
150U14*Delete_First 150=28 4|356b14 363l8 363t20
150r28 Container{71R9} 4|356b28 357r42 360m49 361m36
152U14*Delete_Last 152=27 4|369b14 376l8 376t19
152r27 Container{71R9} 4|369b27 370r41 373m49 374m36
154V13*First{74R9} 154>20 4|136s15 357s35 454b13 461l8 461t13 473s31 486s31
. 892s15 943s42 944s42 1209s24 1282s29 1283s29
154r20 Container{71R9} 4|454b20 456r18 460r23
156V13*First_Element{61+9} 156>28 4|467b13 474l8 474t21
156r28 Container{71R9} 4|467b28 469r20 473r14 473r38
158V13*First_Key{60+9} 158>24 4|480b13 487l8 487t17
158r24 Container{71R9} 4|480b24 482r20 486r14 486r38
160V13*Last{74R9} 160>19 4|134s26 370s35 786b13 793l8 793t12 805s31 818s31
. 945s54 946s55
160r19 Container{71R9} 4|786b19 788r18 792r23
162V13*Last_Element{61+9} 162>27 4|799b13 806l8 806t20
162r27 Container{71R9} 4|799b27 801r20 805r14 805r37
164V13*Last_Key{60+9} 164>23 4|812b13 819l8 819t16
164r23 Container{71R9} 4|812b23 814r20 818r14 818r37
166V13*Next{74R9} 166>19 166>36 4|842s18 913s19 916b13 930l8 930t12 1226s18
166r19 Container{71R9} 4|916b19 922r27 926r27 929r45
166r36 Position{74R9} 4|916b36 918r10 922r38 926r38 929r56
168U14*Next 168>20 168=37 4|911b14 914l8 914t12
168r20 Container{71R9} 4|911b20 913r25
168r37 Position{74R9} 4|911b37 913m7 913r36
170V13*Previous{74R9} 170>23 170>40 4|988s19 991b13 1015l8 1015t16
170r23 Container{71R9} 4|991b23 997r27 1001r27 1006r38
170r40 Position{74R9} 4|991b40 993r10 997r38 1001r38 1006r49
172U14*Previous 172>24 172=41 4|986b14 989l8 989t16
172r24 Container{71R9} 4|986b24 988r29
172r41 Position{74R9} 4|986b41 988m7 988r40
174V13*Find{74R9} 174>19 174>36 4|138s19 274s14 397s38 439b13 448l8 448t12
174r19 Container{71R9} 4|439b19 440r51
174*36 Key{60+9} 4|439b36 440r62
176V13*Element{61+9} 176>22 176>39 4|396b13 405l8 405t15
176r22 Container{71R9} 4|396b22 397r44 404r14
176*39 Key{60+9} 4|396b39 397r55
178V13*Floor{74R9} 178>20 178>37 4|493b13 502l8 502t13
178r20 Container{71R9} 4|493b20 494r52
178*37 Key{60+9} 4|493b37 494r63
180V13*Ceiling{74R9} 180>22 180>39 4|239b13 248l8 248t15
180r22 Container{71R9} 4|239b22 240r54
180*39 Key{60+9} 4|239b39 240r65
182V13*Contains{boolean} 182>23 182>40 4|272b13 275l8 275t16
182r23 Container{71R9} 4|272b23 274r20
182*40 Key{60+9} 4|272b40 274r31
184V13*Has_Element{boolean} 184>26 184>43 4|327s14 384s14 536b13 543l8 543t19
. 771s14 835s14 922s14 997s14 1028s14 1146s14 1219s41 1319s14
184r26 Container{71R9} 4|536b26 542r14
184r43 Position{74R9} 4|536b43 538r10 542r31
186U14*Iterate 187>7 188^7 4|727b14 763l8 763t15
187r7 Container{71R9} 4|728b7 744r19 747r27 755r25
188p7 Process 4|729b7 744r10
189r36 Container{71R9}
189r53 Position{74R9}
191U14*Reverse_Iterate 192>7 193^7 4|1166b14 1202l8 1202t23
192r7 Container{71R9} 4|1167b7 1183r19 1186r27 1194r33
193p7 Process 4|1168b7 1183r10
194r32 Container{71R9}
194r49 Position{74R9}
196V13*Strict_Equal{boolean} 196>27 196>33 4|1281b13 1306l8 1306t20
196r27 Left{71R9} 4|1281b27 1282r36 1286r18 1295r13 1296r20 1301r25
196r33 Right{71R9} 4|1281b33 1283r36 1286r35 1295r43 1296r46 1302r25
201V13*Left{71R9} 201>20 201>37 4|51r19 825b13 846l8 846t12
201r20 Container{71R9} 4|825b19 827r19 827r48 827r59 835r27 842r24
201r37 Position{74R9} 4|825b36 826r24
202V13*Right{71R9} 202>20 202>37 4|57r19 1208b13 1230l8 1230t13
202r20 Container{71R9} 4|1208b20 1209r31 1210r19 1210r48 1210r59 1219r54
. 1226r24
202r37 Position{74R9} 4|1208b37 1219r10 1219r65 1223r26
210V13*Overlap{boolean} 210>22 210>28 4|936b13 971l8 971t15
210r22 Left{71R9} 4|936b22 938r18 943r49 945r48 945r60 949r13 960r16 961r32
. 963r46
210r28 Right{71R9} 4|936b28 938r39 944r49 946r48 946r61 949r28 960r42 963r19
. 964r32
217I12 Node_Access{2|20I9} 223r17 224r17 225r17 240r14 4|341r20 357r20 370r20
. 397r23 427r20 582r32 595r32 605r14 648r32 660r32 673r14 732r38 742r38 872r12
. 1115r26 1171r38 1181r38
221R9 Node_Type 229e14 232r69 4|47r14 50r30 53r28 56r31 60r22 64r38 67r39
. 70r40 80r49 89r15 94r15 167r15 169r47 202r47 263r27 567r17 596r46 599r46
. 661r46 668r46 703r15 717r15 852r30 977r28 1045r18 1071r45 1084r45 1128r17
. 1236r31 1245r40 1254r38 1263r40 1272r39 1336r17 1364r19 1376r19
222b7 Has_Element{boolean} 4|307m36 308r38 513m22 529m25 542r46
223i7 Parent{217I12} 4|299m36 300r38 979r19 1265m12
224i7 Left{217I12} 4|301m36 302r38 854r19 1256m12
225i7 Right{217I12} 4|303m36 304r38 1238r19 1274m12
226e7 Color{5|35E9} 4|265r19 305m36 306r38 1247m12
227*7 Key{60+9} 4|138r50 204m18 204r28 216r25 297m36 298r38 486r55 569m15
. 601m18 670m18 708r20 720r27 779r46 818r54 900r33 960r36 960r63 963r40 963r66
. 1046m37 1086r38 1130m15 1296r39 1296r66 1337m36 1379r39
228*7 Element{61+9} 4|141r30 141r61 205m18 205r32 295m36 296r38 392r46 404r37
. 473r55 570m15 602m18 805r54 900r45 1047m41 1087r42 1131m15 1159m39 1295r32
. 1295r63 1338m40 1380r43
231K12 Tree_Types[5|53] 235r11 4|82r21 103r23 522r21 871r12
240i7 Node{217I12} 255m37 4|134r38 136r28 138r55 247m15 332r47 336r55 337r53
. 357r53 370r52 389r47 392r40 397r60 447m15 460m15 473r49 486r49 501m15 538r19
. 542r40 567r61 618m19 685m50 744m31 776r47 779r40 792m15 805r48 818r48 839r18
. 840r23 842m36 892r30 926r47 929m15 929r65 943r55 944r56 945r66 946r68 1001r47
. 1006r58 1013m18 1033r47 1045r62 1156r47 1159r33 1183m31 1223r18 1223r35
. 1224r23 1226m36 1282r42 1283r43 1324r47 1336r61
243U14 Write 244^7 245>7 4|1389b14 1395l8 1395t13
244p7 Stream(11|39R9) 4|1390b7
245r7 Item{74R9} 4|1391b7
249U14 Read 250^7 251<7 4|1096b14 1102l8 1102t12
250p7 Stream(11|39R9) 4|1097b7
251r7 Item{74R9} 4|1098b7
257U14 Write 258^7 259>7 4|1358b14 1387l8 1387t13
258p7 Stream(11|39R9) 4|1359b7 1386r20
259r7 Container{71R9} 4|1360b7 1386r28
263U14 Read 264^7 265<7 4|1067b14 1094l8 1094t12
264p7 Stream(11|39R9) 4|1068b7 1086r25 1087r29 1093r22
265r7 Container{71R9} 4|1069b7 1093m30
X 4 a-cforma.adb
46V13 Color{5|35E9} 47>7 48r19 263b13 266l8 266t13 8|57i19
47r7 Node{3|221R9} 263b20 265r14
50V13 Left_Son{2|20I9} 50>23 104r23 852b13 855l8 855t16
50r23 Node{3|221R9} 852b23 854r14
53V13 Parent{2|20I9} 53>21 54r19 977b13 980l8 980t14 8|39i19
53r21 Node{3|221R9} 977b21 979r14
56V13 Right_Son{2|20I9} 56>24 105r23 1236b13 1239l8 1239t17
56r24 Node{3|221R9} 1236b24 1238r14
59U14 Set_Color 60=7 61>7 62r19 1245b14 1248l8 1248t17 8|59i19
60r7 Node{3|221R9} 1245b25 1247m7
61e7 Color{5|35E9} 1245b51 1247r21
64U14 Set_Left 64=24 64>49 65r19 1254b14 1257l8 1257t16 8|47i19
64r24 Node{3|221R9} 1254b24 1256m7
64i49 Left{2|20I9} 1254b49 1256r20
67U14 Set_Right 67=25 67>50 68r19 1272b14 1275l8 1275t17 8|53i19
67r25 Node{3|221R9} 1272b25 1274m7
67i50 Right{2|20I9} 1272b50 1274r21
70U14 Set_Parent 70=26 70>51 71r19 1263b14 1266l8 1266t18 8|41i19
70r26 Node{3|221R9} 1263b26 1265m7
70i51 Parent{2|20I9} 1263b51 1265r22
80U22 Set_Element 80=35 526r47
80r35 Node{3|221R9}
81u14 Generic_Allocate 82=7 83<7 185r36 521b14 530l8 530t24 597r41 662r41
. 1075r14
82c7 Tree<5|63R12[3|231]> 522b7 528m17 529m7
83i7 Node{2|20I9} 523b7 528m23 529r19
85U14 Free 85=20 85>39 314s36 337s27 349s27 361s30 374s30 431s30 508b14 515l8
. 515t12 903s30
85r20 Tree{3|71R9} 314r42 509b7 513m7 514m29
85i39 X{2|20I9} 314r58 510b7 513r19 514r35
87V13 Is_Greater_Key_Node{boolean} 88>7 89>7 90r19 114r32 701b13 709l8 709t27
88*7 Left{3|60+9} 702b7 708r26
89r7 Right{3|221R9} 703b7 708r14
92V13 Is_Less_Key_Node{boolean} 93>7 94>7 95r19 113r32 715b13 721l8 721t24
93*7 Left{3|60+9} 716b7 720r14
94r7 Right{3|221R9} 717b7 720r21
101K12 Tree_Operations[8|63] 107r8 111r32 160r14 231r7 256r7 335r7 348r7
. 360r10 373r10 430r10 514r7 526r13 736r13 902r10 929r23 1006r12 1078r14
. 1175r13 1368r14
109K12 Key_Ops[6|50] 175r39 178r16 181r16 240r37 341r35 427r35 440r37 494r37
. 586r13 589r13 651r13 654r13 1115r41
121i7 Lst{2|20I9} 134m7 137r21
122i7 Node{2|20I9} 136m7 137r13 138r44 141r24 146m10 146r30
123i7 ENode{2|20I9} 138m10 140r13 141r54
157U17 Append_Element 157>33 160r49 166b17 218l11 218t25
157i33 Source_Node{2|20I9} 166b33 167r47
159U17 Append_Elements[8|104] 232s7
167r10 SN{3|221R9} 204r25 205r29 216r22
169U20 Set_Element 169=33 170r25 185r54 202b20 206l14 206t25
169r33 Node{3|221R9} 202b33 204m13 205m13
172V19 New_Node{2|20I9} 173r25 175r68 191b19 196l14 196t22
175U20 Insert_Post[6|56] 178r54 182r15
177U20 Unconditional_Insert_Sans_Hint[6|95] 183r15
180U20 Unconditional_Insert_Avec_Hint[6|115] 213s10
185U20 Allocate[81] 194s13
192i13 Result{2|20I9} 194m31 195r20
208i10 Target_Node{2|20I9} 217m22
240i7 Node{2|20I9} 243r10 247r23
282i7 Node{2|20I9} 294r19 295r30 296r32 297r30 298r32 299r30 300r32 301r30
. 302r32 303r30 304r32 305r30 306r32 307r30 308r32 309m16 309r24 312r19 313r21
. 315m16 315r24
283i7 N{2|20I9} 313m16 314r63
286r14 Target{3|71R9} 288m13 289m13 290m13 291m13 292m13 295m16 297m16 299m16
. 301m16 303m16 305m16 307m16 312r27 314m50 314r50
341i7 X{3|217I12} 344r10 348r57 349r44
357i7 X{3|217I12} 359r10 360r60 361r47
370i7 X{3|217I12} 372r10 373r60 374r47
397i7 Node{3|217I12} 400r10 404r31
427i7 X{3|217I12} 429r10 430r60 431r47
440i7 Node{2|20I9} 443r10 447r23
494i7 Node{2|20I9} 497r10 501r23
525U17 Allocate[8|144] 528s7
554r7 Position{3|74R9} 558m41 567r52
555b7 Inserted{boolean} 558m51 560r14
567r13 N{3|221R9} 569r13 570r13
582V16 New_Node{3|217I12} 586r42 595b16 610l11 610t19
585U17 Insert_Post[6|56] 589r49
588U17 Insert_Sans_Hint[6|75] 615s7
596U20 Initialize 596=32 597r59 599b20 603l14 603t24
596r32 Node{3|221R9} 599b32 601m13 602m13
597U20 Allocate_Node[81] 608s10
605i10 X{3|217I12} 608m36 609r17
627r7 Position{3|74R9} 631m41
628b7 Inserted{boolean} 631m51 633r14
648V16 New_Node{3|217I12} 651r42 660b16 680l11 680t19
650U17 Insert_Post[6|56] 654r49
653U17 Insert_Sans_Hint[6|75] 685s7
661U20 Initialize 661=32 662r59 668b20 671l14 671t24
661r32 Node{3|221R9} 668b32 670m13
662U20 Allocate_Node[81] 678s10
673i10 X{3|217I12} 678m36 679r17
730r36 Container{3|71R9}
730r53 Position{3|74R9}
732U17 Process_Node 732>31 733r22 736r48 742b17 745l11 745t23
732i31 Node{3|217I12} 742b31 744r39
735U17 Local_Iterate[8|104] 755s10
747i7 B{natural} 752r7 752r12 758r13 758r18 762r7 762r12
826r7 Curs{3|74R9} 831r10 835r38 839r13 840r18 841m21 841r21 842m10
827r7 C{3|71R9} 832r17 841m18 841r18 845r14
828i7 Node{2|20I9} 840m10 842r44
871a7 NN{5|54A12[3|231]} 900r26 900r38
872i7 X{3|217I12} 892m10 893r20 900r30 900r42 902r57 903r44
943i10 L_Node{2|20I9} 954r16 960r28 961m16 961r38 963r58
944i10 R_Node{2|20I9} 955r23 960r55 963r32 964m16 964r39
945i10 L_Last{2|20I9} 954r25
946i10 R_Last{2|20I9} 955r32
1005i10 Node{2|20I9} 1009r13 1013r26
1024*46 Key{3|60+9}
1025*46 Element{3|61+9}
1037i10 B{natural} 1041r10 1041r15 1054r16 1054r21 1059r10 1059r15
1038i10 L{natural} 1042r10 1042r15 1053r16 1053r21 1058r10 1058r15
1045r13 N{3|221R9} 1046r35 1047r39
1046*13 K{3|60+9} 1050r22
1047*13 E{3|61+9} 1050r25
1071U17 Read_Element 1071=31 1072r22 1075r32 1084b17 1088l11 1088t23
1071r31 Node{3|221R9} 1084b31 1086m33 1086r33 1087m37 1087r37
1074U17 Allocate[81] 1078r44
1077U17 Read_Elements[8|129] 1093s7
1115i10 Node{3|217I12} 1118r13 1128r52
1128r13 N{3|221R9} 1130r13 1131r13
1168r46 Container{3|71R9}
1169r46 Position{3|74R9}
1171U17 Process_Node 1171>31 1172r22 1175r56 1181b17 1184l11 1184t23
1171i31 Node{3|217I12} 1181b31 1183r39
1174U17 Local_Reverse_Iterate[8|110] 1194s10
1186i7 B{natural} 1191r7 1191r12 1197r13 1197r18 1201r7 1201r12
1209r7 Curs{3|74R9} 1214r10 1223r13 1224r18 1225m21 1225r21 1226m10
1210r7 C{3|71R9} 1215m17 1215r17 1216r17 1225m18 1225r18 1229r14
1211i7 Node{2|20I9} 1224m10 1226r44
1282i7 LNode{2|20I9} 1290r13 1291r13 1295r25 1296r32 1301m10 1301r31
1283i7 RNode{2|20I9} 1290r21 1295r56 1296r59 1302m10 1302r32
1315*46 Key{3|60+9}
1316*46 Element{3|61+9}
1328i10 B{natural} 1332r10 1332r15 1345r16 1345r21 1350r10 1350r15
1329i10 L{natural} 1333r10 1333r15 1344r16 1344r21 1349r10 1349r15
1336r13 N{3|221R9} 1337r34 1338r38
1337*13 K{3|60+9} 1341r22
1338*13 E{3|61+9} 1341r25
1362U17 Write_Node 1363^10 1364>10 1365r22 1368r45 1374b17 1381l11 1381t21
1363p10 Stream(11|39R9) 1375b10 1379r26 1380r30
1364r10 Node{3|221R9} 1376b10 1379r34 1380r38
1367U17 Write_Nodes[8|118] 1386s7
X 5 a-crbltr.ads
32K24*Red_Black_Trees 3|56w29 219r8 226r17 232r25 4|28r21 32r21 47r47 61r30
. 102r10 110r10 5|75e35
35E9*Color_Type 3|226r33 4|47r63 61r46 263r45 1245r59 5|35e35
35n24*Red{35E9} 3|226r47
53k12*Generic_Bounded_Tree_Types 3|232r41 5|73e34
54A12 Nodes_Type(3|221R9)<2|20I9> 4|871r23[3|231]
63R12 Tree_Type 3|235r22[231] 4|82r32[3|231] 522r32[3|231]
64i10 First{2|20I9} 4|290m20[3|231] 290r36[3|231] 460r33[3|231]
65i10 Last{2|20I9} 4|291m20[3|231] 291r35[3|231] 792r33[3|231]
66i10 Root{2|20I9} 4|289m20[3|231] 289r35[3|231]
67i10 Length{2|20I9} 4|288m20[3|231] 288r37[3|231] 863r24[3|231]
68i10 Busy{natural} 4|747m57[3|231] 884r17[3|231] 1037m40[3|231] 1186m57[3|231]
. 1328m40[3|231]
69i10 Lock{natural} 4|561r23[3|231] 1038m40[3|231] 1122r23[3|231] 1151r20[3|231]
. 1329m40[3|231]
70i10 Free<integer> 4|292m20[3|231] 292r35[3|231]
71a10 Nodes{54A12[3|231]} 4|138r37[3|231] 141r17[3|231] 141r47[3|231] 167m40[3|231]
. 295m23[3|231] 296r25[3|231] 297m23[3|231] 298r25[3|231] 299m23[3|231] 300r25[3|231]
. 301m23[3|231] 302r25[3|231] 303m23[3|231] 304r25[3|231] 305m23[3|231] 306r25[3|231]
. 307m23[3|231] 308r25[3|231] 392r24[3|231] 404r24[3|231] 473r24[3|231] 486r24[3|231]
. 513m12[3|231] 529m12[3|231] 542r24[3|231] 567m45[3|231] 779r24[3|231] 805r24[3|231]
. 818r24[3|231] 871m49[3|231] 960r21[3|231] 960r48[3|231] 963r25[3|231] 963r51[3|231]
. 1045m46[3|231] 1128m45[3|231] 1159m17[3|231] 1295r18[3|231] 1295r49[3|231]
. 1296r25[3|231] 1296r52[3|231] 1336m45[3|231]
X 6 a-rbtgbk.ads
36K17 Tree_Operations 4|111r9
40+9 Key_Type 4|112r9
42V18 Is_Less_Key_Node{boolean} 4|113r9
46V18 Is_Greater_Key_Node{boolean} 4|114r9
50k40*Generic_Bounded_Keys 4|32w37 110r26 6|193e56
56u14 Generic_Insert_Post 4|175r47[109] 586r21[109] 651r21[109]
75u14 Generic_Conditional_Insert 4|589r21[109] 654r21[109]
95u14 Generic_Unconditional_Insert 4|178r24[109]
115u14 Generic_Unconditional_Insert_With_Hint 4|181r24[109]
116c7 Tree<5|63R12[3|231]> 4|214r13[180]
117i7 Hint{2|20I9} 4|215r13[180]
118*7 Key{3|60+9} 4|216r13[180]
119i7 Node{2|20I9} 4|217r13[180]
157V13 Find{2|20I9} 4|341s43[109] 427s43[109] 440s45[109] 1115s49[109]
162V13 Ceiling{2|20I9} 4|240s45[109]
167V13 Floor{2|20I9} 4|494s45[109]
X 8 a-rbtgbo.ads
36K17 Tree_Types 4|103r9
45V19 Left{2|20I9} 4|104r9
51V19 Right{2|20I9} 4|105r9
63k40*Generic_Bounded_Operations 4|28w37 102r26 8|155e62
72V13 Vet{boolean} 4|332s22[101] 389s22[101] 776s22[101] 926s22[101] 1001s22[101]
. 1033s22[101] 1156s22[101] 1324s22[101]
76V13 Next{2|20I9} 4|134s14[101] 146s18[101] 929s39[101] 945s42[101] 946s42[101]
. 961s26[101] 964s26[101] 1301s19[101] 1302s19[101]
81V13 Previous{2|20I9} 4|1006s28[101]
93U14 Delete_Node_Sans_Free 4|335s23[101] 348s23[101] 360s26[101] 373s26[101]
. 430s26[101] 902s26[101]
98U14 Clear_Tree 4|231s23[101] 256s23[101]
104u14 Generic_Iteration 4|160r30[101] 736r29[101]
110u14 Generic_Reverse_Iteration 4|1175r29[101]
118u14 Generic_Write 4|1368r30[101]
129u14 Generic_Read 4|1078r30[101]
144u14 Generic_Allocate 4|526r29[101]
151U14 Free 4|514s23[101]
X 11 a-stream.ads
36K13*Streams 3|57w18 237r12 11|69e16
39H9*Root_Stream_Type 3|244r32 250r32 258r35 264r35 4|1068r35 1097r32 1359r35
. 1363r35 1375r35 1390r32 11|67e64
X 14 system.ads
37K9*System 4|35w6 35r23 14|152e11
64M9*Address 4|35r30
78V14*"="{boolean} 4|223r25 875r25 949r26
OHA YOOOO