FUNCTION bag_to_set

(* SCHEMA explicit_draughting; *)

  FUNCTION bag_to_set 
    (the_bag : BAG OF GENERIC : intype) : SET OF GENERIC : intype;
    LOCAL
      the_set: SET OF GENERIC : intype := [];
      i      : INTEGER;
    END_LOCAL;
    IF SIZEOF (the_bag) > 0 THEN
      REPEAT i := 1 to HIINDEX (the_bag);
        the_set := the_set + the_bag [i];
      END_REPEAT;
    END_IF;
    RETURN (the_set);
  END_FUNCTION;

Referenced By

Defintion bag_to_set is references by the following definitions:

Definition	Type
acyclic_mapped_representation	FUNCTION
using_representations	FUNCTION

[Top Level Definitions] [Exit]

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