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_EXCEPTIONS
RV NO_RECURSION
RV NO_DEFAULT_INITIALIZATION
RV SPARK
U ada.containers.red_black_trees.generic_keys%b a-crbtgk.adb 519d9536 NE OL PK GE
W ada.containers.red_black_trees%s a-crbltr.ads a-crbltr.ali
U ada.containers.red_black_trees.generic_keys%s a-crbtgk.ads 97538ccf 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.containers.red_black_trees.generic_operations%s
D ada.ads 20121213103024 3ffc8e18
D a-contai.ads 20121213103024 61e5e089
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-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 4|33r6 50r9 192r5 5|30r14 595r5
X 2 a-contai.ads
16K13*Containers 1|16k9 2|24e19 4|33r10 50r13 192r9 5|30r18 595r9
20I9*Count_Type<integer> 5|327r24
X 3 a-crbltr.ads
32K24*Red_Black_Trees 2|16k13 3|75e35 4|33r21 50r24 192r20 5|30r29 595r20
35n24*Red{35E9} 5|338r38
38+12 Node_Type
39P12 Node_Access(38+12[6|36[4|36]]) 4|44r11[6|36[4|36]] 48r11[6|36[4|36]]
. 54r37[6|36[4|36]] 57r16[6|36[4|36]] 59r20[6|36[4|36]] 70r14[6|36[4|36]]
. 72r18[6|36[4|36]] 77r22[6|36[4|36]] 90r14[6|36[4|36]] 92r18[6|36[4|36]]
. 97r18[6|36[4|36]] 105r14[6|36[4|36]] 107r18[6|36[4|36]] 112r24[6|36[4|36]]
. 116r14[6|36[4|36]] 118r18[6|36[4|36]] 135r14[6|36[4|36]] 137r18[6|36[4|36]]
. 142r25[6|36[4|36]] 147r18[6|36[4|36]] 149r22[6|36[4|36]] 158r31[6|36[4|36]]
. 163r31[6|36[4|36]] 168r31[6|36[4|36]] 173r31[6|36[4|36]] 177r38[6|36[4|36]]
. 185r38[6|36[4|36]] 5|40r63[6|36[4|36]] 41r11[6|36[4|36]] 42r11[6|36[4|36]]
. 62r61[6|36[4|36]] 63r11[6|36[4|36]] 64r11[6|36[4|36]] 92r62[6|36[4|36]]
. 93r11[6|36[4|36]] 94r11[6|36[4|36]] 117r22[6|36[4|36]] 120r11[6|36[4|36]]
. 121r11[6|36[4|36]] 199r19[6|36[4|36]] 201r23[6|36[4|36]] 251r31[6|36[4|36]]
. 283r30[6|36[4|36]] 322r16[6|36[4|36]] 324r20[6|36[4|36]] 382r33[6|36[4|36]]
. 388r33[6|36[4|36]] 389r14[6|36[4|36]] 419r33[6|36[4|36]] 425r33[6|36[4|36]]
. 426r14[6|36[4|36]] 455r18[6|36[4|36]] 457r11[6|36[4|36]] 458r11[6|36[4|36]]
. 482r14[6|36[4|36]] 484r18[6|36[4|36]] 534r31[6|36[4|36]] 556r27[6|36[4|36]]
. 576r31[6|36[4|36]] 578r11[6|36[4|36]] 579r11[6|36[4|36]]
41R12 Tree_Type 4|56r23[6|36[4|36]] 69r21[6|36[4|36]] 75r25[6|36[4|36]] 89r21[6|36[4|36]]
. 95r21[6|36[4|36]] 104r21[6|36[4|36]] 110r27[6|36[4|36]] 115r21[6|36[4|36]]
. 134r21[6|36[4|36]] 140r28[6|36[4|36]] 146r25[6|36[4|36]] 157r14[6|36[4|36]]
. 162r14[6|36[4|36]] 167r14[6|36[4|36]] 172r14[6|36[4|36]] 179r14[6|36[4|36]]
. 187r14[6|36[4|36]] 5|40r29[6|36[4|36]] 62r26[6|36[4|36]] 92r27[6|36[4|36]]
. 115r25[6|36[4|36]] 198r26[6|36[4|36]] 321r23[6|36[4|36]] 379r14[6|36[4|36]]
. 416r14[6|36[4|36]] 453r21[6|36[4|36]] 481r21[6|36[4|36]] 575r14[6|36[4|36]]
42*10 First{39P12[6|36[4|36]]} 5|152r22[6|36[4|36]] 255r40[6|36[4|36]] 343r30[6|36[4|36]]
. 347m15[6|36[4|36]] 355r22[6|36[4|36]] 356m18[6|36[4|36]]
43*10 Last{39P12[6|36[4|36]]} 5|218r18[6|36[4|36]] 219r51[6|36[4|36]] 221r37[6|36[4|36]]
. 287r40[6|36[4|36]] 344r30[6|36[4|36]] 348m15[6|36[4|36]] 364r22[6|36[4|36]]
. 365m18[6|36[4|36]] 508r18[6|36[4|36]] 510r44[6|36[4|36]] 513r37[6|36[4|36]]
44*10 Root{39P12[6|36[4|36]]} 5|45r17[6|36[4|36]] 67r17[6|36[4|36]] 97r17[6|36[4|36]]
. 121r31[6|36[4|36]] 342r30[6|36[4|36]] 346m15[6|36[4|36]] 408r21[6|36[4|36]]
. 445r21[6|36[4|36]] 466r17[6|36[4|36]] 582r17[6|36[4|36]]
45i10 Length{2|20I9} 5|230r27[6|36[4|36]] 327r15[6|36[4|36]] 341r30[6|36[4|36]]
. 371m12[6|36[4|36]] 371r27[6|36[4|36]] 519r27[6|36[4|36]]
46i10 Busy{natural} 5|331r15[6|36[4|36]]
X 4 a-crbtgk.ads
36K17 Tree_Operations[6|48] 38r8 5|32r24
40+9 Key_Type 43r11 47r11 76r18 96r14 111r20 117r14 141r21 148r18 158r14
. 163r14 168r14 173r14 180r14 188r14 5|40r46 62r44 92r45 116r18 200r19 380r14
. 417r14 454r14 483r14 576r14
42V18 Is_Less_Key_Node{boolean} 43>7 44>7 5|81s10 99s13 142s22 249s10 290s19
. 393s16 430s16 469s20 510s16 532s10 538s19 584s13
43*7 L{40+9}
44*7 R{3|39P12[6|36[4|36]]}
46V18 Is_Greater_Key_Node{boolean} 47>7 48>7 5|47s13 69s13 175s10 219s20
. 258s19 281s10 395s19 432s19 560s16
47*7 L{40+9}
48*7 R{3|39P12[6|36[4|36]]}
50k40*Generic_Keys 3|32k24 4|36z17 40z9 42z18 46z18 192l36 192e48 5|30b45
. 595l36 595t48
54V21 New_Node{3|39P12[6|36[4|36]]} 5|336s12
55u14*Generic_Insert_Post 56=7 57>7 58>7 59<7 5|320b14 372l8 372t27
56r7 Tree{3|41R12[6|36[4|36]]} 5|321b7 327r10 331r10 341r25 342r25 343r25
. 344r25 346m10 347m10 348m10 355r17 356m13 364r17 365m13 370m33 371m7 371r22
57*7 Y{3|39P12[6|36[4|36]]} 5|322b7 340r10 351r35 353r24 355r13 360r36 362r25
. 364r13 369r26
58b7 Before{boolean} 5|323b7 350r13
59*7 Z{3|39P12[6|36[4|36]]} 5|324b7 336m7 337r22 338r33 346r23 347r24 348r23
. 353r27 356r27 362r28 365r26 369r23 370r39
68U22 Insert_Post 69=10 70>10 71>10 72<10 5|153s13 181s10
69r10 T{3|41R12[6|36[4|36]]}
70*10 Y{3|39P12[6|36[4|36]]}
71b10 B{boolean}
72*10 Z{3|39P12[6|36[4|36]]}
74u14*Generic_Conditional_Insert 75=7 76>7 77<7 78<7 5|114b14 191l8 191t34
75r7 Tree{3|41R12[6|36[4|36]]} 5|115b7 121r26 152r17 153m26 181m23
76*7 Key{40+9} 5|116b7 142r40 175r31
77*7 Node{3|39P12[6|36[4|36]]} 5|117b7 153m41 162m10 169m10 175r36 181m42
78b7 Inserted{boolean} 5|118b7 139m7 142m10 143r19 146r10 181r32 182m10 190m7
88U22 Insert_Post 89=10 90>10 91>10 92<10 5|473s7
89r10 T{3|41R12[6|36[4|36]]}
90*10 Y{3|39P12[6|36[4|36]]}
91b10 B{boolean}
92*10 Z{3|39P12[6|36[4|36]]}
94u14*Generic_Unconditional_Insert 95=7 96>7 97<7 5|452b14 474l8 474t36
95r7 Tree{3|41R12[6|36[4|36]]} 5|453b7 466r12 473m20
96*7 Key{40+9} 5|454b7 469r38
97*7 Node{3|39P12[6|36[4|36]]} 5|455b7 473m37
103U22 Insert_Post 104=10 105>10 106>10 107<10 5|509s13 513s13 537s16 541s16
. 543s16 559s13 563s13 565s13
104r10 T{3|41R12[6|36[4|36]]}
105*10 Y{3|39P12[6|36[4|36]]}
106b10 B{boolean}
107*10 Z{3|39P12[6|36[4|36]]}
109U22 Unconditional_Insert_Sans_Hint 110=10 111>10 112<10 5|511s13 539s16
. 561s13
110r10 Tree{3|41R12[6|36[4|36]]}
111*10 Key{40+9}
112*10 Node{3|39P12[6|36[4|36]]}
114u14*Generic_Unconditional_Insert_With_Hint 115=7 116>7 117>7 118<7 5|480b14
. 568l8 568t46
115r7 Tree{3|41R12[6|36[4|36]]} 5|481b7 508r13 509m26 510r39 511m45 513m26
. 513r32 519r22 537m29 539m48 541m29 543m29 559m26 561m45 563m26 565m26
116*7 Hint{3|39P12[6|36[4|36]]} 5|482b7 507r10 532r33 534r60 537r35 543r35
. 556r52 559r32 562r27 563r32
117*7 Key{40+9} 5|483b7 510r34 511r51 532r28 538r37 539r54 560r37 561r51
118*7 Node{3|39P12[6|36[4|36]]} 5|484b7 509m45 511m56 513m50 537m47 539m59
. 541m50 543m47 559m45 561m56 563m45 565m45
133U22 Insert_Post 134=10 135>10 136>10 137<10 5|221s13 255s16 260s19 262s19
. 287s16 292s19 294s19
134r10 T{3|41R12[6|36[4|36]]}
135*10 Y{3|39P12[6|36[4|36]]}
136b10 B{boolean}
137*10 Z{3|39P12[6|36[4|36]]}
139U22 Conditional_Insert_Sans_Hint 140=10 141>10 142<10 143<10 5|224s13
. 268s16 300s16
140r10 Tree{3|41R12[6|36[4|36]]}
141*10 Key{40+9}
142*10 Node{3|39P12[6|36[4|36]]}
143b10 Inserted{boolean}
145u14*Generic_Conditional_Insert_With_Hint 146=7 147>7 148>7 149<7 150<7
. 5|197b14 314l8 314t44
146r7 Tree{3|41R12[6|36[4|36]]} 5|198b7 218r13 219r46 221m26 221r32 224m43
. 230r22 255m29 255r35 260m32 262m32 268m46 287m29 287r35 292m32 294m32 300m46
147*7 Position{3|39P12[6|36[4|36]]} 5|199b7 217r10 249r33 251r60 262r38 281r36
. 283r55 291r30 292r38 312r15
148*7 Key{40+9} 5|200b7 219r41 224r49 249r28 258r40 268r52 281r31 290r37
. 300r52
149*7 Node{3|39P12[6|36[4|36]]} 5|201b7 221m50 224m54 255m53 260m53 262m54
. 268m57 287m53 292m55 294m51 300m57 312m7
150b7 Inserted{boolean} 5|202b7 222m13 224m60 256m16 265m16 268m63 288m16
. 297m16 300m63 313m7
156V13*Find{3|39P12[6|36[4|36]]} 157>7 158>7 5|62b13 86l8 86t12
157r7 Tree{3|41R12[6|36[4|36]]} 5|62b19 67r12
158*7 Key{40+9} 5|62b37 69r34 81r28
161V13*Ceiling{3|39P12[6|36[4|36]]} 162>7 163>7 5|40b13 56l8 56t15
162r7 Tree{3|41R12[6|36[4|36]]} 5|40b22 45r12
163*7 Key{40+9} 5|40b40 47r34
166V13*Floor{3|39P12[6|36[4|36]]} 167>7 168>7 5|92b13 108l8 108t13
167r7 Tree{3|41R12[6|36[4|36]]} 5|92b20 97r12
168*7 Key{40+9} 5|92b38 99r31
171V13*Upper_Bound{3|39P12[6|36[4|36]]} 172>7 173>7 5|574b13 593l8 593t19
172r7 Tree{3|41R12[6|36[4|36]]} 5|575b7 582r12
173*7 Key{40+9} 5|576b7 584r31
177U22 Process 177>31 5|399s16
177*31 Node{3|39P12[6|36[4|36]]}
178u14*Generic_Iteration 179>7 180>7 5|378b14 409l8 409t25
179r7 Tree{3|41R12[6|36[4|36]]} 5|379b7 408r16
180*7 Key{40+9} 5|380b7 393r34 395r40
185U22 Process 185>31 5|436s16
185*31 Node{3|39P12[6|36[4|36]]}
186u14*Generic_Reverse_Iteration 187>7 188>7 5|415b14 446l8 446t33
187r7 Tree{3|41R12[6|36[4|36]]} 5|416b7 445r16
188*7 Key{40+9} 5|417b7 430r34 432r40
X 5 a-crbtgk.adb
32K12 Ops=32:24 48r18 51r18 70r18 73r18 100r18 103r18 143r33 143r51 162r18
. 251r46 259r19 283r45 291r19 338r22 351r25 353r10 360r25 362r10 369r7 370r7
. 394r21 396r21 398r25 400r21 431r21 433r21 435r25 437r21 470r31 470r49 534r46
. 540r19 556r42 562r16 586r18 588r18
41*7 Y{3|39P12[6|36[4|36]]} 50m13 55r14
42*7 X{3|39P12[6|36[4|36]]} 45m7 46r13 47r39 48m13 48r29 50r18 51m13 51r28
63*7 Y{3|39P12[6|36[4|36]]} 72m13 77r10 81r33 85r14
64*7 X{3|39P12[6|36[4|36]]} 67m7 68r13 69r39 70m13 70r29 72r18 73m13 73r28
93*7 Y{3|39P12[6|36[4|36]]} 102m13 107r14
94*7 X{3|39P12[6|36[4|36]]} 97m7 98r13 99r36 100m13 100r28 102r18 103m13
. 103r29
120*7 Y{3|39P12[6|36[4|36]]} 141m10 152r13 153r32 162r32 169r18 181r29
121*7 X{3|39P12[6|36[4|36]]} 140r13 141r15 142r45 143m10 143r43 143r62
251*13 Before{3|39P12[6|36[4|36]]} 254r16 258r45 259r30 260r38
283*13 After{3|39P12[6|36[4|36]]} 286r16 290r42 294r38
382U17 Iterate 382>26 388b17 398s16 403l11 403t18 408s7
382*26 Node{3|39P12[6|36[4|36]]} 388b26 391r15
389*10 N{3|39P12[6|36[4|36]]} 391m10 392r16 393r39 394m16 394r31 395r45 396m16
. 396r32 398r35 399r25 400m16 400r32
419U17 Iterate 419>26 425b17 435s16 440l11 440t18 445s7
419*26 Node{3|39P12[6|36[4|36]]} 425b26 428r15
426*10 N{3|39P12[6|36[4|36]]} 428m10 429r16 430r39 431m16 431r31 432r45 433m16
. 433r32 435r36 436r25 437m16 437r31
457*7 Y{3|39P12[6|36[4|36]]} 463m7 468m10 473r26
458*7 X{3|39P12[6|36[4|36]]} 466m7 467r13 468r15 469r43 470m10 470r41 470r60
460b7 Before{boolean} 464m7 469m10 470r19 473r29
534*13 Before{3|39P12[6|36[4|36]]} 536r16 538r42 540r30 541r35
556*10 After{3|39P12[6|36[4|36]]} 558r13 560r42 565r32
578*7 Y{3|39P12[6|36[4|36]]} 585m13 592r14
579*7 X{3|39P12[6|36[4|36]]} 582m7 583r13 584r36 585r18 586m13 586r28 588m13
. 588r29
X 6 a-crbtgo.ads
36K17 Tree_Types[3|40] 4|38r24[36]
40U19 Set_Parent 5|369s11[4|36]
41V19 Left{3|39P12[36[4|36]]} 5|51s22[4|36] 73s22[4|36] 100s22[4|36] 143s37[4|36]
. 351s29[4|36] 394s25[4|36] 398s29[4|36] 431s25[4|36] 437s25[4|36] 470s35[4|36]
. 586s22[4|36]
42U19 Set_Left 5|353s14[4|36]
43V19 Right{3|39P12[36[4|36]]} 5|48s22[4|36] 70s22[4|36] 103s22[4|36] 143s55[4|36]
. 259s23[4|36] 291s23[4|36] 360s29[4|36] 396s25[4|36] 400s25[4|36] 433s25[4|36]
. 435s29[4|36] 470s53[4|36] 540s23[4|36] 562s20[4|36] 588s22[4|36]
44U19 Set_Right 5|362s14[4|36]
45V19 Color{3|35E9} 5|338s26[4|36]
48k40*Generic_Operations 4|33w37 36r40 6|163e54
68V13 Next{3|39P12[36[4|36]]} 5|283s49[4|36] 556s46[4|36]
71V13 Previous{3|39P12[36[4|36]]} 5|162s22[4|36] 251s50[4|36] 534s50[4|36]
157U14 Rebalance_For_Insert 5|370s11[4|36]
OHA YOOOO