Navigation

list_to_set

EXPRESS specification:

FUNCTION list_to_set
(l : LIST [0:?] OF GENERIC:T) : SET OF GENERIC:T;
   LOCAL
 s : SET OF GENERIC:T := [];
   END_LOCAL;
 
   REPEAT i := 1 TO SIZEOF(l);
 s := s + l[i];
   END_REPEAT;
 
 RETURN(s);
END_FUNCTION;