ANIMATE

  Enrol1.test1.anm

PARAMETER_VALUES

  ?

SETS_VALUES

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

CONSTANTS_VALUES

  ?

ENUM_SETS_VALUES

  ?

OPERATIONS

  INI_Enrol1;

  newEnrolment(2,FIT1001);
  newEnrolment(2,FIT1002);
  newEnrolment(6,FIT1002);
  newEnrolment(7,FIT1002);
  newEnrolment(10,FIT1002);
    { ran(enrolment)={FIT1001 , FIT1002} };

  uu <-- StudentEnrolment(2);
  cc <-- ClassList(FIT1002);
    { cc = { 2 , 6 , 7 , 10 } }

END