src/StdReferee/RefereeCoach_Keeper_Assignment.dcl

   1 definition module RefereeCoach_Keeper_Assignment
   2
   3 /** This module implements a referee coach for a keeper assignment.
   4         The student team consists of a single keeper. He is challenged by TeamOpponent_Keeper_Assignment
   5         which consists of a number of footballers who are passing the ball to each other in an attempt
   6         to have the keeper not cover the center of the goal.
   7
   8         Developed by Wanja Krah.
   9 */
  10
  11 import Referee
  12
  13 RefereeCoach_Keeper :: !FootballField -> Referee