Re: Function definitions

[Stephen Leake <stephen_leake@stephe-leake.org>]

Adam Beneschan <adambeneschan@gmail.com> writes:

> First of all, if you want the bounds of Individual to be flexible,
> you'll need to make Individual a discriminant record:
>
>
>     type Individual (P, Q, R : Natural) is record 
>        X : x_array (0..P); 
>        Y : y_array (0..Q); 
>        Z : z_array (0..R); 
>     end record; 

or make Search generic:

generic
    P,Q,R : Natural; 
package Search is

    ...
    type Individual is record 
       X : x_array (0..P); 
       Y : y_array (0..Q); 
       Z : z_array (0..R); 
    end record; 

    ...
end Search;

Then you have to instantiate Search in main_search.adb.

Which is better depends on many other things, in the full application.

-- 
-- Stephe