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_IMPLEMENTATION_PRAGMAS
RV NO_IMPLICIT_ALIASING
RV SPARK
U ada.containers.formal_ordered_sets%b a-cforse.adb fdb1951e NE OL PK GE
W ada%s ada.ads ada.ali
W ada.containers%s a-contai.ads a-contai.ali
W ada.containers.red_black_trees%s a-crbltr.ads a-crbltr.ali
W ada.containers.red_black_trees.generic_bounded_keys%s
W ada.containers.red_black_trees.generic_bounded_operations%s
W ada.containers.red_black_trees.generic_bounded_set_operations%s
Z ada.streams%s a-stream.ads a-stream.ali
W system%s system.ads system.ali
U ada.containers.formal_ordered_sets%s a-cforse.ads 3548a216 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-cforse.ads 20121213103029 c0ab70ad
D a-cforse.adb 20121213103029 be3659b2
D a-crbltr.ads 20121213103024 b8a2dc05
D a-rbtgbk.ads 20121213103024 39d9d137
D a-rbtgbk.adb 20121213103024 daf0f197
D a-rbtgbo.ads 20121213103024 79c91cd1
D a-rbtgbo.adb 20121213103024 1ca6967a
D a-btgbso.ads 20121213103029 5318e0f6
D a-btgbso.adb 20121213103024 56788f41
D a-except.ads 20121213103024 10fcae55
D a-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|55r14 56r14 64r9 283r8 320r5 4|28r6 32r6 35r6 41r14 1826r5
X 2 a-contai.ads
16K13*Containers 1|16k9 2|24e19 3|55r18 64r13 320r9 4|28r10 32r10 35r10 41r18
. 1826r9
20I9*Count_Type<integer> 3|69r25 86r45 94r44 269r17 270r17 271r17 279r25
. 289r14 4|53r48 56r46 59r49 67r56 70r58 73r60 86r18 88r43 93r23 98r18 100r22
. 117r14 152r15 153r15 154r15 187r47 196r47 202r35 222r35 223r22 240r24 273r23
. 317r44 318r16 319r16 320r21 377r20 393r23 406r23 511r20 524r23 552r22 572r26
. 587r43 599r18 644r26 668r23 684r26 718r23 731r26 741r26 800r26 859r26 945r23
. 950r32 965r32 966r19 997r18 999r22 1006r32 1025r32 1026r19 1067r23 1134r38
. 1144r38 1204r14 1228r48 1237r45 1248r11 1315r46 1338r26 1434r23 1456r14
. 1461r32 1481r32 1492r19 1493r19 1574r38 1584r38 1614r14 1639r49 1660r56
. 1669r60 1678r58 1688r15 1689r15 1746r18
X 3 a-cforse.ads
59+9 Element_Type 61r37 62r37 67r48 84r32 96r65 101r19 106r56 112r19 118r19
. 122r19 126r19 130r19 134r19 174r52 178r51 188r43 190r44 192r46 194r47 211r36
. 221r65 226r22 244r52 273r17 4|92r19 103r15 108r15 118r14 135r32 272r46
. 307r19 376r53 446r65 462r48 510r54 523r43 551r52 569r44 683r65 798r22 817r66
. 831r17 887r58 914r19 924r19 944r19 1086r15 1100r15 1184r51 1357r56 1412r10
. 1433r58 1457r14 1551r19 1745r32 1809r10
61V19 "<"{boolean} 61>23 61>29 4|464s15 465s23 491s23 493s26 1092s28 1104s19
. 1113s24 1499s15 1500s35 1519s18 1531s48
61*23 Left{59+9}
61*29 Right{59+9}
62V19 "="{boolean} 62>23 62>29 4|171r46 1701r40
62*23 Left{59+9}
62*29 Right{59+9}
64k24*Formal_Ordered_Sets 2|16k13 3|59z9 61z19 62z19 320l20 320e39 4|41b29
. 349r13 372r7 385r7 397r10 410r10 515r10 676r10 722r13 862r13 1274r10 1826l20
. 1826t39
67V13*Equivalent_Elements{boolean} 67>34 67>40 4|462b13 471l8 471t27
67*34 Left{59+9} 4|462b34 464r10 465r25
67*40 Right{59+9} 4|462b40 464r17 465r17
69R9*Set 69d14 76r25 80p14 80r32 82p13 82r44 84p13 84r53 86p13 86r33 88p13
. 88r35 90p14 90r40 92p14 92r38 92r52 94p13 94r28 94r68 96p13 96r34 98p14
. 99r26 103p14 104r26 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 180p13 180r31 182p14 182r32 184p13 184r35 186p14 186r36
. 188p13 188r31 190p13 190r32 192p13 192r34 194p13 194r35 196p13 196r38 198p14
. 199r19 201r48 203p14 204r19 206r44 219r33 221r37 224r29 228r45 230r44 232r34
. 234r35 236r37 238r38 241r29 248p13 248r41 253p13 253r32 253r63 254p13 254r32
. 254r63 279c9 280e58 285r34 306p14 308r19 310r8 312p14 314r23 316r8 318r25
. 4|88r34 91r26 97r25 116r21 142r29 151r32 186r38 186r52 272r34 287r40 306r19
. 317r28 317r68 320r16 361r41 376r41 392r47 405r46 418r42 418r56 423r39 423r51
. 437r18 446r34 477r44 510r42 523r31 538r32 551r40 569r32 587r34 643r37 658r38
. 667r44 683r37 717r45 730r34 740r35 774r33 796r29 815r29 874r38 887r42 913r26
. 923r26 943r26 996r25 1056r44 1056r58 1061r41 1061r53 1067r18 1076r35 1120r33
. 1120r47 1130r19 1131r58 1173r31 1184r39 1201r31 1201r62 1203r14 1237r33
. 1246r36 1246r57 1282r31 1297r32 1306r36 1324r35 1345r36 1355r26 1395r23
. 1433r42 1455r21 1549r26 1570r19 1571r58 1611r32 1611r63 1613r14 1687r41
. 1717r52 1717r66 1722r49 1722r61 1736r18 1745r53 1749r18 1759r37 1759r51
. 1764r34 1764r46 1778r18 1790r19
69i14 Capacity{2|20I9} 279r14 280r32 318m33 4|259r17 320r44 331r31 1203r29
. 1203r69 1255r17 1613r29 1613r69
73R9*Cursor 74r41 78r26 96r50 100r19 105r19 113r23 138r26 172r44 176r43 180r47
. 180r62 182r55 184r51 184r66 186r59 188r64 190r65 192r67 196r54 201r64 206r60
. 219r49 232r62 234r63 236r65 242r22 253r48 254r48 288c9 290e14 294r16 296r8
. 300r20 302r8 304r26 4|272r67 361r64 446r50 523r64 538r44 569r65 643r65
. 730r62 740r63 774r49 816r22 874r54 888r18 915r23 926r18 1132r57 1173r43
. 1201r47 1202r14 1282r47 1282r62 1297r55 1324r51 1324r66 1345r59 1356r19
. 1423r20 1550r19 1572r57 1611r48 1612r14 1820r16
76r4*Empty_Set{69R9} 318c4 4|426r17 430r17 1725r17
78r4*No_Element{73R9} 304c4 4|277r17 310r40 373r19 528r17 541r17 576r20 648r20
. 660r42 733r35 743r35 1176r20 1207r17 1284r21 1285r17 1326r21 1327r17 1341r35
. 1617r17 1622r22
80V14*"="{boolean} 80>18 80>24 4|151b14 180l9 180t11
80r18 Left{69R9} 4|151b18 157r18 161r20 165r20 165r32 167r22 169r32 171r20
. 176r24
80r24 Right{69R9} 4|151b24 157r35 169r25 171r49
82V13*Equivalent_Sets{boolean} 82>30 82>36 4|477b13 504l8 504t23
82r30 Left{69R9} 4|477b30 503r29
82r36 Right{69R9} 4|477b36 503r35
84V13*To_Set{69R9} 84>21 4|1745b13 1753l8 1753t14
84*21 New_Item{59+9} 4|1745b21 1750r31
86V13*Length{2|20I9} 86>21 4|157s10 157s27 323s10 429s10 433s10 437s23 540s10
. 1067s39 1067s54 1078s14 1175s18 1237b13 1240l8 1240t14 1255s28 1692s10
. 1692s27 1728s10 1732s10 1736s23 1736s39 1770s10 1774s10 1778s23 1778s39
86r21 Container{69R9} 4|1237b21 1239r14
88V13*Is_Empty{boolean} 88>23 4|161s10 1076b13 1079l8 1079t16
88r23 Container{69R9} 4|1076b23 1078r22
90U14*Clear 90=21 4|287b14 290l8 290t13 1265s7 1618s10
90r21 Container{69R9} 4|287b21 289m35
92U14*Assign 92=22 92>43 4|143r29 186b14 266l8 266t14 438s13 1068s13 1737s10
. 1779s12
92r22 Target{69R9} 4|186b22 225m23 246m22 255m10 255r10 259r10 264m35
92r43 Source{69R9} 4|186b43 197r33 255r27 259r28 265r24 1779r20
94V13*Copy{69R9} 94>19 94>33 4|317b13 355l8 355t12 434s22 1064s22 1203s42
. 1613s42 1729s22 1733s23 1767s22 1771s23 1775s22
94r19 Source{69R9} 4|317b19 320r37 323r18 324r27 325r27 326r27 327r27 328r27
. 331r24 333r15 335r15 337r15 339r15 341r15 343r15
94i33 Capacity{2|20I9} 4|317b33 320r54
96V13*Element{59+9} 96>22 96>39 4|446b13 456l8 456t15
96r22 Container{69R9} 4|446b22 448r27 452r27 455r14
96r39 Position{73R9} 4|446b39 448r38 452r38 455r31
98U14*Replace_Element 99=7 100>7 101>7 4|1548b14 1563l8 1563t23
99r7 Container{69R9} 4|1549b7 1554r27 1559r27 1562m24
100r7 Position{73R9} 4|1550b7 1554r38 1559r38 1562r35
101*7 New_Item{59+9} 4|1551b7 1562r50
103U14*Query_Element 104=7 105>7 106^7 4|1354b14 1387l8 1387t21
104r7 Container{69R9} 4|1355b7 1360r27 1364r27 1368m30 1368r30 1369m30 1369r30
. 1376r22
105r7 Position{73R9} 4|1356b7 1360r38 1364r38 1376r39
106p7 Process 4|1357b7 1376r13
106*46 Element{59+9}
108U14*Move 108=20 108=41 4|1246b14 1276l8 1276t12
108r20 Target{69R9} 4|1246b20 1251m10 1251r10 1255r10 1265m14 1271m18
108r41 Source{69R9} 4|1246b41 1247r41 1251m27 1251r27 1255r36 1260r10 1268r15
. 1273m49 1274m36
110U14*Insert 111=7 112>7 113<7 114<7 4|892s7 912b14 920l8 920t14 930s7
111r7 Container{69R9} 4|913b7 919m25
112*7 New_Item{59+9} 4|914b7 919r36
113r7 Position{73R9} 4|915b7 919m46 919r46
114b7 Inserted{boolean} 4|916b7 919m61
116U14*Insert 117=7 118>7 4|922b14 936l8 936t14 1271s10
117r7 Container{69R9} 4|923b7 930m15
118*7 New_Item{59+9} 4|924b7 930r26
120U14*Include 121=7 122>7 4|887b14 906l8 906t15
121r7 Container{69R9} 4|887b23 892m15 895r13 901m47 901r47
122*7 New_Item{59+9} 4|887b47 892r26 903r42
124U14*Replace 125=7 126>7 4|1433b14 1448l8 1448t15
125r7 Container{69R9} 4|1433b23 1434r56 1442r10 1447m7
126*7 New_Item{59+9} 4|1433b47 1434r67 1447r41
128U14*Exclude 129=7 130>7 4|510b14 517l8 517t15
129r7 Container{69R9} 4|510b23 511r53 514m49 515m36
130*7 Item{59+9} 4|510b47 511r64
132U14*Delete 133=7 134>7 4|376b14 386l8 386t14
133r7 Container{69R9} 4|376b22 377r53 384m46 385m33
134*7 Item{59+9} 4|376b46 377r64
136U14*Delete 137=7 138=7 4|361b14 374l8 374t14 1217s10 1628s10
137r7 Container{69R9} 4|361b22 363r27 367r27 370m46 372m33
138r7 Position{73R9} 4|361b46 363r38 367r38 371r46 372r44 373m7
140U14*Delete_First 140=28 4|392b14 399l8 399t20
140r28 Container{69R9} 4|392b28 393r37 396m49 397m36
142U14*Delete_Last 142=27 4|405b14 412l8 412t19
142r27 Container{69R9} 4|405b27 406r37 409m49 410m36
144U14*Union 144=21 144>42 4|1759b14 1762l8 1762t13 1780s12
144r21 Target{69R9} 4|1759b21 1761m26
144r42 Source{69R9} 4|1759b42 1761r34
146V13*Union{69R9} 146>20 146>26 148r57 4|1764b13 1782l8 1782t13
146r20 Left{69R9} 4|1764b20 1766r10 1767r17 1770r18 1775r17 1778r31 1779r30
146r26 Right{69R9} 4|1764b26 1766r25 1771r17 1774r18 1778r47 1780r19
148V14*"or"=148:57{69R9}
148r19 Left{69R9}
148r25 Right{69R9}
150U14*Intersection 150=28 150>49 4|1056b14 1059l8 1059t20
150r28 Target{69R9} 4|1056b28 1058m33
150r49 Source{69R9} 4|1056b49 1058r41
152V13*Intersection{69R9} 152>27 152>33 154r58 4|1061b13 1070l8 1070t20
152r27 Left{69R9} 4|1061b27 1063r10 1064r17 1067r47 1068r50
152r33 Right{69R9} 4|1061b33 1063r25 1067r62 1068r56
154V14*"and"=154:58{69R9}
154r20 Left{69R9}
154r26 Right{69R9}
156U14*Difference 156=26 156>47 4|418b14 421l8 421t18
156r26 Target{69R9} 4|418b26 420m31
156r47 Source{69R9} 4|418b47 420r39
158V13*Difference{69R9} 158>25 158>31 160r56 4|423b13 440l8 440t18
158r25 Left{69R9} 4|423b25 425r10 429r18 434r17 437r31 438r48
158r31 Right{69R9} 4|423b31 425r25 433r18 438r54
160V14*"-"=160:56{69R9}
160r18 Left{69R9}
160r24 Right{69R9}
162U14*Symmetric_Difference 162=36 162>57 4|1717b14 1720l8 1720t28
162r36 Target{69R9} 4|1717b36 1719m41
162r57 Source{69R9} 4|1717b57 1719r49
164V13*Symmetric_Difference{69R9} 164>35 164>41 166r58 4|1722b13 1739l8 1739t28
164r35 Left{69R9} 4|1722b35 1724r10 1729r17 1732r18 1736r31 1737r55
164r41 Right{69R9} 4|1722b41 1724r25 1728r18 1733r17 1736r47 1737r61
166V14*"xor"=166:58{69R9}
166r20 Left{69R9}
166r26 Right{69R9}
168V13*Overlap{boolean} 168>22 168>28 4|1306b13 1309l8 1309t15
168r22 Left{69R9} 4|1306b22 1308r35
168r28 Right{69R9} 4|1306b28 1308r41
170V13*Is_Subset{boolean} 170>24 170>38 4|1120b13 1123l8 1123t17
170r24 Subset{69R9} 4|1120b24 1122r34
170r38 Of_Set{69R9} 4|1120b38 1122r52
172V13*First{73R9} 172>20 4|167s15 538b13 545l8 545t13 552s37 1612s24 1688s29
. 1689s29
172r20 Container{69R9} 4|538b20 540r18 544r23
174V13*First_Element{59+9} 174>28 4|551b13 563l8 563t21
174r28 Container{69R9} 4|551b28 552r44 559r44
176V13*Last{73R9} 176>19 4|165s26 1173b13 1178l8 1178t12 1186s10 1193s20
176r19 Container{69R9} 4|1173b19 1175r26 1177r29
178V13*Last_Element{59+9} 178>27 4|1184b13 1195l8 1195t20
178r27 Container{69R9} 4|1184b27 1186r16 1191r44 1193r26
180V13*Next{73R9} 180>19 180>36 4|1218s18 1282b13 1295l8 1295t12 1299s19
. 1629s18
180r19 Container{69R9} 4|1282b19 1288r27 1292r27 1294r45
180r36 Position{73R9} 4|1282b36 1284r10 1288r38 1292r38 1294r56
182U14*Next 182>20 182=37 4|1297b14 1300l8 1300t12
182r20 Container{69R9} 4|1297b20 1299r25
182r37 Position{73R9} 4|1297b37 1299m7 1299r36
184V13*Previous{73R9} 184>23 184>40 4|1324b13 1343l8 1343t16 1347s19
184r23 Container{69R9} 4|1324b23 1330r27 1334r27 1339r38
184r40 Position{73R9} 4|1324b40 1326r10 1330r38 1334r38 1339r49
186U14*Previous 186>24 186=41 4|1345b14 1348l8 1348t16
186r24 Container{69R9} 4|1345b24 1347r29
186r41 Position{73R9} 4|1345b41 1347m7 1347r40
188V13*Find{73R9} 188>19 188>36 4|169s19 310s14 523b13 532l8 532t12
188r19 Container{69R9} 4|523b19 524r56
188*36 Item{59+9} 4|523b36 524r67
190V13*Floor{73R9} 190>20 190>37 4|569b13 581l8 581t13
190r20 Container{69R9} 4|569b20 572r60
190*37 Item{59+9} 4|569b37 572r71
192V13*Ceiling{73R9} 192>22 192>39 4|272b13 281l8 281t15
192r22 Container{69R9} 4|272b22 273r59
192*39 Item{59+9} 4|272b39 273r70
194V13*Contains{boolean} 194>23 194>40 4|305b13 311l8 311t16
194r23 Container{69R9} 4|306b7 310r20
194*40 Item{59+9} 4|307b7 310r31
196V13*Has_Element{boolean} 196>26 196>43 4|363s14 448s14 776s17 802s17 820s17
. 874b13 881l8 881t19 1211s14 1288s14 1330s14 1360s14 1554s14 1622s41
196r26 Container{69R9} 4|874b26 879r17
196r43 Position{73R9} 4|874b43 876r10 879r34
198U14*Iterate 199>7 200^7 4|1129b14 1167l8 1167t15
199r7 Container{69R9} 4|1130b7 1146r19 1151r27 1159r25
200p7 Process 4|1131b7 1146r10
201r36 Container{69R9}
201r53 Position{73R9}
203U14*Reverse_Iterate 204>7 205^7 4|1569b14 1605l8 1605t23
204r7 Container{69R9} 4|1570b7 1586r19 1589r27 1597r33
205p7 Process 4|1571b7 1586r10
206r32 Container{69R9}
206r49 Position{73R9}
209+12 Key_Type 211r57 213r40 217r47 219r64 221r48 225r22 228r56 230r55 232r45
. 234r46 236r48 238r49 4|619r18 624r18 635r35 643r48 658r49 667r55 683r48
. 702r47 717r56 730r45 740r46 751r18 763r18 774r64 797r22 832r26
211V21 Key{209+12} 211>26 4|755s17 767s24 787s20 832s38 853s36
211*26 Element{59+9}
213V22 "<"{boolean} 213>26 213>32 4|704s18 705s26 755s37 767s22
213*26 Left{209+12}
213*32 Right{209+12}
215k12 Generic_Keys 209z12 211z21 213z22 246l8 246e20 4|612b17 868l8 868t20
217V16*Equivalent_Keys{boolean} 217>33 217>39 4|702b16 711l11 711t26 853s16
217*33 Left{209+12} 4|702b33 704r13 705r28
217*39 Right{209+12} 4|702b39 704r20 705r20
219V16*Key{209+12} 219>21 219>38 4|774b16 789l11 789t14
219r21 Container{69R9} 4|774b21 776r30 781r30 785r47
219r38 Position{73R9} 4|774b38 776r41 781r41 787r28
221V16*Element{59+9} 221>25 221>42 4|683b16 696l11 696t18
221r25 Container{69R9} 4|683b25 684r55 692r47
221*42 Key{209+12} 4|683b42 684r66
223U17*Replace 224=10 225>10 226>10 4|795b17 808l11 808t18
224r10 Container{69R9} 4|796b10 800r55 802r30 806m30
225*10 Key{209+12} 4|797b10 800r66
226*10 New_Item{59+9} 4|798b10 806r47
228U17*Exclude 228=26 228>50 4|717b17 724l11 724t18
228r26 Container{69R9} 4|717b26 718r52 721m36 722m39
228*50 Key{209+12} 4|717b50 718r63
230U17*Delete 230=25 230>49 4|667b17 677l11 677t17
230r25 Container{69R9} 4|667b25 668r52 675m33 676m36
230*49 Key{209+12} 4|667b49 668r63
232V16*Find{73R9} 232>22 232>39 4|660s17 730b16 734l11 734t15
232r22 Container{69R9} 4|730b22 731r55
232*39 Key{209+12} 4|730b39 731r66
234V16*Floor{73R9} 234>23 234>40 4|740b16 744l11 744t16
234r23 Container{69R9} 4|740b23 741r56
234*40 Key{209+12} 4|740b40 741r67
236V16*Ceiling{73R9} 236>25 236>42 4|643b16 652l11 652t18
236r25 Container{69R9} 4|643b25 644r58
236*42 Key{209+12} 4|643b42 644r69
238V16*Contains{boolean} 238>26 238>43 4|658b16 661l11 661t19
238r26 Container{69R9} 4|658b26 660r23
238*43 Key{209+12} 4|658b43 660r34
240U17*Update_Element_Preserving_Key 241=10 242>10 243^10 4|814b17 866l11
. 866t40
241r10 Container{69R9} 4|815b10 820r30 825r30 829m47 829r47 834m33 834r33
. 835m33 835r33 861m52 862m39
242r10 Position{73R9} 4|816b10 820r41 825r41 831r41 859r40
243p10 Process 4|817b10 842r16
244*35 Element{59+9}
248V13*Strict_Equal{boolean} 248>27 248>33 4|1687b13 1711l8 1711t20
248r27 Left{69R9} 4|1687b27 1688r36 1692r18 1701r13 1706r25
248r33 Right{69R9} 4|1687b33 1689r36 1692r35 1702r12 1707r25
253V13*Left{69R9} 253>20 253>37 4|54r19 1201b13 1222l8 1222t12
253r20 Container{69R9} 4|1201b19 1203r19 1203r48 1203r59 1211r27 1218r24
253r37 Position{73R9} 4|1201b36 1202r24
254V13*Right{69R9} 254>20 254>37 4|60r19 1611b13 1633l8 1633t13
254r20 Container{69R9} 4|1611b20 1612r31 1613r19 1613r48 1613r59 1622r54
. 1629r24
254r37 Position{73R9} 4|1611b37 1622r10 1622r65 1626r26
267R9 Node_Type 274e14 277r54 4|50r27 53r30 56r28 59r31 63r22 67r38 70r39
. 73r40 83r49 99r18 104r15 109r15 112r39 197r15 199r47 233r47 296r27 479r17
. 489r48 620r18 625r18 752r18 764r18 948r44 976r44 998r18 1004r44 1036r44
. 1087r15 1101r15 1111r39 1228r30 1315r28 1397r45 1410r45 1482r15 1639r31
. 1649r22 1660r38 1669r40 1678r39 1794r19 1806r19
268b7 Has_Element{boolean} 4|342m33 343r35 589m22 605m25 879r49
269i7 Parent{2|20I9} 4|334m33 335r35 1317r19 1486m12 1671m12
270i7 Left{2|20I9} 4|336m33 337r35 1230r19 1488m12 1662m12
271i7 Right{2|20I9} 4|338m33 339r35 1487m12 1641r19 1680m12
272e7 Color{5|35E9} 4|298r19 340m33 341r35 1485m12 1653m12
273*7 Element{59+9} 4|169r50 171r38 171r69 235m18 235r32 248r25 332m33 333r35
. 455r46 491r15 491r27 493r18 493r30 561r25 694r29 755r28 767r35 787r43 831m56
. 903m31 978m15 1038m15 1038r35 1047r19 1092r20 1104r27 1113r16 1113r28 1193r43
. 1271r32 1376m54 1412r42 1447m30 1484m12 1499r27 1500r27 1510m20 1519r30
. 1526m23 1531r40 1701r32 1702r32 1809r43
276K12 Tree_Types[5|53] 280r10 4|85r21 126r9 559r14 598r21 692r17 785r17
. 829r17 901r17 1191r14 1247r11 1475r12
285P9 Set_Access(69R9) 286r8
289i7 Node{2|20I9} 304m37 4|165r38 167r28 169r59 280m15 367r47 371r55 372r53
. 452r47 455r40 531m15 544m15 552r55 579m18 651m18 733m52 743m52 781r50 787r37
. 802m42 825r50 831r50 859r49 876r19 879r43 903r25 919m55 1146m31 1177m21
. 1186r27 1193r37 1215r18 1216r23 1218m36 1292r47 1294m15 1294r65 1334r47
. 1339r58 1341m52 1364r47 1376r48 1559r47 1562r44 1586m31 1626r18 1626r35
. 1627r23 1629m36 1688r42 1689r43
292U14 Write 293^7 294>7 4|1818b14 1824l8 1824t13
293p7 Stream(13|39R9) 4|1819b7
294r7 Item{73R9} 4|1820b7
298U14 Read 299^7 300<7 4|1421b14 1427l8 1427t12
299p7 Stream(13|39R9) 4|1422b7
300r7 Item{73R9} 4|1423b7
306U14 Write 307^7 308>7 4|1788b14 1816l8 1816t13
307p7 Stream(13|39R9) 4|1789b7 1815r23
308r7 Container{69R9} 4|1790b7 1815r31
312U14 Read 313^7 314<7 4|1393b14 1419l8 1419t12
313p7 Stream(13|39R9) 4|1394b7 1412r29 1418r22
314r7 Container{69R9} 4|1395b7 1418m30
X 4 a-cforse.adb
50V13 Color{5|35E9} 50>20 51r19 296b13 299l8 299t13 8|57i19
50r20 Node{3|267R9} 296b20 298r14
53V13 Left_Son{2|20I9} 53>23 127r18 1228b13 1231l8 1231t16
53r23 Node{3|267R9} 1228b23 1230r14
56V13 Parent{2|20I9} 56>21 57r19 1315b13 1318l8 1318t14 8|39i19
56r21 Node{3|267R9} 1315b21 1317r14
59V13 Right_Son{2|20I9} 59>24 128r18 1639b13 1642l8 1642t17
59r24 Node{3|267R9} 1639b24 1641r14
62U14 Set_Color 63=7 64>7 65r19 1648b14 1654l8 1654t17 8|59i19
63r7 Node{3|267R9} 1649b7 1653m7
64e7 Color{5|35E9} 1650b7 1653r21
67U14 Set_Left 67=24 67>49 68r19 1660b14 1663l8 1663t16 8|47i19
67r24 Node{3|267R9} 1660b24 1662m7
67i49 Left{2|20I9} 1660b49 1662r20
70U14 Set_Right 70=25 70>50 71r19 1678b14 1681l8 1681t17 8|53i19
70r25 Node{3|267R9} 1678b25 1680m7
70i50 Right{2|20I9} 1678b50 1680r21
73U14 Set_Parent 73=26 73>51 74r19 1669b14 1672l8 1672t18 8|41i19
73r26 Node{3|267R9} 1669b26 1671m7
73i51 Parent{2|20I9} 1669b51 1671r22
83U22 Set_Element 83=35 602r47
83r35 Node{3|267R9}
84u14 Generic_Allocate 85=7 86<7 216r36 597b14 606l8 606t24 959r33 1019r33
. 1401r13
85c7 Tree<5|63R12[3|276]> 598b7 604m17 605m7
86i7 Node{2|20I9} 599b7 604m23 605r19
88U14 Free 88=20 88>39 349s33 372s27 385s27 397s30 410s30 515s30 587b14 591l8
. 591t12 676s30 722s33 862s33 1274s30
88r20 Tree{3|69R9} 349r39 587b20 589m7 590m29
88i39 X{2|20I9} 349r55 587b39 589r19 590r35
90U14 Insert_Sans_Hint 91=7 92>7 93<7 94<7 919s7 942b14 989l8 989t24 1750s10
91r7 Container{3|69R9} 943b7 968m20 985m10
92*7 New_Item{3|59+9} 944b7 978r26 986r10
93i7 Node{2|20I9} 945b7 987m10
94b7 Inserted{boolean} 946b7 988m10
96U14 Insert_With_Hint 97=7 98>7 99>7 100<7 144r29 995b14 1050l8 1050t24
97r7 Dst_Set{3|69R9} 996b7 1028m20 1045m10
98i7 Dst_Hint{2|20I9} 997b7 1046r10
99r7 Src_Node{3|267R9} 998b7 1038r26 1047r10
100i7 Dst_Node{2|20I9} 999b7 1048m10
102V13 Is_Greater_Element_Node{boolean} 103>7 104>7 105r19 137r32 1085b13
. 1093l8 1093t31
103*7 Left{3|59+9} 1086b7 1092r30
104r7 Right{3|267R9} 1087b7 1092r14
107V13 Is_Less_Element_Node{boolean} 108>7 109>7 110r19 136r32 1099b13 1105l8
. 1105t28
108*7 Left{3|59+9} 1100b7 1104r14
109r7 Right{3|267R9} 1101b7 1104r21
112V13 Is_Less_Node_Node{boolean} 112>32 112>35 113r19 145r29 1111b13 1114l8
. 1114t25
112r32 L{3|267R9} 1111b32 1113r14
112r35 R{3|267R9} 1111b35 1113r26
115U14 Replace_Element 116=7 117>7 118>7 806s13 1454b14 1546l8 1546t23 1562s7
116r7 Tree{3|69R9} 1455b7 1475m42 1475r42 1505r13 1514r37 1521r16 1535m46
. 1538m22
117i7 Node{2|20I9} 1456b7 1459r22 1482r37 1489r17 1499r21 1500r21 1510r14
. 1520r20 1526r17 1535r52 1545r31
118*7 Item{3|59+9} 1457b7 1484r23 1499r10 1500r37 1510r31 1514r43 1519r13
. 1526r34 1531r50 1540r22
124K12 Tree_Operations[8|63] 130r8 134r32 141r29 190r13 264r7 289r7 370r7
. 384r7 396r10 409r10 483r13 514r10 590r7 602r13 634r35 861r13 1138r13 1273r10
. 1294r23 1339r12 1404r13 1535r7 1578r13 1798r13
132K12 Element_Keys[6|50] 206r16 209r16 212r16 273r37 377r34 511r34 524r37
. 572r40 954r13 957r13 1010r13 1013r13 1016r13 1434r37 1465r13 1468r13 1471r13
. 1514r15
139K12 Set_Ops[10|52] 420r7 438r24 1058r7 1068r24 1122r14 1308r14 1719r7
. 1737r21 1761r7
152i7 Lst{2|20I9} 165m7 168r21
153i7 Node{2|20I9} 167m7 168r13 169r44 171r32 176m10 176r30
154i7 ENode{2|20I9} 169m10 170r13 171r62
187U17 Append_Element 187>33 190r48 196b17 250l11 250t25
187i33 Source_Node{2|20I9} 196b33 197r47
189U17 Append_Elements[8|104] 265s7
197r10 SN{3|267R9} 235r29 248r22
199U20 Set_Element 199=33 200r25 216r54 233b20 236l14 236t25
199r33 Node{3|267R9} 233b33 235m13
202V19 New_Node{2|20I9} 203r25 206r50 222b19 227l14 227t22
205U20 Insert_Post[6|56] 209r59 213r19
208U20 Unconditional_Insert_Sans_Hint[6|95] 214r19
211U20 Unconditional_Insert_Avec_Hint[6|115] 245s10
216U20 Allocate[84] 225s13
223i13 Result{2|20I9} 225m31 226r20
240i10 Target_Node{2|20I9} 249m22
273i7 Node{2|20I9} 276r10 280r23
318i7 Node{2|20I9} 330m10 331r16 332r27 333r29 334r27 335r29 336r27 337r29
. 338r27 339r29 340r27 341r29 342r27 343r29 344m13 344r21 347r16 348r18 350m13
. 350r21
319i7 N{2|20I9} 348m13 349r60
320r7 Target{3|69R9} 324m10 325m10 326m10 327m10 328m10 332m13 334m13 336m13
. 338m13 340m13 342m13 347r24 349m47 349r47 354r14
377i7 X{2|20I9} 380r10 384r57 385r44
393i7 X{2|20I9} 395r10 396r60 397r47
406i7 X{2|20I9} 408r10 409r60 410r47
437r14 S{3|69R9} 438m21 438r21
478V16 Is_Equivalent_Node_Node{boolean} 479>10 479>13 480r22 483r44 489b16
. 498l11 498t34
479r10 L{3|267R9} 489b41 491r13 493r28
479r13 R{3|267R9} 489b44 491r25 493r16
482V16 Is_Equivalent[8|88]{boolean} 503s14
511i7 X{2|20I9} 513r10 514r60 515r47
524i7 Node{2|20I9} 527r10 531r23
552i7 Fst{2|20I9} 554r10 561r20
559a10 N{5|54A12[3|276]} 561r17
572i10 Node{2|20I9} 575r13 579r26
601U17 Allocate[8|144] 604s7
618V16 Is_Greater_Key_Node{boolean} 619>10 620>10 621r22 637r35 750b16 756l11
. 756t30
619*10 Left{3|209+12} 751b10 755r39
620r10 Right{3|267R9} 752b10 755r22
623V16 Is_Less_Key_Node{boolean} 624>10 625>10 626r22 636r35 762b16 768l11
. 768t27
624*10 Left{3|209+12} 763b10 767r17
625r10 Right{3|267R9} 764b10 767r29
632K15 Key_Keys[6|50] 644r40 668r37 684r40 718r37 731r40 741r40 800r40
644i10 Node{2|20I9} 647r13 651r26
668i10 X{2|20I9} 671r13 675r44 676r47
684i10 Node{2|20I9} 687r13 694r23
692a13 N{5|54A12[3|276]} 694r20
718i10 X{2|20I9} 720r13 721r47 722r50
731i10 Node{2|20I9} 733r21 733r60
741i10 Node{2|20I9} 743r21 743r60
785a13 N{5|54A12[3|276]} 787r25
800i10 Node{2|20I9} 802r50 806r41
817*49 Element{3|59+9}
829a13 N{5|54A12[3|276]} 831r38
831*13 E{3|59+9} 832r43 842r25 853r41
832*13 K{3|209+12} 853r33
834i13 B{natural} 838r13 838r18 846r19 846r24 851r13 851r18
835i13 L{natural} 839r13 839r18 845r19 845r24 850r13 850r18
859i13 X{2|20I9} 861r63 862r50
888r7 Position{3|73R9} 892m36 903r16
889b7 Inserted{boolean} 892m46 894r14
901a13 N{5|54A12[3|276]} 903r13
926r7 Position{3|73R9} 930m36
927b7 Inserted{boolean} 930m46 932r14
948U17 Set_Element 948=30 959r51 976b17 979l11 979t22
948r30 Node{3|267R9} 976b30 978m10
950V16 New_Node{2|20I9} 951r22 954r47 965b16 970l11 970t19
953U17 Insert_Post[6|56] 957r54
956U17 Conditional_Insert_Sans_Hint[6|75] 984s7
959U17 Allocate[84] 968s10
966i10 Result{2|20I9} 968m31 969r17
1001b7 Success{boolean} 1002r28 1049m10
1004U17 Set_Element 1004=30 1019r51 1036b17 1039l11 1039t22
1004r30 Node{3|267R9} 1036b30 1038m10
1006V16 New_Node{2|20I9} 1007r22 1010r47 1025b16 1030l11 1030t19
1009U17 Insert_Post[6|56] 1013r54 1017r16
1012U17 Insert_Sans_Hint[6|75] 1017r29
1015U17 Local_Insert_With_Hint[6|146] 1044s7
1019U17 Allocate[84] 1028s10
1026i10 Result{2|20I9} 1028m29 1029r17
1067r14 S{3|69R9} 1068m21 1068r21
1131r46 Container{3|69R9}
1132r46 Position{3|73R9}
1134U17 Process_Node 1134>31 1135r22 1138r48 1144b17 1147l11 1147t23
1134i31 Node{2|20I9} 1144b31 1146r39
1137U17 Local_Iterate[8|104] 1159s10
1151i7 B{natural} 1156r7 1156r12 1162r13 1162r18 1166r7 1166r12
1191a10 N{5|54A12[3|276]} 1193r17
1202r7 Curs{3|73R9} 1207r10 1211r38 1215r13 1216r18 1217m21 1217r21 1218m10
1203r7 C{3|69R9} 1208r17 1217m18 1217r18 1221r14
1204i7 Node{2|20I9} 1216m10 1218r44
1247a7 N{5|54A12[3|276]} 1271r26
1248i7 X{2|20I9} 1268m10 1269r20 1271r29 1273r57 1274r44
1338i10 Node{2|20I9} 1341r21 1341r60
1357*46 Element{3|59+9}
1368i10 B{natural} 1372r10 1372r15 1380r16 1380r21 1385r10 1385r15
1369i10 L{natural} 1373r10 1373r15 1379r16 1379r21 1384r10 1384r15
1397U17 Read_Element 1397=31 1398r22 1401r31 1410b17 1413l11 1413t23
1397r31 Node{3|267R9} 1410b31 1412m37 1412r37
1400U17 Allocate[84] 1404r43
1403U17 Read_Elements[8|129] 1418s7
1434i7 Node{2|20I9} 1437r10 1447r24
1461V16 New_Node{2|20I9} 1462r22 1465r47 1481b16 1490l11 1490t19
1464U17 Local_Insert_Post[6|56] 1468r54 1472r12
1467U17 Local_Insert_Sans_Hint[6|75] 1473r12
1470U17 Local_Insert_With_Hint[6|146] 1537s7
1475a7 NN{5|54A12[3|276]} 1482r33 1499r17 1500r17 1510r10 1519r20 1526r13
. 1531r30
1482r10 N=1482:33{3|267R9} 1484r10 1485r10 1486r10 1487r10 1488r10
1492i7 Hint{2|20I9} 1514m7 1516r10 1519r24 1520r13 1531r34 1539r22
1493i7 Result{2|20I9} 1541m22 1545r22
1494b7 Inserted{boolean} 1542m22 1544r22
1571r46 Container{3|69R9}
1572r46 Position{3|73R9}
1574U17 Process_Node 1574>31 1575r22 1578r56 1584b17 1587l11 1587t23
1574i31 Node{2|20I9} 1584b31 1586r39
1577U17 Local_Reverse_Iterate[8|110] 1597s10
1589i7 B{natural} 1594r7 1594r12 1600r13 1600r18 1604r7 1604r12
1612r7 Curs{3|73R9} 1617r10 1626r13 1627r18 1628m21 1628r21 1629m10
1613r7 C{3|69R9} 1618m17 1618r17 1619r17 1628m18 1628r18 1632r14
1614i7 Node{2|20I9} 1627m10 1629r44
1688i7 LNode{2|20I9} 1696r13 1697r13 1701r25 1706m10 1706r31
1689i7 RNode{2|20I9} 1696r21 1702r25 1707m10 1707r32
1736r14 S{3|69R9} 1737m18 1737r18
1746i7 Node{2|20I9} 1750m41
1747b7 Inserted{boolean} 1750m47 1751r25
1749r14 S{3|69R9} 1750m28 1750r28
1778r14 S{3|69R9} 1779m10 1779r10 1780m10 1780r10
1792U17 Write_Element 1793^10 1794>10 1795r22 1798r44 1804b17 1810l11 1810t24
1793p10 Stream(13|39R9) 1805b10 1809r30
1794r10 Node{3|267R9} 1806b10 1809r38
1797U17 Write_Elements[8|118] 1815s7
X 5 a-crbltr.ads
32K24*Red_Black_Trees 3|55w29 272r17 277r10 282r8 4|28r21 32r21 35r21 50r45
. 64r15 125r10 133r10 140r10 296r45 633r13 1650r15 5|75e35
35E9*Color_Type 3|272r33 4|50r61 64r31 296r61 1650r31 5|35e35
35n24*Red{35E9} 4|1485r23
53k12*Generic_Bounded_Tree_Types 3|277r26 5|73e34
54A12 Nodes_Type(3|267R9)<2|20I9> 4|559r25[3|276] 692r28[3|276] 785r28[3|276]
. 829r28[3|276] 901r28[3|276] 1191r25[3|276] 1247r22[3|276] 1475r23[3|276]
63R12 Tree_Type 3|280r21[276] 4|85r32[3|276] 598r32[3|276]
64i10 First{2|20I9} 4|326m17[3|276] 326r34[3|276] 393r47[3|276] 544r33[3|276]
. 1268r22[3|276]
65i10 Last{2|20I9} 4|327m17[3|276] 327r34[3|276] 406r47[3|276] 1177r39[3|276]
66i10 Root{2|20I9} 4|325m17[3|276] 325r34[3|276]
67i10 Length{2|20I9} 4|259r35[3|276] 324m17[3|276] 324r34[3|276] 1239r24[3|276]
68i10 Busy{natural} 4|834m43[3|276] 1151m57[3|276] 1260r17[3|276] 1368m40[3|276]
. 1589m57[3|276]
69i10 Lock{natural} 4|835m43[3|276] 895r23[3|276] 1369m40[3|276] 1442r20[3|276]
. 1505r18[3|276] 1521r21[3|276]
70i10 Free<integer> 4|328m17[3|276] 328r34[3|276]
71a10 Nodes{54A12[3|276]} 4|169r37[3|276] 171r25[3|276] 171r55[3|276] 197m40[3|276]
. 332m20[3|276] 333r22[3|276] 334m20[3|276] 335r22[3|276] 336m20[3|276] 337r22[3|276]
. 338m20[3|276] 339r22[3|276] 340m20[3|276] 341r22[3|276] 342m20[3|276] 343r22[3|276]
. 455r24[3|276] 559m54[3|276] 589m12[3|276] 605m12[3|276] 692m57[3|276] 785m57[3|276]
. 829m57[3|276] 879r27[3|276] 901m57[3|276] 1191m54[3|276] 1247m48[3|276]
. 1376m32[3|276] 1447m17[3|276] 1475m47[3|276] 1701r18[3|276] 1702r18[3|276]
X 6 a-rbtgbk.ads
36K17 Tree_Operations 4|134r9 634r12
40+9 Key_Type 4|135r9 635r12
42V18 Is_Less_Key_Node{boolean} 4|136r9 636r12
46V18 Is_Greater_Key_Node{boolean} 4|137r9 637r12
50k40*Generic_Bounded_Keys 4|32w37 133r26 633r29 6|193e56
56u14 Generic_Insert_Post 4|206r29[132] 954r26[132] 1010r26[132] 1465r26[132]
75u14 Generic_Conditional_Insert 4|957r26[132] 1013r26[132] 1468r26[132]
95u14 Generic_Unconditional_Insert 4|209r29[132]
115u14 Generic_Unconditional_Insert_With_Hint 4|212r29[132]
116c7 Tree<5|63R12[3|276]> 4|246r13[211]
117i7 Hint{2|20I9} 4|247r13[211]
118*7 Key{3|59+9} 4|248r13[211]
119i7 Node{2|20I9} 4|249r13[211]
146u14 Generic_Conditional_Insert_With_Hint 4|1016r26[132] 1471r26[132]
147c7 Tree<5|63R12[3|276]> 4|1538r10[1470]
148i7 Position{2|20I9} 4|1539r10[1470]
149*7 Key{3|59+9} 4|1540r10[1470]
150i7 Node{2|20I9} 4|1541r10[1470]
151b7 Inserted{boolean} 4|1542r10[1470]
157V13 Find{2|20I9} 4|377s47[132] 511s47[132] 524s50[132] 668s46[632] 684s49[632]
. 718s46[632] 731s49[632] 800s49[632] 1434s50[132]
162V13 Ceiling{2|20I9} 4|273s50[132] 644s49[632] 1514s28[132]
167V13 Floor{2|20I9} 4|572s53[132] 741s49[632]
X 8 a-rbtgbo.ads
45V19 Left{2|20I9} 4|127r9
51V19 Right{2|20I9} 4|128r9
63k40*Generic_Bounded_Operations 4|28w37 125r26 8|155e62
72V13 Vet{boolean} 4|367s22[124] 452s22[124] 781s25[124] 825s25[124] 1292s22[124]
. 1334s22[124] 1364s22[124] 1559s22[124]
76V13 Next{2|20I9} 4|165s14[124] 176s18[124] 1294s39[124] 1706s19[124] 1707s19[124]
81V13 Previous{2|20I9} 4|1339s28[124]
88v13 Generic_Equal 4|483r29[124]
93U14 Delete_Node_Sans_Free 4|370s23[124] 384s23[124] 396s26[124] 409s26[124]
. 514s26[124] 675s10[124] 721s13[124] 861s29[124] 1273s26[124] 1535s23[124]
98U14 Clear_Tree 4|264s23[124] 289s23[124]
104u14 Generic_Iteration 4|190r29[124] 1138r29[124]
110u14 Generic_Reverse_Iteration 4|1578r29[124]
118u14 Generic_Write 4|1798r29[124]
129u14 Generic_Read 4|1404r29[124]
144u14 Generic_Allocate 4|602r29[124]
151U14 Free 4|590s23[124]
X 10 a-btgbso.ads
36K17 Tree_Operations 4|141r9
38R9 Set_Type<5|63R12[8|36[10|36]]> 4|142r9
42U19 Assign 4|143r9
44U19 Insert_With_Hint 4|144r9
50V18 Is_Less{boolean} 4|145r9
52k40*Generic_Bounded_Set_Operations 4|35w37 140r26 10|103e66
55U14 Set_Union 4|1761s15[139]
67U14 Set_Intersection 4|1058s15[139]
71V13 Set_Intersection{3|69R9} 4|1068s32[139]
75U14 Set_Difference 4|420s15[139]
79V13 Set_Difference{3|69R9} 4|438s32[139]
83U14 Set_Symmetric_Difference 4|1719s15[139]
90V13 Set_Symmetric_Difference{3|69R9} 4|1737s29[139]
95V13 Set_Subset{boolean} 4|1122s22[139]
95r44 Of_Set{3|69R9} 4|1122r42[139]
99V13 Set_Overlap{boolean} 4|1308s22[139]
X 13 a-stream.ads
36K13*Streams 3|56w18 283r12 13|69e16
39H9*Root_Stream_Type 3|293r32 299r32 307r35 313r35 4|1394r35 1422r32 1789r35
. 1793r35 1805r35 1819r32 13|67e64
X 16 system.ads
37K9*System 4|39w6 39r24 16|152e11
64M9*Address 4|39r31
78V14*"="{boolean} 4|255r25 425r23 1063r23 1251r25 1724r23 1766r23
OHA YOOOO