ГОСТ Р ИСО 10303-54—2011
set_of_backward_equivalences := set_ofJorward_equivalences ♦
USEDIN(set_of_sets{i].
’SET_THEORY_SCHEMA.SAME_MEMBERSHIP.SET_2’);
END_REPEAT;
augmented_set_of_sets := set_of_sets;
IF (SIZEOF(set_of_forward_equivalences) > 0)THEN
REPEAT i;= 1to HIINDEX(set_ofJorward_equivalences);
augmented_set_of_sets := augmented_set_of_sets +
set ofJorward_equivalences(i].set_2;
END_REPEAT;
ENDJF;
IF (SIZEOF(set_of_backward_equivalences) >0) THEN
REPEAT i:= 1to HIINDEX(set_of_backward_equivalences);
augmonted_set_of_sets := augmented_set_of_sets +
set of backward equivalencespl.set 1;
END_REPEAT;
ENDJF;
- - если заданное множество множеств было расширено.
- - то проверяетсячленство
augmented_size :=SIZEOF(augmented_set_of_sets);
IF augmented_size =initialize THEN
RETURN (FALSE);
ENDJF;
RETURN (identicalJo_one_of_set_of_sets(set_a.
augmented_set_of_sets));
END FUNCTION;
r
Определения аргументов.
set_a: экземпляр объекта class (класс), который проверяется на равенство с элементом множес
тва множеств, заданным аргументом set_of_sets.
set_of_sets: множествоэкземпляровобъекта class (класс), которые проверяются на равенствос
экземпляром, заданным аргументом set_a.
*)
END_SCHEMA; - - set Jheory_schema
Г
13