

DEFINITION MODULE Commande;

FROM GroupMac IMPORT ExtNum, Groupe;

PROCEDURE BalayageComplet (G : Groupe) : ExtNum;
   (* Patrouille la ligne de 1 a N, puis de N a 1, etc., en reparant       *)
   (* les machines brisees que l'on rencontre.                             *)

PROCEDURE PlusPres (G : Groupe) : ExtNum;
   (* Si toutes les machines fonctionnent, on va vers le centre puis on    *)
   (* attend, sinon on va vers la machine brisee la plus pres.             *)
   (* En cas d'egalite, on s'eloigne d'abord du centre.                    *)

END Commande.

