FUNCTION list_to_set

(* SCHEMA STRUCTURAL_FRAME_SCHEMA; *)

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;  (* STEP Part 42 (unchanged in 2nd edition)  *)

Referenced By

Defintion list_to_set is references by the following definitions:
DefinitionType
 face ENTITY
 subface ENTITY


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2023-03-25T00:11:39-04:00