ГОСТ Р ИСО 10303-54—2011
EXPRESS-спсиификация:
FUNCTION identical_sets (set_a:class. set_b: class) :BOOLEAN:
LOCAL
set_of_sets: SET OF class :=Q;
END_LOCAL;
IF (sot_a =set_b) THEN
RETURN (TRUE);
ENDJF;
set_of_sets := set_of_sets + set_b;
RETURN (identicat_to_one_of_set_of sets(set_a. set_of_sets));
END_FUNCTION;
r
Определения аргументов:
set_a: экземпляробъекта class (класс), которыйпроверяется наравенствосэкземпляром, задан
ным аргументом set_b.
set_b: экземпляробъектаclass (класс), которыйпроверяетсяна равенствосэкземпляром, задан
ным аргументом set_a.
5.4.2 Функция identical_to_one_of_set_of_sets
Функция identical_to_one_of_set_of_sets (равенствоодномуизмножеств, входящихв множество
множеств) проверяет, равен ли экземпляр объекта class (класс) одному из элементов множества мно
жеств. Равенство может быть задано непосредственно или с помощью последовательности одного или
более экземпляровобъектов same_memborship (одни ите жеэлементы).
EXPRESS-спеиификация:
*)
FUNCTION identical_to_one_of_set_of_sets (set_a:class.
set_of_sets: SETOF class) :BOOLEAN;
LOCAL
i: INTEGER;
initial_size; INTEGER;
augmentod_size: INTEGER;
set_of_forward_equivalences:SET OF same_membership :=Q;
set_of_backward_equivalences:SET OF same_membership := Q;
augmented_set_of_sets ; SETOF class := Q;
END_LOCAL;
- - проверяетсячленство заданного множества множеств
IF (set_a IN set_of_sets)THEN
RETURN (TRUE);
ENDJF;
- - расширяет заданное множестводля включения всех множеств.
- - имеющихтотже самый состав, чтосуществующий член.
initial_size := SIZEOF(set_of_sets);
IF (initia!_size =0) THEN
RETURN (FALSE);
ENDJF,
REPEATi := 1TO initial_size;
set_ofJorv/ard_equivalences := set_ofJorward_equivalences +
USEDIN(set_of_sets(i),
’SET_THEORY_SCHEMA.SAME_MEMBERSHIP.SET_1‘);
12