MODULE exo3;
(* ----------------------------------------------------------------------
   exo3.pm
   D. Thiebaut
   Computes the max of a vector variable using reduction.
   ---------------------------------------------------------------------- *)
CONST N=8;

CONFIGURATION chain[0..N-1];
CONNECTION
    (* no connection needed! *);

VAR
    x       : chain OF INTEGER;
    y       : chain OF INTEGER;
    i       : INTEGER;

BEGIN
    (*--- initialize vector x with random number ---*)
    x := RandomInt( chain ) MOD 100;
    WriteString( "    x = " );
    WriteInt( x, 2 );

    (*--- reduction! ---*)
    i := REDUCE.MAX( x );


    (*--- output ---*)
    WriteString( "    max = " );
    WriteInt( i, 2 );

END exo3.