FUNCTION identical_sets

(* SCHEMA FUNCTIONAL_DATA_AND_SCHEMATIC_REPRESENTATION_MIM_LF; *)

 
FUNCTION identical_sets(set_a : class; set_b : class) : BOOLEAN;
LOCAL
  set_of_sets : SET OF class := [];
END_LOCAL;
  IF set_a = set_b THEN
    RETURN (TRUE);
  END_IF;
  set_of_sets := set_of_sets + set_b;
  RETURN (identical_to_one_of_set_of_sets(set_a, set_of_sets));
END_FUNCTION;

Referenced By

Defintion identical_sets is references by the following definitions:

Definition	Type
complement	ENTITY
power_set	ENTITY
proper_subset	ENTITY

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:17:33-04:00