equal
deleted
inserted
replaced
|
1 {*******************************************************} |
|
2 {FDL Declarations} |
|
3 {Examiner Pro Edition, Version 9.1.0, Build Date 20101119, Build 19039} |
|
4 {Copyright (C) 2010 Altran Praxis Limited, Bath, U.K.} |
|
5 {*******************************************************} |
|
6 |
|
7 |
|
8 {DATE : 22-SEP-2011 11:10:48.96} |
|
9 |
|
10 {procedure Simple_Greatest_Common_Divisor.G_C_D} |
|
11 |
|
12 |
|
13 title procedure g_c_d; |
|
14 |
|
15 function round__(real) : integer; |
|
16 const natural__base__first : integer = pending; |
|
17 const natural__base__last : integer = pending; |
|
18 const integer__base__first : integer = pending; |
|
19 const integer__base__last : integer = pending; |
|
20 const natural__first : integer = pending; |
|
21 const natural__last : integer = pending; |
|
22 const natural__size : integer = pending; |
|
23 const integer__first : integer = pending; |
|
24 const integer__last : integer = pending; |
|
25 const integer__size : integer = pending; |
|
26 var m : integer; |
|
27 var n : integer; |
|
28 var c : integer; |
|
29 var d : integer; |
|
30 function gcd(integer, integer) : integer; |
|
31 |
|
32 end; |