1V "GNAT Lib v9" 2A -gnatwa 3A -nostdinc 4A -O2 5A -Wextra 6A -Wall 7A -g 8A -gnatp 9A -gnatg 10A -mtune=generic 11A -march=x86-64 12P ZX 13 14RN 15RV NO_ACCESS_SUBPROGRAMS 16RV NO_ALLOCATORS 17RV NO_DISPATCH 18RV NO_EXCEPTIONS 19RV NO_FINALIZATION 20RV NO_LOCAL_ALLOCATORS 21RV NO_NESTED_FINALIZATION 22RV NO_RECURSION 23RV NO_STANDARD_STORAGE_POOLS 24RV NO_STREAMS 25RV NO_UNCHECKED_ACCESS 26RV NO_DEFAULT_INITIALIZATION 27RV NO_DYNAMIC_SIZED_OBJECTS 28RV NO_IMPLEMENTATION_ATTRIBUTES 29RV NO_IMPLEMENTATION_PRAGMAS 30RV NO_IMPLICIT_ALIASING 31RV SPARK_05 32 33U ada.containers.bounded_ordered_sets%b a-cborse.adb 29f71978 NE OL PK GE 34W ada%s ada.ads ada.ali 35W ada.containers%s a-contai.ads a-contai.ali 36W ada.containers.helpers%s a-conhel.adb a-conhel.ali 37W ada.containers.red_black_trees%s a-crbltr.ads a-crbltr.ali 38W ada.containers.red_black_trees.generic_bounded_keys%s 39W ada.containers.red_black_trees.generic_bounded_operations%s 40W ada.containers.red_black_trees.generic_bounded_set_operations%s 41Z ada.streams%s a-stream.adb a-stream.ali 42W system%s system.ads system.ali 43 44U ada.containers.bounded_ordered_sets%s a-cborse.ads 84458e6c BN NE OL PU RT PK GE 45W ada%s ada.ads ada.ali 46W ada.containers%s a-contai.ads a-contai.ali 47W ada.containers.helpers%s a-conhel.adb a-conhel.ali 48W ada.containers.red_black_trees%s a-crbltr.ads a-crbltr.ali 49W ada.finalization%s a-finali.ads a-finali.ali 50W ada.iterator_interfaces%s 51Z ada.streams%s a-stream.adb a-stream.ali 52Z ada.tags%s a-tags.adb a-tags.ali 53N A48:4 codepeer skip_analysis 54 55D ada.ads 20170911084841 76789da1 ada%s 56D a-contai.ads 20170908151217 61e5e089 ada.containers%s 57D a-cborse.ads 20190108095404 d4c7e6d6 ada.containers.bounded_ordered_sets%s 58D a-cborse.adb 20190108095404 57b353ad ada.containers.bounded_ordered_sets%b 59D a-conhel.ads 20190108095404 20298884 ada.containers.helpers%s 60D a-conhel.adb 20190108095404 9cc5095b ada.containers.helpers%b 61D a-crbltr.ads 20190108095404 c3e90a86 ada.containers.red_black_trees%s 62D a-rbtgbk.ads 20190108095404 360e50a8 ada.containers.red_black_trees.generic_bounded_keys%s 63D a-rbtgbk.adb 20190108095404 103369a3 ada.containers.red_black_trees.generic_bounded_keys%b 64D a-rbtgbo.ads 20190108095404 a2816f8a ada.containers.red_black_trees.generic_bounded_operations%s 65D a-rbtgbo.adb 20190108095404 65411810 ada.containers.red_black_trees.generic_bounded_operations%b 66D a-btgbso.ads 20190108095404 d81493ca ada.containers.red_black_trees.generic_bounded_set_operations%s 67D a-btgbso.adb 20190108095404 0090afee ada.containers.red_black_trees.generic_bounded_set_operations%b 68D a-except.ads 20190108095404 291912d5 ada.exceptions%s 69D a-finali.ads 20190108095404 bf4f806b ada.finalization%s 70D a-iteint.ads 20170908151217 7c7305e9 ada.iterator_interfaces%s 71D a-stream.ads 20190108095404 119b8fb3 ada.streams%s 72D a-tags.ads 20190108095404 491b781d ada.tags%s 73D a-unccon.ads 20170908151217 0e9b276f ada.unchecked_conversion%s 74D system.ads 20190108095404 c631886f system%s 75D s-atocou.ads 20190108095404 b45c2d8d system.atomic_counters%s 76D s-exctab.ads 20190108095404 54135002 system.exception_table%s 77D s-finroo.ads 20190108095404 4ff27390 system.finalization_root%s 78D s-parame.ads 20190108095404 48ec542b system.parameters%s 79D s-secsta.ads 20190108095404 20bbe636 system.secondary_stack%s 80D s-soflin.ads 20190108095404 a7318a92 system.soft_links%s 81D s-stache.ads 20190108095404 a37c21ec system.stack_checking%s 82D s-stalib.ads 20190108095404 09bd3940 system.standard_library%s 83D s-stoele.ads 20190108095404 2dc34a04 system.storage_elements%s 84D s-traent.ads 20190108095404 005bf670 system.traceback_entries%s 85X 1 ada.ads 8616K9*Ada 20e8 3|34r6 36r6 37r14 38r14 39r14 47r9 71r6 287r11 340r8 341r8 87. 450r5 4|30r6 30r34 32r6 36r6 39r6 45r14 2044r5 88X 2 a-contai.ads 8916K13*Containers 1|16k9 2|24e19 3|36r10 37r18 47r13 450r9 4|30r10 30r38 32r10 90. 36r10 39r10 45r18 2044r9 9120I9*Count_Type<integer> 3|54r25 79r45 108r44 326r17 327r17 328r17 336r25 92. 366r19 433r19 4|61r44 64r46 67r45 75r56 78r58 81r60 91r23 96r18 98r22 115r19 93. 279r47 288r47 294r35 315r35 316r22 331r24 364r23 442r44 443r11 486r20 503r20 94. 516r20 592r20 616r23 672r23 714r26 729r26 764r23 780r26 804r23 836r26 847r26 95. 950r26 983r26 1134r23 1140r32 1156r32 1157r19 1190r18 1192r22 1200r32 1221r32 96. 1222r19 1317r38 1327r38 1459r44 1468r45 1503r26 1545r46 1564r26 1683r23 97. 1702r19 1707r32 1728r32 1738r19 1739r19 1888r38 1898r38 1916r45 1937r56 98. 1946r60 1955r58 1975r18 9922X4*Capacity_Error 4|351r16 451r16 100X 3 a-cborse.ads 10142+9 Element_Type 44r37 45r37 52r48 57r30 77r32 85r48 90r19 94r55 97r43 114r19 102. 120r19 124r19 128r19 132r19 136r19 176r52 180r51 190r43 192r44 194r46 196r47 103. 202r41 204r41 206r25 208r25 230r36 240r65 245r22 263r52 265r54 302r54 330r25 104. 385r42 418r38 4|90r19 101r15 106r15 116r19 130r33 170r41 182r25 250r25 105. 262r41 363r46 432r19 485r53 538r48 554r48 591r54 615r43 658r52 671r44 779r65 106. 981r22 1001r66 1023r17 1075r58 1095r19 1111r19 1133r19 1272r15 1286r15 107. 1446r51 1612r55 1653r10 1682r58 1703r19 1860r19 1974r32 2019r10 10844V19 "<"{boolean} 44>23 44>29 4|166s40 179s55 191s19 246s41 259s57 271s20 109. 556s23 556s45 576s31 577s34 1278s28 1290s19 1299s24 1763s30 1764s41 1794s29 11044*23 Left{42+9} 11144*29 Right{42+9} 11245V19 "="{boolean} 45>23 45>29 4|211s27 11345*23 Left{42+9} 11445*29 Right{42+9} 11547k24*Bounded_Ordered_Sets 2|16k13 3|42z9 44z19 45z19 325E9 450l20 450e40 116. 4|45b29 648r17 1436r17 2044l20 2044t40 11752V13*Equivalent_Elements{boolean} 52>34 52>40 4|554b13 557l8 557t27 11852*34 Left{42+9} 4|554b34 556r18 556r47 11952*40 Right{42+9} 4|554b40 556r25 556r39 12054R9*Set<7|67R12[333]> 54d14 59r41 64r25 73p14 73r32 75p13 75r44 77p13 77r53 121. 79p13 79r33 81p13 81r35 83p14 83r40 87p14 88r26 102p13 103r27 106p14 106r38 122. 106r52 108p13 108r28 108r68 110p14 110r36 110r57 112p14 113r26 118p14 119r26 123. 122p14 123r26 126p14 127r26 130p14 131r26 134p14 135r26 138p14 139r26 142p14 124. 142r47 144p14 144r46 146p14 146r37 146r51 148p13 148r34 148r46 150r33 150r45 125. 152p14 152r44 152r58 154p13 154r41 154r53 156r34 156r46 158p14 158r42 158r56 126. 160p13 160r39 160r51 162r32 162r44 164p14 164r52 164r66 166p13 166r49 166r61 127. 168r34 168r46 170p13 170r36 172p13 172r33 172r47 174p13 174r32 176p13 176r40 128. 178p13 178r31 180p13 180r39 190p13 190r31 192p13 192r32 194p13 194r34 196p13 129. 196r35 210p14 211r19 214p14 215r19 218p13 219r19 222p13 223r19 240r37 243r29 130. 247r45 249r44 251r34 253r35 255r37 257r38 260r29 270r37 274r30 278r37 282r37 131. 336c9 337e58 343p14 345r19 347r8 349p14 351r23 353r8 355r34 412r27 425r25 132. 425r32 4|89r26 95r25 114r26 137r30 198r32 278r38 278r52 363r34 375r40 394r27 133. 431r19 442r28 442r68 454r23 463r41 485r41 502r47 515r46 528r42 528r56 531r39 134. 531r51 563r44 591r42 615r31 626r32 658r40 671r32 713r37 726r30 754r38 763r44 135. 779r37 803r45 835r34 846r35 911r37 947r37 979r29 999r29 1075r42 1094r26 136. 1110r26 1132r26 1189r25 1252r44 1252r58 1255r41 1255r53 1262r35 1306r33 137. 1306r47 1314r19 1332r11 1341r34 1364r34 1414r31 1446r39 1468r33 1477r36 138. 1477r57 1538r36 1596r27 1623r14 1636r23 1682r42 1701r26 1858r26 1885r19 139. 1903r11 1964r52 1964r66 1967r49 1967r61 1974r53 1978r18 1988r37 1988r51 140. 1991r34 1991r46 2000r19 14154i14 Capacity{2|20I9} 336r14 337r32 425m52 4|350r33 14261R9*Cursor 62r41 66r26 68r37 71r31 85r33 89r19 93r18 104r19 115r23 140r26 143. 174r44 178r43 182r30 182r45 184r38 186r34 186r49 188r42 190r64 192r65 194r67 144. 198r32 200r32 202r25 204r25 206r47 208r47 212r57 216r57 224r19 238r32 251r62 145. 253r63 255r65 261r22 271r22 295r22 364c9 367e14 371r16 373r8 377r20 379r8 146. 422r18 427r26 427r36 439r57 440r57 444r18 444r33 448r18 448r33 4|146r32 147. 170r25 182r47 224r32 250r47 262r25 363r67 368r20 395r19 463r64 538r33 615r64 148. 619r20 626r44 629r20 632r46 650r17 671r65 675r20 713r65 718r23 835r62 839r23 149. 846r63 850r23 881r32 912r22 1000r22 1057r18 1066r37 1076r18 1096r23 1113r18 150. 1315r57 1329r19 1364r47 1414r43 1417r20 1420r45 1438r17 1493r30 1493r45 151. 1511r17 1515r38 1520r49 1520r64 1554r34 1554r49 1568r23 1572r42 1577r53 152. 1577r68 1611r18 1664r20 1859r19 1886r57 1900r19 2030r16 15364r4*Empty_Set{54R9} 425c4 15466r4*No_Element{61R9} 427c4 4|367r32 435r40 482r19 618r32 628r43 674r32 717r35 155. 756r42 838r35 849r35 1068r26 1379r34 1416r42 1495r21 1496r17 1508r20 1523r17 156. 1556r21 1557r17 1567r35 1580r17 15768V13*Has_Element{boolean} 68>26 71r39 4|1066b13 1069l8 1069t19 15868r26 Position{61R9} 4|1066b26 1068r14 15970K12*Set_Iterator_Interfaces[16|21] 220r14 225r14 430r6 4|1342r13 1365r13 16073V14*"="{boolean} 73>18 73>24 4|198b14 218l9 218t11 16173r18 Left{54R9} 4|198b18 217r24 16273r24 Right{54R9} 4|198b24 217r30 16375V13*Equivalent_Sets{boolean} 75>30 75>36 4|563b13 585l8 585t23 16475r30 Left{54R9} 4|563b30 584r29 16575r36 Right{54R9} 4|563b36 584r35 16677V13*To_Set{54R9} 77>21 4|1974b13 1982l8 1982t14 16777*21 New_Item{42+9} 4|1974b21 1979r31 16879V13*Length{2|20I9} 79>21 4|1468b13 1471l8 1471t14 16979r21 Container{54R9} 4|1468b21 1470r14 17081V13*Is_Empty{boolean} 81>23 4|1262b13 1265l8 1265t16 17181r23 Container{54R9} 4|1262b23 1264r14 17283U14*Clear 83=21 4|355s14 375b14 378l8 378t13 1486s14 17383r21 Container{54R9} 4|375b21 377m35 17485V13*Element{42+9} 85>22 4|538b13 548l8 548t15 17585r22 Position{61R9} 4|538b22 540r26 544r27 544r51 547r14 547r40 17687U14*Replace_Element 88=7 89>7 90>7 4|1857b14 1878l8 1878t23 17788r7 Container{54R9} 4|1858b7 1868m48 1868r48 1874r27 1877m24 17889r7 Position{61R9} 4|1859b7 1863r26 1868r26 1874r38 1877r35 17990*7 New_Item{42+9} 4|1860b7 1877r50 18092U14*Query_Element 93>7 94^7 4|1610b14 1628l8 1628t21 18193r7 Position{61R9} 4|1611b7 1615r26 1619r27 1619r51 1623r26 1626r28 18294p7 Process 4|1612b7 1626r10 18394*45 Element{42+9} 18496R9*Constant_Reference_Type 97d8 104r34 275r39 384c9 392e17 396r20 398r8 185. 402r16 404r8 4|395r34 417r30 727r39 741r33 1672r20 2038r16 186102V13*Constant_Reference{96R9} 55r30 103>7 104>7 4|393b13 424l8 424t26 187103r7 Container{54R9} 4|394b7 402r48 409r15 413r32 415r12 188104r7 Position{61R9} 4|395b7 398r26 402r26 409r26 413r49 189106U14*Assign 106=22 106>43 4|138r30 278b14 357l8 357t14 455s10 1485s14 190106r22 Target{54R9} 4|278b22 318m23 337m22 346m10 346r10 350r26 355m7 355r7 191. 455r18 192106r43 Source{54R9} 4|278b43 289r33 346r27 350r44 356r24 455r36 193108V13*Copy{54R9} 108>19 108>33 4|442b13 457l8 457t12 194108r19 Source{54R9} 4|442b19 447r15 448r25 455r46 195108i33 Capacity{2|20I9} 4|442b33 446r10 448r13 449r15 196110U14*Move 110=20 110=41 4|1477b14 1487l8 1487t12 197110r20 Target{54R9} 4|1477b20 1479m10 1479r10 1485m7 1485r7 198110r41 Source{54R9} 4|1477b41 1479m27 1479r27 1483r17 1485r22 1486m7 1486r7 199112U14*Insert 113=7 114>7 115<7 116<7 4|1080s7 1093b14 1107l8 1107t14 1119s7 200113r7 Container{54R9} 4|1094b7 1101m10 1106m29 1106r29 201114*7 New_Item{42+9} 4|1095b7 1102r10 202115r7 Position{61R9} 4|1096b7 1103m10 1103r10 1106m7 203116b7 Inserted{boolean} 4|1097b7 1104m10 204118U14*Insert 119=7 120>7 4|1109b14 1125l8 1125t14 205119r7 Container{54R9} 4|1110b7 1119m15 206120*7 New_Item{42+9} 4|1111b7 1119r26 207122U14*Include 123=7 124>7 4|1075b14 1087l8 1087t15 208123r7 Container{54R9} 4|1075b23 1080m15 1083r20 1085m10 209124*7 New_Item{42+9} 4|1075b47 1080r26 1085r53 210126U14*Replace 127=7 128>7 4|1682b14 1694l8 1694t15 211127r7 Container{54R9} 4|1682b23 1683r56 1691r17 1693m7 212128*7 New_Item{42+9} 4|1682b47 1683r67 1693r41 213130U14*Exclude 131=7 132>7 4|591b14 598l8 598t15 214131r7 Container{54R9} 4|591b23 592r53 595m49 596m32 215132*7 Item{42+9} 4|591b47 592r64 216134U14*Delete 135=7 136>7 4|485b14 496l8 496t14 217135r7 Container{54R9} 4|485b22 486r53 489m46 495m29 218136*7 Item{42+9} 4|485b46 486r64 219138U14*Delete 139=7 140=7 4|463b14 483l8 483t14 220139r7 Container{54R9} 4|463b22 469m48 469r48 474r17 476r27 479m46 480m29 221140r7 Position{61R9} 4|463b46 465r26 469r26 476r38 479r57 480r40 482m7 222142U14*Delete_First 142=28 4|502b14 509l8 509t20 223142r28 Container{54R9} 4|502b28 503r34 506m49 507m32 224144U14*Delete_Last 144=27 4|515b14 522l8 522t19 225144r27 Container{54R9} 4|515b27 516r34 519m49 520m32 226146U14*Union 146=21 146>42 4|1988b14 227146r21 Target{54R9} 4|1988b21 228146r42 Source{54R9} 4|1988b42 229148V13*Union{54R9} 148>20 148>26 150r57 4|1991b13 230148r20 Left{54R9} 4|1991b20 231148r26 Right{54R9} 4|1991b26 232150V14*"or"=150:57{54R9} 233150r19 Left{54R9} 234150r25 Right{54R9} 235152U14*Intersection 152=28 152>49 4|1252b14 236152r28 Target{54R9} 4|1252b28 237152r49 Source{54R9} 4|1252b49 238154V13*Intersection{54R9} 154>27 154>33 156r58 4|1255b13 239154r27 Left{54R9} 4|1255b27 240154r33 Right{54R9} 4|1255b33 241156V14*"and"=156:58{54R9} 242156r20 Left{54R9} 243156r26 Right{54R9} 244158U14*Difference 158=26 158>47 4|528b14 245158r26 Target{54R9} 4|528b26 246158r47 Source{54R9} 4|528b47 247160V13*Difference{54R9} 160>25 160>31 162r56 4|531b13 248160r25 Left{54R9} 4|531b25 249160r31 Right{54R9} 4|531b31 250162V14*"-"=162:56{54R9} 251162r18 Left{54R9} 252162r24 Right{54R9} 253164U14*Symmetric_Difference 164=36 164>57 4|1964b14 254164r36 Target{54R9} 4|1964b36 255164r57 Source{54R9} 4|1964b57 256166V13*Symmetric_Difference{54R9} 166>35 166>41 168r58 4|1967b13 257166r35 Left{54R9} 4|1967b35 258166r41 Right{54R9} 4|1967b41 259168V14*"xor"=168:58{54R9} 260168r20 Left{54R9} 261168r26 Right{54R9} 262170V13*Overlap{boolean} 170>22 170>28 4|1538b13 263170r22 Left{54R9} 4|1538b22 264170r28 Right{54R9} 4|1538b28 265172V13*Is_Subset{boolean} 172>24 172>38 4|1306b13 266172r24 Subset{54R9} 4|1306b24 267172r38 Of_Set{54R9} 4|1306b38 268174V13*First{61R9} 174>20 4|626b13 630l8 630t13 648s38 269174r20 Container{54R9} 4|626b20 628r18 629r28 629r59 270176V13*First_Element{42+9} 176>28 4|658b13 665l8 665t21 271176r28 Container{54R9} 4|658b28 660r26 664r14 664r31 272178V13*Last{61R9} 178>19 4|1414b13 1418l8 1418t12 1436s38 273178r19 Container{54R9} 4|1414b19 1416r18 1417r28 1417r59 274180V13*Last_Element{42+9} 180>27 4|1446b13 1453l8 1453t20 275180r27 Container{54R9} 4|1446b27 1448r26 1452r14 1452r31 276182V13*Next{61R9} 182>19 4|1493b13 1513l8 1513t12 1517s19 1531s14 277182r19 Position{61R9} 4|1493b19 1495r10 1499r27 1499r51 1504r34 1504r58 1511r25 278184U14*Next 184=20 4|1515b14 1518l8 1518t12 279184r20 Position{61R9} 4|1515b20 1517m7 1517r25 280186V13*Previous{61R9} 186>23 4|1554b13 1570l8 1570t16 1574s19 1588s14 281186r23 Position{61R9} 4|1554b23 1556r10 1560r27 1560r51 1565r38 1565r62 1568r31 282188U14*Previous 188=24 4|1572b14 1575l8 1575t16 283188r24 Position{61R9} 4|1572b24 1574m7 1574r29 284190V13*Find{61R9} 190>19 190>36 4|435s14 615b13 620l8 620t12 285190r19 Container{54R9} 4|615b19 616r56 619r28 286190*36 Item{42+9} 4|615b36 616r67 287192V13*Floor{61R9} 192>20 192>37 4|671b13 676l8 676t13 288192r20 Container{54R9} 4|671b20 672r57 675r28 289192*37 Item{42+9} 4|671b37 672r68 290194V13*Ceiling{61R9} 194>22 194>39 4|363b13 369l8 369t15 291194r22 Container{54R9} 4|363b22 365r31 368r28 292194*39 Item{42+9} 4|363b39 365r42 293196V13*Contains{boolean} 196>23 196>40 4|430b13 436l8 436t16 294196r23 Container{54R9} 4|431b7 435r20 295196*40 Item{42+9} 4|432b7 435r31 296198V14*"<"{boolean} 198>18 198>24 4|146b14 168l9 168t11 297198r18 Left{61R9} 4|146b18 148r26 156r27 156r47 163r34 166r21 298198r24 Right{61R9} 4|146b24 152r26 159r27 159r48 164r34 166r46 299200V14*">"{boolean} 200>18 200>24 4|224b14 248l9 248t11 300200r18 Left{61R9} 4|224b18 226r26 234r27 234r47 243r34 246r47 301200r24 Right{61R9} 4|224b24 230r26 237r27 237r48 244r34 246r21 302202V14*"<"{boolean} 202>18 202>33 4|170b14 180l9 180t11 303202r18 Left{61R9} 4|170b18 172r26 176r27 176r47 179r14 179r36 304202*33 Right{42+9} 4|170b33 179r57 305204V14*">"{boolean} 204>18 204>33 4|262b14 272l9 272t11 306204r18 Left{61R9} 4|262b18 264r26 268r27 268r47 271r22 271r44 307204*33 Right{42+9} 4|262b33 271r14 308206V14*"<"{boolean} 206>18 206>39 4|182b14 192l9 192t11 309206*18 Left{42+9} 4|182b18 191r14 310206r39 Right{61R9} 4|182b39 184r26 188r27 188r48 191r21 191r44 311208V14*">"{boolean} 208>18 208>39 4|250b14 260l9 260t11 312208*18 Left{42+9} 4|250b18 259r59 313208r39 Right{61R9} 4|250b39 252r26 256r27 256r48 259r14 259r37 314210U14*Iterate 211>7 212^7 4|1313b14 1339l8 1339t15 315211r7 Container{54R9} 4|1314b7 1329r27 1332r23 316212p7 Process 4|1315b7 1329r10 317212r46 Position{61R9} 318214U14*Reverse_Iterate 215>7 216^7 4|1884b14 1910l8 1910t23 319215r7 Container{54R9} 4|1885b7 1900r27 1903r23 320216p7 Process 4|1886b7 1900r10 321216r46 Position{61R9} 322218V13*Iterate{16|32C9[70]} 219>7 4|1341b13 1362l8 1362t15 323219r7 Container{54R9} 4|1341b22 1357r34 1360r16 324222V13*Iterate{16|32C9[70]} 223>7 224>7 4|1364b13 1408l8 1408t15 325223r7 Container{54R9} 4|1364b22 1384r45 1389r27 1403r34 1406r16 326224r7 Start{61R9} 4|1364b39 1379r26 1384r26 1389r38 1404r34 327228+12 Key_Type 230r57 232r40 236r47 238r47 240r48 244r22 247r56 249r55 251r45 328. 253r46 255r48 257r49 275r22 279r22 285r37 4|689r18 694r18 705r35 713r48 329. 727r22 754r49 763r55 779r48 794r47 803r56 835r45 846r46 858r18 870r18 881r47 330. 939r48 948r22 967r48 980r22 1024r26 331230V21 Key{228+12} 230>26 4|862s17 874s24 891s17 1024s38 1028s36 332230*26 Element{42+9} 333232V22 "<"{boolean} 232>26 232>32 4|796s26 796s48 862s37 874s22 334232*26 Left{228+12} 335232*32 Right{228+12} 336234k12 Generic_Keys 228z12 230z21 232z22 282E12 318l8 318e20 4|682b17 1050l8 337. 1050t20 338236V16*Equivalent_Keys{boolean} 236>33 236>39 4|794b16 797l11 797t26 1028s16 339236*33 Left{228+12} 4|794b33 796r21 796r50 340236*39 Right{228+12} 4|794b39 796r28 796r42 341238V16*Key{228+12} 238>21 4|821s37 823s47 881b16 892l11 892t14 939s58 342238r21 Position{61R9} 4|881b21 883r29 888r30 888r54 891r22 891r48 343240V16*Element{42+9} 240>25 240>42 4|779b16 788l11 788t18 344240r25 Container{54R9} 4|779b25 780r55 787r17 345240*42 Key{228+12} 4|779b42 780r66 346242U17*Replace 243=10 244>10 245>10 4|978b17 992l11 992t18 347243r10 Container{54R9} 4|979b10 983r55 991m27 348244*10 Key{228+12} 4|980b10 983r66 349245*10 New_Item{42+9} 4|981b10 991r44 350247U17*Exclude 247=26 247>50 4|803b17 810l11 810t18 351247r26 Container{54R9} 4|803b26 804r52 807m52 808m35 352247*50 Key{228+12} 4|803b50 804r63 353249U17*Delete 249=25 249>49 4|763b17 773l11 773t17 823s16 354249r25 Container{54R9} 4|763b25 764r52 771m49 772m32 355249*49 Key{228+12} 4|763b49 764r63 356251V16*Find{61R9} 251>22 251>39 4|756s17 835b16 840l11 840t15 966s44 357251r22 Container{54R9} 4|835b22 836r55 839r31 358251*39 Key{228+12} 4|835b39 836r66 359253V16*Floor{61R9} 253>23 253>40 4|846b16 851l11 851t16 360253r23 Container{54R9} 4|846b23 847r56 850r31 361253*40 Key{228+12} 4|846b40 847r67 362255V16*Ceiling{61R9} 255>25 255>42 4|713b16 719l11 719t18 363255r25 Container{54R9} 4|713b25 715r30 718r31 364255*42 Key{228+12} 4|713b42 715r41 365257V16*Contains{boolean} 257>26 257>43 4|754b16 757l11 757t19 366257r26 Container{54R9} 4|754b26 756r23 367257*43 Key{228+12} 4|754b43 756r34 368259U17*Update_Element_Preserving_Key 260=10 261>10 262^10 4|998b17 1037l11 369. 1037t40 370260r10 Container{54R9} 4|999b10 1009m51 1009r51 1015r30 1022m35 1022r35 1025m31 371. 1025r31 1033m49 1034m32 372261r10 Position{61R9} 4|1000b10 1004r29 1009r29 1015r41 1022r52 1033r60 1034r43 373262p10 Process 4|1001b10 1027r13 374263*35 Element{42+9} 375265R12*Reference_Type 265d28 271r37 279r39 302c12 304e17 308r23 310r11 314r19 376. 316r11 4|900r23 912r37 932r33 948r39 960r33 1045r19 377269V16*Reference_Preserving_Key{265R12} 270=10 271>10 4|910b16 944l11 944t35 378270r10 Container{54R9} 4|911b10 919m51 919r51 926r18 930m35 930r35 936m31 379. 936r31 937m44 937r44 941m22 941r22 380271r10 Position{61R9} 4|912b10 915r29 919r29 926r29 930r52 938r44 939r63 381273V16*Constant_Reference{96R9} 274>10 275>10 4|725b16 748l11 748t29 382274r10 Container{54R9} 4|726b10 729r55 737r35 739r15 383275*10 Key{228+12} 4|727b10 729r66 384277V16*Reference_Preserving_Key{265R12} 278=10 279>10 4|946b16 972l11 972t35 385278r10 Container{54R9} 4|947b10 950r55 958m35 958r35 964m31 964r31 965m44 386. 965r44 966r50 969m22 969r22 387279*10 Key{228+12} 4|948b10 950r66 966r61 967r58 388282P12 Set_Access(54R9) 283r11 294r22 389285P12 Key_Access(228+12) 296r22 390289K15 Impl[5|55] 292r13 4|819r13 391291R12 Reference_Control_Type<5|84R12[289]> 297e17 299P28 299r55 303r21 4|816r44 392. 15|46P14 393294p10 Container{282P12} 4|818r21 823r32 827m21 937m31 965m31 394295r10 Pos{61R9} 4|821r50 823r60 938m31 966m32 395296p10 Old_Key{285P12} 4|821r65 939m31 967m32 396299U28 Finalize<5|93p28> 299=38 300r22 4|816b17 829l11 829t19 397299r38 Control{291R12} 4|816b27 818r13 819m42 819r42 821r42 821r57 823r24 398. 823r52 827m13 399303r10 Control{291R12} 4|934m27 962m27 400306U17 Read 307^10 308<10 4|898b18 904l11 904t15 401307p10 Stream(17|39R9) 4|899b10 402308r10 Item{265R12} 4|900b10 403312U17 Write 313^10 314>10 4|1043b17 1049l11 1049t16 404313p10 Stream(17|39R9) 4|1044b10 405314r10 Item{265R12} 4|1045b10 406325R9 Node_Type 331e14 334r54 4|58r27 61r26 64r28 67r27 71r22 75r38 78r39 407. 81r40 97r18 102r15 107r15 110r39 199r43 209r43 289r15 291r47 326r47 384r27 408. 413r14 564r48 574r48 690r18 695r18 737r17 859r18 871r18 930r17 958r17 1022r17 409. 1137r44 1167r44 1191r18 1197r44 1232r44 1273r15 1287r15 1297r39 1459r26 410. 1545r28 1638r45 1651r45 1722r15 1916r27 1926r22 1937r38 1946r40 1955r39 411. 2004r19 2016r19 412326i7 Parent{2|20I9} 4|1547r19 1732m15 1948m12 413327i7 Left{2|20I9} 4|1461r19 1734m15 1939m12 414328i7 Right{2|20I9} 4|1733m15 1918r19 1957m12 415329e7 Color{7|37E9} 4|386r19 1731m15 1930m12 416330*7 Element{42+9} 4|166r32 166r58 179r47 191r56 211r19 211r31 246r33 246r58 417. 259r49 271r55 328m18 328r32 339r25 418m26 547r55 576r23 576r35 577r26 577r38 418. 664r48 742m29 787r40 862r28 874r35 891r63 933m40 961m40 1023m40 1059m55 419. 1085m42 1169m15 1234m15 1234r35 1243r19 1278r20 1290r27 1299r16 1299r28 420. 1452r47 1626m43 1653m42 1693m30 1730m15 1763r37 1764r33 1775m15 1794r44 421. 1833m18 2019r43 422333K12 Tree_Types[7|57] 337r10 339r8 339r20 4|123r55 423343U14 Write 344^7 345>7 4|1998b14 2026l8 2026t13 424344p7 Stream(17|39R9) 4|1999b7 2025r23 425345r7 Container{54R9} 4|2000b7 2025r31 426349U14 Read 350^7 351<7 4|1634b14 1660l8 1660t12 427350p7 Stream(17|39R9) 4|1635b7 1653r29 1659r22 428351r7 Container{54R9} 4|1636b7 1659m30 429355P9 Set_Access(54R9) 356r8 365r19 432r19 430365p7 Container{355P9} 4|156r32 159r33 163r38 163r39 164r39 164r40 176r32 431. 179r18 179r19 188r33 191r26 191r27 234r32 237r33 243r38 243r39 244r39 244r40 432. 256r33 259r19 259r20 268r32 271r26 271r27 398r35 402r35 469r35 544r36 547r22 433. 547r23 888r39 891r30 891r31 915r38 919r38 1009r38 1059r22 1059r23 1106m16 434. 1384r32 1499r36 1504r43 1511r34 1522r19 1526r35 1560r36 1565r47 1568r40 435. 1579r19 1583r35 1619r36 1623r35 1868r35 436366i7 Node{2|20I9} 4|148r31 152r32 156r52 159r54 166r26 166r52 172r31 176r52 437. 179r41 184r32 188r54 191r50 226r31 230r32 234r52 237r54 246r27 246r52 252r32 438. 256r54 259r43 264r31 268r52 271r49 409r35 413r58 465r35 476r47 479r66 480r49 439. 540r35 544r60 547r49 883r38 888r63 891r57 926r38 930r61 1004r38 1015r50 440. 1022r61 1033r69 1034r52 1059r49 1085r36 1103m19 1389r44 1404r40 1499r60 441. 1504r67 1560r60 1565r71 1615r35 1619r60 1626r37 1863r35 1874r47 1877r44 442369U14 Write 370^7 371>7 4|2028b14 2034l8 2034t13 443370p7 Stream(17|39R9) 4|2029b7 444371r7 Item{61R9} 4|2030b7 445375U14 Read 376^7 377<7 4|1662b14 1668l8 1668t12 446376p7 Stream(17|39R9) 4|1663b7 447377r7 Item{61R9} 4|1664b7 448381R12 Reference_Control_Type{5|84R12[7|77[3|333]]} 387r20 412r45 4|1596r45 449. 1601r27 450387r10 Control{381R12} 4|419m13 743m16 451394U14 Read 395^7 396<7 4|1670b14 1676l8 1676t12 452395p7 Stream(17|39R9) 4|1671b7 453396r7 Item{96R9} 4|1672b7 454400U14 Write 401^7 402>7 4|2036b14 2042l8 2042t13 455401p7 Stream(17|39R9) 4|2037b7 456402r7 Item{96R9} 4|2038b7 457411V13 Pseudo_Reference{381R12} 412>7 413r19 4|1595b13 1604l8 1604t24 458412c7 Container<54R9> 4|1596b7 1599r9 459418P9 Element_Access(42+9) 422r42 4|1057r42 460421V13 Get_Element_Access{418P9} 422>7 4|1056b13 1060l8 1060t26 461422r7 Position{61R9} 4|1057b7 1059r14 1059r40 462429R9 Iterator<15|50R9><16|32R9[70]> 435e6 437P25 437r51 439P24 439r40 440P24 463. 440r40 442P24 443r18 446P24 447r18 4|604r40 632r29 1355r28 1356r9 1401r28 464. 1402r9 1420r28 1520r28 1577r32 15|53P14 23|42p14 465432p7 Container{355P9} 4|606r17 607r24 607r25 648r52 650r32 1357m21 1403m21 466. 1436r51 1438r32 1526r55 1583r55 467433i7 Node{2|20I9} 4|647r17 650r50 1358m21 1404m21 1435r17 1438r50 468437U25 Finalize<15|54p14> 437=35 4|604b14 609l8 609t16 469437r35 Object{429R9} 4|604b24 606r10 607r18 470439V24 First{61R9}<16|26p13> 439>31 4|632b13 652l8 652t13 471439r31 Object{429R9} 4|632b20 647r10 648r45 650r25 650r43 472440V24 Last{61R9}<16|34p13> 440>31 4|1420b13 1440l8 1440t12 473440r31 Object{429R9} 4|1420b19 1435r10 1436r44 1438r25 1438r43 474442V24 Next{61R9}<16|28p13> 443>7 444>7 4|1520b13 1532l8 1532t12 475443r7 Object{429R9} 4|1520b19 1526r48 476444r7 Position{61R9} 4|1520b38 1522r10 1526r26 1531r20 477446V24 Previous{61R9}<16|36p13> 447>7 448>7 4|1577b13 1589l8 1589t16 478447r7 Object{429R9} 4|1577b23 1583r48 479448r7 Position{61R9} 4|1577b42 1579r10 1583r26 1588r24 480X 4 a-cborse.adb 48158V13 Color{7|37E9} 58>20 59r19 384b13 387l8 387t13 10|57i19 48258r20 Node{3|325R9} 384b20 386r14 48361V13 Left{2|20I9} 61>19 62r19 1459b13 1462l8 1462t12 10|45i19 48461r19 Node{3|325R9} 1459b19 1461r14 48564V13 Parent{2|20I9} 64>21 65r19 1545b13 1548l8 1548t14 10|39i19 48664r21 Node{3|325R9} 1545b21 1547r14 48767V13 Right{2|20I9} 67>20 68r19 1916b13 1919l8 1919t13 10|51i19 48867r20 Node{3|325R9} 1916b20 1918r14 48970U14 Set_Color 71=7 72>7 73r19 1925b14 1931l8 1931t17 10|59i19 49071r7 Node{3|325R9} 1926b7 1930m7 49172e7 Color{7|37E9} 1927b7 1930r21 49275U14 Set_Left 75=24 75>49 76r19 1937b14 1940l8 1940t16 10|47i19 49375r24 Node{3|325R9} 1937b24 1939m7 49475i49 Left{2|20I9} 1937b49 1939r20 49578U14 Set_Right 78=25 78>50 79r19 1955b14 1958l8 1958t17 10|53i19 49678r25 Node{3|325R9} 1955b25 1957m7 49778i50 Right{2|20I9} 1955b50 1957r21 49881U14 Set_Parent 81=26 81>51 82r19 1946b14 1949l8 1949t18 10|41i19 49981r26 Node{3|325R9} 1946b26 1948m7 50081i51 Parent{2|20I9} 1946b51 1948r22 50188U14 Insert_Sans_Hint 89=7 90>7 91<7 92<7 1100s7 1131b14 1182l8 1182t24 502. 1979s10 50389r7 Container{3|54R9} 1132b7 1159m20 1175r17 1178m10 50490*7 New_Item{3|42+9} 1133b7 1169r26 1179r10 50591i7 Node{2|20I9} 1134b7 1180m10 50692b7 Inserted{boolean} 1135b7 1181m10 50794U14 Insert_With_Hint 95=7 96>7 97>7 98<7 139r30 1188b14 1246l8 1246t24 50895r7 Dst_Set{3|54R9} 1189b7 1224m20 1241m10 50996i7 Dst_Hint{2|20I9} 1190b7 1242r10 51097r7 Src_Node{3|325R9} 1191b7 1234r26 1243r10 51198i7 Dst_Node{2|20I9} 1192b7 1244m10 512100V13 Is_Greater_Element_Node{boolean} 101>7 102>7 103r19 132r33 1271b13 513. 1279l8 1279t31 514101*7 Left{3|42+9} 1272b7 1278r30 515102r7 Right{3|325R9} 1273b7 1278r14 516105V13 Is_Less_Element_Node{boolean} 106>7 107>7 108r19 131r33 1285b13 1291l8 517. 1291t28 518106*7 Left{3|42+9} 1286b7 1290r14 519107r7 Right{3|325R9} 1287b7 1290r21 520110V13 Is_Less_Node_Node{boolean} 110>32 110>35 111r19 140r30 1297b13 1300l8 521. 1300t25 522110r32 L{3|325R9} 1297b32 1299r14 523110r35 R{3|325R9} 1297b35 1299r26 524113U14 Replace_Element 114=7 115>7 116>7 991s10 1700b14 1855l8 1855t23 1877s7 525114r7 Container{3|54R9} 1701b7 1721m34 1721r34 1761m28 1761r28 1773r20 1788r37 526. 1792m31 1792r31 1831r23 1844m46 1847m22 527115i7 Index{2|20I9} 1702b7 1705r22 1722r40 1735r17 1830r20 1844r57 1854r31 528116*7 Item{3|42+9} 1703b7 1730r26 1763r25 1764r43 1775r26 1788r48 1794r24 529. 1833r29 1849r22 530122K12 Tree_Operations[10|63] 125r8 129r33 136r30 203r14 282r14 309r17 377r7 531. 479r7 480r7 489r7 495r7 506r10 507r10 519r10 520r10 568r14 595r10 596r10 532. 704r35 771r10 772r10 807r13 808r13 1033r10 1034r10 1150r14 1215r14 1321r13 533. 1504r12 1565r12 1642r14 1645r14 1844r7 1892r14 2008r14 534127K12 Element_Keys[8|50] 298r17 301r17 304r17 365r9 486r34 592r34 616r37 535. 672r37 1144r13 1147r13 1204r14 1207r14 1210r14 1683r37 1711r14 1714r14 536. 1717r14 1788r15 537134K12 Set_Ops[12|52] 529r15 532r15 1253r15 1256r15 1307r15 1539r15 1965r15 538. 1968r15 1989r15 1992r15 539163a10 LN{7|58A12[3|333]} 166r17 540164a10 RN{7|58A12[3|333]} 166r42 541199V16 Is_Equal_Node_Node{boolean} 199>36 199>39 200r22 203r45 209b16 212l11 542. 212t29 543199r36 L{3|325R9} 209b36 211r17 544199r39 R{3|325R9} 209b39 211r29 545202V16 Is_Equal[10|89]{boolean} 217s14 546243a10 LN{7|58A12[3|333]} 246r43 547244a10 RN{7|58A12[3|333]} 246r17 548279U17 Append_Element 279>33 282r49 288b17 341l11 341t25 549279i33 Source_Node{2|20I9} 288b33 289r47 550281U17 Append_Elements[10|105] 356s7 551289r10 SN{3|325R9} 328r29 339r22 552291U20 Set_Element 291=33 292r25 309r51 326b20 329l14 329t25 553291r33 Node{3|325R9} 326b33 328m13 554294V19 New_Node{2|20I9} 295r25 298r51 315b19 320l14 320t22 555297U20 Insert_Post[8|56] 301r60 305r16 556300U20 Unconditional_Insert_Sans_Hint[8|95] 306r16 557303U20 Unconditional_Insert_Avec_Hint[8|115] 336s10 558308U20 Allocate[10|145] 318s13 559316i13 Result{2|20I9} 318m31 319r20 560331i10 Target_Node{2|20I9} 340m22 561364i7 Node{2|20I9} 367r18 368r59 562413r10 N{3|325R9} 418r24 563414p10 TC{5|51P9} 419r41 421r19 564417r17 R{3|96R9} 565443i7 C{2|20I9} 447m10 449m10 454r40 566454r14 Target{3|54R9} 455m28 455r28 567486i7 X{2|20I9} 489r57 491r26 495r40 568503i7 X{2|20I9} 505r10 506r60 507r43 569516i7 X{2|20I9} 518r10 519r60 520r43 570564V16 Is_Equivalent_Node_Node{boolean} 564>41 564>44 565r22 568r45 574b16 571. 579l11 579t34 572564r41 L{3|325R9} 574b41 576r21 577r36 573564r44 R{3|325R9} 574b44 576r33 577r24 574567V16 Is_Equivalent[10|89]{boolean} 584s14 575592i7 X{2|20I9} 594r10 595r60 596r43 576616i7 Node{2|20I9} 618r18 619r59 577672i7 Node{2|20I9} 674r18 675r59 578688V16 Is_Greater_Key_Node{boolean} 689>10 690>10 691r22 707r35 857b16 863l11 579. 863t30 580689*10 Left{3|228+12} 858b10 862r39 581690r10 Right{3|325R9} 859b10 862r22 582693V16 Is_Less_Key_Node{boolean} 694>10 695>10 696r22 706r35 869b16 875l11 583. 875t27 584694*10 Left{3|228+12} 870b10 874r17 585695r10 Right{3|325R9} 871b10 874r29 586702K15 Key_Keys[8|50] 715r12 729r40 764r37 780r40 804r37 836r40 847r40 950r40 587. 983r40 588714i10 Node{2|20I9} 717r21 718r62 589729i10 Node{2|20I9} 732r29 737r52 590737r13 N{3|325R9} 742r27 591738p13 TC{5|51P9} 743r44 745r22 592741r20 R{3|96R9} 593764i10 X{2|20I9} 767r29 771r60 772r43 594780i10 Node{2|20I9} 783r29 787r34 595804i10 X{2|20I9} 806r13 807r63 808r46 596836i10 Node{2|20I9} 838r21 839r62 597847i10 Node{2|20I9} 849r21 850r62 598930r13 N{3|325R9} 933r38 599932r20 R{3|265R12} 600950i10 Node{2|20I9} 953r29 958r52 601958r13 N{3|325R9} 961r38 602960r20 R{3|265R12} 603983i10 Node{2|20I9} 986r29 991r38 6041001*49 Element{3|42+9} 6051022r13 N{3|325R9} 1023r38 6061023*13 E{3|42+9} 1024r43 1027r22 1028r41 6071024*13 K{3|228+12} 1028r33 6081025r13 Lock{5|142R12[7|77[3|333]]} 6091076r7 Position{3|61R9} 1080m36 1085r27 6101077b7 Inserted{boolean} 1080m46 1082r14 6111113r7 Position{3|61R9} 1114r28 1119m36 6121116b7 Inserted{boolean} 1119m46 1121r30 6131137U17 Set_Element 1137=30 1138r22 1150r48 1167b17 1170l11 1170t22 6141137r30 Node{3|325R9} 1167b30 1169m10 6151140V16 New_Node{2|20I9} 1141r22 1144r47 1156b16 1161l11 1161t19 6161143U17 Insert_Post[8|56] 1147r54 6171146U17 Conditional_Insert_Sans_Hint[8|75] 1177s7 6181149U17 Allocate[10|145] 1159s10 6191157i10 Result{2|20I9} 1159m31 1160r17 6201194b7 Success{boolean} 1195r28 1245m10 6211197U17 Set_Element 1197=30 1198r22 1215r48 1232b17 1235l11 1235t22 6221197r30 Node{3|325R9} 1232b30 1234m10 6231200V16 New_Node{2|20I9} 1201r22 1204r48 1221b16 1226l11 1226t19 6241203U17 Insert_Post[8|56] 1207r55 1211r13 6251206U17 Insert_Sans_Hint[8|75] 1212r13 6261209U17 Local_Insert_With_Hint[8|146] 1240s7 6271214U17 Allocate[10|145] 1224s10 6281222i10 Result{2|20I9} 1224m29 1225r17 6291315r46 Position{3|61R9} 6301317U17 Process_Node 1317>31 1318r22 1321r48 1327b17 1330l11 1330t23 6311317i31 Node{2|20I9} 1327b31 1329r58 6321320U17 Local_Iterate[10|105] 1338s7 6331332r7 S{3|54R9} 1333r25 1338r22 6341333r7 Busy{5|136R12[7|77[3|333]]} 6351355r14 It{3|429R9} 6361401r14 It{3|429R9} 6371503i10 Node{2|20I9} 1507r13 1511r45 6381564i10 Node{2|20I9} 1567r21 1568r51 6391598p7 TC{5|51P9} 1601r70 1602r16 6401601r14 R{3|381R12} 6411612*45 Element{3|42+9} 6421623r10 S{3|54R9} 1624r28 1626r19 6431624r10 Lock{5|142R12[7|77[3|333]]} 6441638U17 Read_Element 1638=31 1639r22 1642r48 1651b17 1654l11 1654t23 6451638r31 Node{3|325R9} 1651b31 1653m37 1653r37 6461641U17 Allocate[10|145] 1645r44 6471644U17 Read_Elements[10|130] 1659s7 6481683i7 Node{2|20I9} 1686r26 1693r24 6491707V16 New_Node{2|20I9} 1708r22 1711r48 1728b16 1736l11 1736t19 6501710U17 Local_Insert_Post[8|56] 1714r55 1718r13 6511713U17 Local_Insert_Sans_Hint[8|75] 1719r13 6521716U17 Local_Insert_With_Hint[8|146] 1846s7 6531721a7 Nodes{7|58A12[3|333]} 1722r33 1794r31 6541722r7 Node=1722:33{3|325R9} 1730r10 1731r10 1732r10 1733r10 1734r10 1763r32 655. 1764r28 1775r10 1833r13 6561738i7 Hint{2|20I9} 1788m7 1790r10 1794r38 1830r13 1848r22 6571739i7 Result{2|20I9} 1850m22 1854r22 6581740b7 Inserted{boolean} 1851m22 1853r22 6591741b7 Compare{boolean} 1763m10 1768r10 1794m13 1799r33 6601761r10 Lock{5|142R12[7|77[3|333]]} 6611792r13 Lock{5|142R12[7|77[3|333]]} 6621886r46 Position{3|61R9} 6631888U17 Process_Node 1888>31 1889r22 1892r57 1898b17 1901l11 1901t23 6641888i31 Node{2|20I9} 1898b31 1900r58 6651891U17 Local_Reverse_Iterate[10|111] 1909s7 6661903r7 S{3|54R9} 1904r25 1909r30 6671904r7 Busy{5|136R12[7|77[3|333]]} 6681975i7 Node{2|20I9} 1979m41 6691976b7 Inserted{boolean} 1979m47 1980r25 6701978r14 S{3|54R9} 1979m28 1979r28 6712002U17 Write_Element 2003^10 2004>10 2005r22 2008r45 2014b17 2020l11 2020t24 6722003p10 Stream(17|39R9) 2015b10 2019r30 6732004r10 Node{3|325R9} 2016b10 2019r38 6742007U17 Write_Elements[10|119] 2025s7 675X 5 a-conhel.ads 67631K24*Helpers 3|36w21 289r27 4|30w21 30r49 5|159e27 67751P9*Tamper_Counts_Access(43R9) 4|414r24 738r27 1598r21 67855k12*Generic_Implementation 3|289r35 5|157e30 67977b7 Checks{boolean} 4|148r10[7|77[3|333]] 152r10[7|77[3|333]] 172r10[7|77[3|333]] 680. 184r10[7|77[3|333]] 226r10[7|77[3|333]] 230r10[7|77[3|333]] 252r10[7|77[3|333]] 681. 264r10[7|77[3|333]] 350r10[7|77[3|333]] 398r10[7|77[3|333]] 402r10[7|77[3|333]] 682. 450r13[7|77[3|333]] 465r10[7|77[3|333]] 469r10[7|77[3|333]] 491r10[7|77[3|333]] 683. 540r10[7|77[3|333]] 660r10[7|77[3|333]] 732r13[7|77[3|333]] 767r13[7|77[3|333]] 684. 783r13[7|77[3|333]] 821r16[7|77[3|333]] 883r13[7|77[3|333]] 915r13[7|77[3|333]] 685. 919r13[7|77[3|333]] 953r13[7|77[3|333]] 986r13[7|77[3|333]] 1004r13[7|77[3|333]] 686. 1009r13[7|77[3|333]] 1121r10[7|77[3|333]] 1379r10[7|77[3|333]] 1384r10[7|77[3|333]] 687. 1448r10[7|77[3|333]] 1526r10[7|77[3|333]] 1583r10[7|77[3|333]] 1615r10[7|77[3|333]] 688. 1686r10[7|77[3|333]] 1799r13[7|77[3|333]] 1863r10[7|77[3|333]] 1868r10[7|77[3|333]] 68978b7 T_Check{boolean} 3|435r37[7|77[3|333]] 69084R12 Reference_Control_Type<15|43R9> 3|292r18[289] 381r53[7|77[3|333]] 4|819r18[3|289] 69190U28 Adjust<15|47p14> 69293U28 Finalize<15|48p14> 4|819s51[3|289] 693100U17 Busy 4|1360s10[7|77[3|333]] 1406s10[7|77[3|333]] 694104U17 Unbusy 4|607s10[7|77[3|333]] 695108U17 Lock 4|421s13[7|77[3|333]] 745s16[7|77[3|333]] 941s16[7|77[3|333]] 696. 969s16[7|77[3|333]] 1602s10[7|77[3|333]] 697116U17 TC_Check 4|474s7[7|77[3|333]] 1175s7[7|77[3|333]] 1483s7[7|77[3|333]] 698120U17 TE_Check 4|1083s10[7|77[3|333]] 1691s7[7|77[3|333]] 1773s10[7|77[3|333]] 699. 1831s13[7|77[3|333]] 700136R12 With_Busy<15|50R9> 4|1333r14[7|77[3|333]] 1904r14[7|77[3|333]] 701142R12 With_Lock<15|50R9> 4|1025r20[7|77[3|333]] 1624r17[7|77[3|333]] 1761r17[7|77[3|333]] 702. 1792r20[7|77[3|333]] 703X 7 a-crbltr.ads 70434K24*Red_Black_Trees 3|37w29 329r17 329r47 334r10 4|32r21 36r21 39r21 58r45 705. 72r15 123r11 128r11 135r11 384r45 703r13 1731r26 1927r15 7|80e35 70637E9*Color_Type 3|329r33 4|58r61 72r31 384r61 1927r31 7|37e35 70737n24*Red{37E9} 3|329r63 4|1731r42 70857k12*Generic_Bounded_Tree_Types 3|334r26 7|78e34 70958A12 Nodes_Type(3|325R9)<2|20I9> 4|163r15[3|333] 164r15[3|333] 243r15[3|333] 710. 244r15[3|333] 1721r15[3|333] 71167R12 Tree_Type 3|337r21[333] 425r37[333] 71268i10 First{2|20I9} 4|503r44[3|333] 628r28[3|333] 629r69[3|333] 660r36[3|333] 713. 664r41[3|333] 71469i10 Last{2|20I9} 4|516r44[3|333] 1416r28[3|333] 1417r69[3|333] 1448r36[3|333] 715. 1452r41[3|333] 71671i10 Length{2|20I9} 4|350r51[3|333] 447r22[3|333] 448r32[3|333] 1264r24[3|333] 717. 1470r24[3|333] 71872r10 TC{5|43R9} 4|415m22[3|333] 474r27[3|333] 607m35[3|333] 739m25[3|333] 719. 936m41[3|333] 941m32[3|333] 964m41[3|333] 969m32[3|333] 1025m41[3|333] 720. 1083r30[3|333] 1175r27[3|333] 1333m27[3|333] 1360m26[3|333] 1406m26[3|333] 721. 1483r24[3|333] 1599m19[3|333] 1624m30[3|333] 1691r27[3|333] 1761m38[3|333] 722. 1773r30[3|333] 1792m41[3|333] 1831r33[3|333] 1904m27[3|333] 72374a10 Nodes{58A12[3|333]} 4|163m49[3|333] 164m50[3|333] 179r29[3|333] 191r37[3|333] 724. 243m49[3|333] 244m50[3|333] 259r30[3|333] 271r37[3|333] 289m40[3|333] 413m42[3|333] 725. 547r33[3|333] 664r24[3|333] 737m45[3|333] 787r27[3|333] 891r41[3|333] 930m45[3|333] 726. 958m45[3|333] 1022m45[3|333] 1059m33[3|333] 1085m20[3|333] 1452r24[3|333] 727. 1626m21[3|333] 1693m17[3|333] 1721m44[3|333] 72877K15 Implementation[5|55] 3|339r31[333] 381r38[333] 729X 8 a-rbtgbk.ads 73036K17 Tree_Operations 4|129r10 704r12 73140+9 Key_Type 4|130r10 705r12 73242V18 Is_Less_Key_Node{boolean} 4|131r10 706r12 73346V18 Is_Greater_Key_Node{boolean} 4|132r10 707r12 73450k40*Generic_Bounded_Keys 4|36w37 37r54 128r27 703r29 8|193e56 73556u14 Generic_Insert_Post 4|298r30[127] 1144r26[127] 1204r27[127] 1711r27[127] 73675u14 Generic_Conditional_Insert 4|1147r26[127] 1207r27[127] 1714r27[127] 73795u14 Generic_Unconditional_Insert 4|301r30[127] 738115u14 Generic_Unconditional_Insert_With_Hint 4|304r30[127] 739116c7 Tree<7|67R12[3|333]> 4|337r13[303] 740117i7 Hint{2|20I9} 4|338r13[303] 741118*7 Key{3|42+9} 4|339r13[303] 742119i7 Node{2|20I9} 4|340r13[303] 743146u14 Generic_Conditional_Insert_With_Hint 4|1210r27[127] 1717r27[127] 744147c7 Tree<7|67R12[3|333]> 4|1847r10[1716] 745148i7 Position{2|20I9} 4|1848r10[1716] 746149*7 Key{3|42+9} 4|1849r10[1716] 747150i7 Node{2|20I9} 4|1850r10[1716] 748151b7 Inserted{boolean} 4|1851r10[1716] 749157V13 Find{2|20I9} 4|486s47[127] 592s47[127] 616s50[127] 729s49[702] 764s46[702] 750. 780s49[702] 804s46[702] 836s49[702] 950s49[702] 983s49[702] 1683s50[127] 751162V13 Ceiling{2|20I9} 4|365s22[127] 715s21[702] 1788s28[127] 752167V13 Floor{2|20I9} 4|672s50[127] 847s49[702] 753X 10 a-rbtgbo.ads 75463k40*Generic_Bounded_Operations 4|32w37 34r35 123r27 10|156e62 75573V13 Vet{boolean} 4|156s22[122] 159s22[122] 176s22[122] 188s22[122] 234s22[122] 756. 237s22[122] 256s22[122] 268s22[122] 409s10[122] 476s22[122] 544s22[122] 757. 888s25[122] 926s13[122] 1015s25[122] 1389s22[122] 1499s22[122] 1560s22[122] 758. 1619s22[122] 1874s22[122] 75977V13 Next{2|20I9} 4|1504s28[122] 76082V13 Previous{2|20I9} 4|1565s28[122] 76189v13 Generic_Equal 4|203r30[122] 568r30[122] 76294U14 Delete_Node_Sans_Free 4|479s23[122] 489s23[122] 506s26[122] 519s26[122] 763. 595s26[122] 771s26[122] 807s29[122] 1033s26[122] 1844s23[122] 76499U14 Clear_Tree 4|377s23[122] 765105u14 Generic_Iteration 4|282r30[122] 1321r29[122] 766111u14 Generic_Reverse_Iteration 4|1892r30[122] 767119u14 Generic_Write 4|2008r30[122] 768130u14 Generic_Read 4|1645r30[122] 769145u14 Generic_Allocate 4|309r33[122] 1150r30[122] 1215r30[122] 1642r30[122] 770152U14 Free 4|480s23[122] 495s23[122] 507s26[122] 520s26[122] 596s26[122] 771. 772s26[122] 808s29[122] 1034s26[122] 772X 12 a-btgbso.ads 77336K17 Tree_Operations 4|136r10 77438R9 Set_Type<7|67R12[10|36[12|36]]> 4|137r10 77542U19 Assign 4|138r10 77644U19 Insert_With_Hint 4|139r10 77750V18 Is_Less{boolean} 4|140r10 77852k40*Generic_Bounded_Set_Operations 4|39w37 41r35 135r27 12|103e66 77955U14 Set_Union 4|1989r23[134] 78063V13 Set_Union{3|54R9} 4|1992r23[134] 78167U14 Set_Intersection 4|1253r23[134] 78271V13 Set_Intersection{3|54R9} 4|1256r23[134] 78375U14 Set_Difference 4|529r23[134] 78479V13 Set_Difference{3|54R9} 4|532r23[134] 78583U14 Set_Symmetric_Difference 4|1965r23[134] 78690V13 Set_Symmetric_Difference{3|54R9} 4|1968r23[134] 78795V13 Set_Subset{boolean} 4|1307r23[134] 78899V13 Set_Overlap{boolean} 4|1539r23[134] 789X 15 a-finali.ads 79040K13*Finalization 3|39w18 340r12 15|68e21 79143H9*Controlled<23|40R9> 4|419r25 743r28 935r30 963r30 1601r54 15|59e72 79246U14*Initialize<23|44p14> 79350H9*Limited_Controlled<23|40R9> 3|429r25 4|1356r19 1402r19 15|66e55 79453U14*Initialize<23|44p14> 795X 16 a-iteint.ads 79621k13*Iterator_Interfaces 3|34w10 71r10 16|39e28 79724h9 Forward_Iterator 79832C9 Reversible_Iterator<32R9[3|70]> 79932h9 Reversible_Iterator<24R9[3|70]> 3|220r38[70] 225r38[70] 430r30[70] 4|1342r37[3|70] 800. 1365r37[3|70] 801X 17 a-stream.ads 80236K13*Streams 3|38w18 287r15 341r12 17|87e16 80339H9*Root_Stream_Type 3|307r35 313r35 344r35 350r35 370r32 376r32 395r32 804. 401r32 4|899r35 1044r35 1635r35 1663r32 1671r32 1999r35 2003r35 2015r35 805. 2029r32 2037r32 17|70e64 806X 20 system.ads 80737K9*System 4|43w6 43r23 20|148e11 80867M9*Address 4|43r30 80981V14*"="{boolean} 4|346r25 1479r25 810X 23 s-finroo.ads 81142U14*Adjust 812 813