libgnatcoll1.7-dev 1.7gpl2015-2+b3 / usr / lib / x86_64-linux-gnu / ada / adalib / gnatcoll / gnatcoll-geometry.ali

V "GNAT Lib v6"
A -O2
A -O2
A -gnatA
A -fPIC
A -gnatn
A -gnatws
A -gnat05
A -g
A -fdebug-prefix-map=/build/libgnatcoll-Mx_1GJ/libgnatcoll-1.7gpl2015=.
A -fstack-protector-strong
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_EXCEPTIONS
RV NO_FLOATING_POINT
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U gnatcoll.geometry%b	gnatcoll-geometry.adb	ddddd79d NE OO PK GE IU
W gnatcoll%s		gnatcoll.ads		gnatcoll.ali

U gnatcoll.geometry%s	gnatcoll-geometry.ads	899d3f0f BN EE NE OO PK GE IU
W ada%s			ada.ads			ada.ali
W ada.numerics%s	a-numeri.ads		a-numeri.ali
Z ada.numerics.aux%s	a-numaux.adb		a-numaux.ali
W ada.numerics.generic_elementary_functions%s
W gnatcoll%s		gnatcoll.ads		gnatcoll.ali

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-numeri.ads		20080324174807 bb51c45a ada.numerics%s
D a-numaux.ads		20140801094828 243fe0b7 ada.numerics.aux%s
D a-ngelfu.ads		20151016131424 b8fdcb46 ada.numerics.generic_elementary_functions%s
D a-ngelfu.adb		20151020124036 5e96a931 ada.numerics.generic_elementary_functions%b
D a-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
D gnatcoll.ads		20150430105145 6a5da479 gnatcoll%s
D gnatcoll-geometry.ads	20150430105146 5b3d5030 gnatcoll.geometry%s
D gnatcoll-geometry.adb	20150430105146 86e087ad gnatcoll.geometry%b
D system.ads		20151123113124 6326c08a system%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-stalib.ads		20151112104907 09bd3940 system.standard_library%s
X 1 ada.ads
16K9*Ada 19e8 8|26r6 37r6
X 2 a-numeri.ads
16K13*Numerics 32e17 8|26r10 37r10
X 4 a-ngelfu.ads
39k22*Generic_Elementary_Functions 170e46 8|26w19 37r19
42V13 Sqrt 9|231s14[8|36] 241s59[8|36] 252s14[8|36]
X 7 gnatcoll.ads
24K9*GNATCOLL 26e13 8|34r9 169r5 9|40r14 640r5
X 8 gnatcoll-geometry.ads
29F9 Coordinate 37r49 39r29 39r58 42r14 69r16 89r52 95r54 159r17 165r36 165r54
. 166r46 168r7 168r24 9|44r45 62r20 63r20 85r24 86r24 99r22 129r25 130r25
. 131r25 132r25 142r21 143r21 145r21 146r21 148r15 211r52 220r54 231r20 239r20
. 249r20 250r20 317r11 364r17 391r16 392r16 393r16 415r27 420r27 441r21 443r21
. 445r21 447r21 478r45
34k18*Geometry 7|24k9 8|29z9 158E9 169l14 169e22 9|40b23 640l14 640t22
36K12*Coordinate_Elementary_Functions[4|39] 9|42r8
39F12*Distance_Type 111r43 138r58 139r58 140r58 141r58 147r43 148r43 9|229r43
. 238r55 248r56 259r58 282r58 283r13 283r30 286r17 290r14 316r42 330r43
41R9*Point 43e14 46r31 50r31 54r51 56r40 57r26 68r16 77r31 82r37 86r27 119r52
. 120r52 132r25 133r25 134r25 135r25 138r30 138r42 139r30 140r30 141r30 144r46
. 152r33 153r33 165r25 167r31 9|44r31 48r32 50r32 53r32 61r31 98r49 117r25
. 126r25 140r52 201r27 238r30 248r30 248r42 259r30 282r30 342r37 347r25 361r25
. 390r46 412r16 435r33 459r25 478r31 488r32 534r32 564r32
42*7 X{29F9} 9|63r37 63r44 67r27 85r45 85r55 108m18 119r22 129r20 129r47
. 129r56 130r20 130r47 130r56 142r49 143r49 145r49 146r49 183m10 193m15 193r26
. 193r36 203m15 203r23 203r30 213r22 213r34 222r22 222r58 231r37 231r46 241r31
. 249r42 249r51 332r29 332r42 334r27 334r40 377r17 377r30 377r44 377r57 399r38
. 399r51 399r68 404m15 416r17 416r28 417r37 417r48 421r17 421r28 422r37 422r48
. 440m16 442m16 442r27 445m16 447m16 448r42 480r17 480r23 480r59 480r65 634r17
. 634r28 635r25 635r36
42*10 Y{29F9} 9|62r37 62r44 67r38 86r45 86r55 109m18 119r34 131r20 131r47
. 131r56 132r20 132r47 132r56 142r67 143r67 145r67 146r67 184m10 194m15 194r26
. 194r36 204m15 204r23 204r30 213r46 213r58 222r34 222r46 231r55 231r64 241r47
. 250r42 250r51 333r27 333r40 335r27 335r40 369r22 369r35 374r40 374r53 375r32
. 375r39 378r27 378r40 401r38 401r51 401r68 404m32 416r37 416r48 417r17 417r28
. 421r37 421r48 422r17 422r28 441m16 443m16 446m16 448m16 480r31 480r37 480r45
. 480r51 636r25 636r36 637r25 637r36
46r4*No_Point{41R9} 165c4 166r36 9|105r20 157r17 166r17 178r20 349r19
50r4*Infinity_Points{41R9} 167c4 9|103r20 176r20 349r45
54A9*Polygon(41R9)<integer> 55r26 59r26 135r39 141r42 144r30 148r26 9|282r42
. 316r26 361r39 390r30
55A9*Triangle<54A9>(41R9)<integer> 127r33 134r39 147r26 9|330r26 397r13 459r36
. 602r33
56A9*Segment(41R9)<integer> 73r28 78r28 114r27 119r36 132r39 139r42 152r45
. 9|74r28 83r27 126r36 140r36 191r28 259r42 287r35 291r32 345r41 346r41 412r28
. 436r11 469r35 470r37 471r37
57R9*Vector<41R9> 73r44 86r41 89r37 95r39 111r28 9|191r44 201r41 211r37 220r39
. 229r28
59A9*Rectangle<54A9>(41R9)<integer> 129r33 9|631r33
65R9*Line 77r45 78r44 114r43 120r36 128r28 133r39 140r42 153r45 158c9 160e14
. 9|61r45 74r44 83r43 84r24 98r36 117r36 141r21 144r21 238r42 307r28 345r23
. 346r23 435r45
67R9*Circle 70e14 71r25 82r51 126r33 128r38 166r25 9|298r33 307r38 342r51
68r7 Center{41R9} 9|300r27 300r38 309r26 352m18
69*7 Radius{29F9} 9|300r52 300r64 309r42 353m18
71r4*No_Circle{67R9} 166c4 9|350r17
73V13*To_Vector{57R9} 73>24 9|191b13 195l8 195t17
73a24 S{56A9} 9|191b24 193r20 193r30 194r20 194r30
77V13*To_Line{65R9} 77>22 77>26 9|61b13 68l8 68t15 76s14
77r22 P1{41R9} 9|61b22 62r41 63r34 67r24 67r35
77r26 P2{41R9} 9|61b26 62r34 63r41
78V13*To_Line{65R9} 78>22 9|74b13 77l8 77t15 84s32 128s25 141s29 144s29 274s33
78a22 Seg{56A9} 9|74b22 76r23 76r32
82V13*To_Circle{67R9} 82>24 82>28 82>32 9|342b13 355l8 355t17
82r24 P1{41R9} 9|342b24 345r55 353r46
82r28 P2{41R9} 9|342b28 345r64 346r55
82r32 P3{41R9} 9|342b32 346r64
86V14*"-"{57R9} 86>18 86>22 9|201b14 205l9 205t11 265s20 265s37 269s23 269s40
. 320s39 321s39
86r18 P2{41R9} 9|201b18 203r20 204r20
86r22 P1{41R9} 9|201b22 203r27 204r27
89V13*Dot{29F9} 89>18 89>27 9|211b13 214l8 214t11 265s10 269s13
89r18 Vector1{57R9} 9|211b18 213r14 213r38
89r27 Vector2{57R9} 9|211b27 213r26 213r50
95V13*Cross{29F9} 95>20 95>29 9|220b13 223l8 223t13 320s19
95r20 Vector1{57R9} 9|220b20 222r14 222r38
95r29 Vector2{57R9} 9|220b29 222r26 222r50
111V13*Length{39F12} 111>21 9|229b13 232l8 232t14
111r21 Vect{57R9} 9|229b21 231r32 231r41 231r50 231r59
114V13*Bisector{65R9} 114>23 115r19 9|83b13 92l8 92t16 345s31 346s31
114a23 S{56A9} 9|83b23 84r41 85r39 85r49 86r39 86r49
119V13*Intersection{41R9} 119>27 119>31 9|140b13 185l8 185t20
119a27 S1{56A9} 9|140b27 141r38 145r42 145r60 146r42 146r60 173r21 174r28
119a31 S2{56A9} 9|140b31 142r42 142r60 143r42 143r60 144r38 173r29 174r36
120V13*Intersection{41R9} 120>27 120>31 9|98b13 111l8 111t20 347s34
120r27 L1{65R9} 9|98b27 99r36 99r57 102r13 108r31 108r38 109r24 109r45
120r31 L2{65R9} 9|98b31 99r43 99r50 102r20 108r24 108r45 109r31 109r38
126V13*Intersect{boolean} 126>24 126>28 9|298b13 301l8 301t17
126r24 C1{67R9} 9|298b24 300r24 300r49
126r28 C2{67R9} 9|298b28 300r35 300r61
127V13*Intersect{boolean} 127>24 127>28 9|602b13 625l8 625t17
127a24 T1{55A9} 9|602b24 604r18 604r26 604r34 607r16 607r24 607r32 611r16
. 611r24 611r32 617r16 617r24 617r32 621r16 621r24 621r32
127a28 T2{55A9} 9|602b28 605r21 605r29 605r37 608r16 608r24 608r32 612r16
. 612r24 612r32 615r21 615r29 615r37 618r16 618r24 618r32 622r16 622r24 622r32
128V13*Intersect{boolean} 128>24 128>34 9|307b13 310l8 310t17
128r24 L{65R9} 9|307b24 309r34
128r34 C{67R9} 9|307b34 309r24 309r40
129V13*Intersect{boolean} 129>24 129>28 9|631b13 638l8 638t17
129a24 R1{59A9} 9|631b24 634r10 635r29 636r18 637r29
129a28 R2{59A9} 9|631b28 634r21 635r18 636r29 637r18
132V13*Inside{boolean} 132>21 132>32 9|126b13 133l8 133t14 173s13 174s20
132r21 P{41R9} 9|126b21 128r22 129r18 130r18 131r18 132r18
132a32 S{56A9} 9|126b32 128r34 129r41 129r50 130r41 130r50 131r41 131r50
. 132r41 132r50
133V13*Inside{boolean} 133>21 133>32 9|117b13 120l8 120t14 128s14
133r21 P{41R9} 9|117b21 119r20 119r32
133r32 L{65R9} 9|117b32 119r14 119r26 119r38
134V13*Inside{boolean} 134>21 134>32 9|459b13 472l8 472t14
134r21 P{41R9} 9|459b21 462r20 463r27 464r27 469r25 470r27 471r27
134a32 T{55A9} 9|459b32 462r23 463r30 464r30 469r28 469r44 469r51 470r30
. 470r46 470r53 471r30 471r46 471r53
135V13*Inside{boolean} 135>21 135>32 9|361b13 384l8 384t14
135r21 P{41R9} 9|361b21 369r20 374r38 375r37 377r15
135a32 Poly{54A9} 9|361b32 362r31 368r16 369r26 374r44 375r23 377r21 377r35
. 377r48 378r18 378r31
138V13*Distance{39F12} 138>23 138>37 9|248b13 253l8 253t16 267s17 271s17
. 300s14 353s28 462s10 463s17 464s17
138r23 From{41R9} 9|248b23 249r46 250r46
138r37 To{41R9} 9|248b37 249r39 250r39
139V13*Distance{39F12} 139>23 139>37 9|259b13 276l8 276t16 287s19 291s16
139r23 From{41R9} 9|259b23 265r15 267r27 269r18 271r27 274r27
139a37 To{56A9} 9|259b37 261r10 261r19 265r22 265r30 265r39 267r33 269r25
. 269r33 269r42 271r33 274r42
140V13*Distance{39F12} 140>23 140>37 9|238b13 242l8 242t16 274s17 309s14
140r23 From{41R9} 9|238b23 241r26 241r42
140r37 To{65R9} 9|238b37 239r39 239r46 239r53 239r60 241r19 241r35 241r51
141V13*Distance{39F12} 141>23 141>37 9|282b13 292l8 292t16
141r23 From{41R9} 9|282b23 287r29 291r26
141a37 To{54A9} 9|282b37 285r16 285r28 287r44 287r52 291r41 291r45 291r56
. 291r60
144V13*Centroid{41R9} 144>23 9|390b13 405l8 405t16
144a23 Self{54A9} 9|390b23 395r16 395r34 397r23 397r29 397r42 397r52 399r20
. 399r26 399r42 399r55 401r20 401r26 401r42 401r55
147V13*Area{39F12} 147>19 9|330b13 336l8 336t12 396s19
147a19 Self{55A9} 9|330b19 332r20 332r33 333r18 333r31 334r18 334r31 335r18
. 335r31
148V13*Area{39F12} 148>19 9|316b13 324l8 324t12
148a19 Self{54A9} 9|316b19 319r16 319r34 320r26 320r41 320r47 321r26 321r41
. 321r47
152V13*Same_Side{boolean} 152>24 152>28 152>40 9|411b13 429l8 429t17 451s14
. 469s14 470s16 471s16
152r24 P1{41R9} 9|412b7 416r34 417r34
152r28 P2{41R9} 9|412b11 421r34 422r34
152a40 As{56A9} 9|412b23 416r10 416r21 416r41 417r10 417r21 417r41 421r10
. 421r21 421r41 422r10 422r21 422r41
153V13*Same_Side{boolean} 153>24 153>28 153>40 9|435b13 452l8 452t17
153r24 P1{41R9} 9|435b24 451r25
153r28 P2{41R9} 9|435b28 451r29
153r40 As{65R9} 9|435b40 438r10 440r21 440r28 446r21 446r28 448r22 448r29
. 448r47
159*7 A{29F9} 9|65m15 89m10 90r17 91r32 99r39 99r53 109r27 109r41 119r16
. 142r38 143r38 145r38 146r38 170r19 170r33 184r19 184r33 239r42 239r49 241r22
. 440r31 448r32
159*10 B{29F9} 9|66m15 89r18 90m10 91r18 99r46 99r60 108r27 108r41 119r28
. 142r56 143r56 145r56 146r56 170r26 170r40 183r19 183r33 239r56 239r63 241r38
. 438r13 446r31 448r50
159*13 C{29F9} 9|67m15 91m10 102r16 102r23 108r34 108r48 109r34 109r48 119r40
. 142r74 143r74 145r74 146r74 183r26 183r40 184r26 184r40 241r54 440r24 446r24
. 448r25
X 9 gnatcoll-geometry.adb
44V13 Orient{8|29F9} 44>21 44>24 44>27 45r19 478b13 481l8 481t14 490s10 491s13
. 492s16 493s23 495s19 496s26 502s16 503s19 504s26 513s13 514s16 515s23 517s19
. 518s26 538s10 539s13 540s20 542s20 543s24 546s13 547s16 548s23 549s26 568s10
. 569s13 570s16 576s16 583s13 584s16 604s10 605s13 615s13
44r21 P{8|41R9} 478b21 480r15 480r43
44r24 Q{8|41R9} 478b24 480r29 480r57
44r27 R{8|41R9} 478b27 480r21 480r35 480r49 480r63
47V13 Tri_Intersection{boolean} 48>7 48>11 48>15 48>19 48>23 48>27 563b13
. 595l8 595t24 606s20 610s20 616s20 620s20
48r7 P1{8|41R9} 564b7 568r26 569r29 570r32 573r47 576r32 577r47 579r49 583r29
. 584r32 585r47 587r49 590r46
48r11 Q1{8|41R9} 564b11 573r51 577r51 579r53 585r51 587r53 590r50
48r15 R1{8|41R9} 564b15 573r55 577r55 579r57 585r55 587r57 590r54
48r19 P2{8|41R9} 564b19 568r18 570r28 573r59 576r28 577r63 579r61 584r28
. 585r67 587r69 590r62
48r23 Q2{8|41R9} 564b23 568r22 569r21 573r63 577r67 579r65 583r21 585r59
. 587r61 590r66
48r27 R2{8|41R9} 564b27 569r25 570r24 573r67 576r24 577r59 579r69 583r25
. 584r24 585r63 587r65 590r58
49V13 Intersection_Test_Edge{boolean} 50>7 50>11 50>15 50>19 50>23 50>27
. 51r19 533b13 557l8 557t30 573s23 577s23 585s23
50r7 P1{8|41R9} 534b7 539r21 540r28 543r36 547r24 548r31
50r11 Q1{8|41R9} 534b11 538r26 539r29 540r32 542r28 549r34
50r15 R1{8|41R9} 534b15 542r32 543r32 546r29 547r32 548r35 549r38
50r19 P2{8|41R9} 534b19 538r22 539r25 542r36 543r40 546r25 547r28
50r23 Q2{8|41R9} 534b23 536r28
50r27 R2{8|41R9} 534b27 538r18 540r36 546r21 548r39 549r42
52V13 Intersection_Test_Vertex{boolean} 53>7 53>11 53>15 53>19 53>23 53>27
. 54r19 487b13 527l8 527t32 579s23 587s23 590s20
53r7 P1{8|41R9} 488b7 492r24 493r31 495r27 502r24 515r31
53r11 Q1{8|41R9} 488b11 490r26 491r29 492r32 493r39 496r34 502r32 504r34
. 514r24 517r27
53r15 R1{8|41R9} 488b15 495r35 496r38 503r35 504r38 513r29 514r28 515r39
. 517r31 518r38
53r19 P2{8|41R9} 488b19 490r22 492r28 495r31 496r42 513r25 515r35
53r23 Q2{8|41R9} 488b23 491r25 493r35 502r28 503r31 504r42 517r35 518r42
53r27 R2{8|41R9} 488b27 490r18 491r21 503r27 513r21 514r32 518r34
62*7 A{8|29F9} 65r20 67r20
63*7 B{8|29F9} 66r20 67r31
84r7 L{8|65R9} 89r16 90r15 91r16 91r30
85*7 X_Mid{8|29F9} 91r22
86*7 Y_Mid{8|29F9} 91r36
99*7 Det{8|29F9} 101r10 108r53 109r53
141r7 L1{8|65R9} 142r35 142r53 142r71 143r35 143r53 143r71 170r16 170r37
. 183r23 183r30 184r16 184r37
142*7 R3{8|29F9} 154r11 155r19
143*7 R4{8|29F9} 154r29 155r37
144r7 L2{8|65R9} 145r35 145r53 145r71 146r35 146r53 146r71 170r23 170r30
. 183r16 183r37 184r23 184r30
145*7 R1{8|29F9} 163r11 164r19
146*7 R2{8|29F9} 163r29 164r37
148*7 Denom{8|29F9} 170m7 171r10 183r45 184r45
239*7 S 241r65
249*7 X 252r20 252r24
250*7 Y 252r28 252r32
283*7 Min{8|39F12} 286m10 287r14 291r11
285i11 P{integer} 287r48 287r56
317*7 D 320m10 320r15 323r19
319i11 P{integer} 320r32 321r32
345r7 Bis1{8|65R9} 347r48
346r7 Bis2{8|65R9} 347r54
347r7 Center{8|41R9} 349r10 349r36 352r28 353r38
362i7 J{natural} 374r50 375r29 377r41 378r24
363b7 C{boolean} 380m13 380r22 383r14
364*7 Deltay{8|29F9} 369m10 374r22 375r50 377r62
368i11 S{integer} 369r32 377r27 377r54 378r37
391*7 X 399m10 399r15 404r20
391*10 Y 401m10 401r15 404r37
392*7 Weight 398m10 398r20 404r24 404r41
393*7 Local 396m10 398r29 400r14 402r14
395i11 P{integer} 397r48 397r58 399r48 399r61 401r48 401r61
415*7 Cross1_Z 424r10
420*7 Cross2_Z 425r17 427r17
436a7 S{8|56A9} 440m10 441m10 442m10 442r21 443m10 445m10 446m10 447m10 448m10
. 448r36 451r33