ANIMATE

  Enrol1.test2.anm

PARAMETER_VALUES

  ?

SETS_VALUES

  UNITS = {CSE1001 , FIT1001 , FIT1002 , FIT1003};
  STUDENTS = {1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 10}

CONSTANTS_VALUES

  ?

ENUM_SETS_VALUES

  ?

OPERATIONS

  INI_Enrol1;

  uu <-- StudentEnrolment(3);

      { uu = {} };

  cc <-- ClassList(FIT1001);

      { cc = {} }

END