ГОСТ Р ИСО 10303-11-2009 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 11. Методы описания. Справочное руководство по языку EXPRESS

     15.29 Функция уникальности VALUE_UNIQUE

FUNCTION VALUE_UNIQUE ( V : AGGREGATE OF GENERIC) : LOGICAL;

Функция VALUE_UNIQUE возвращает логическое значение в зависимости от того, являются ли значения элементов агрегированной структуры уникальными.

Параметр: V - агрегированная структура любого типа данных.

Результат:

a) если V имеет неопределенное (?) значение, то возвращается значение UNKNOWN;

b) если значения любых двух элементов из V равны, то возвращается значение FALSE;

c) если любой элемент из V имеет неопределенное (?) значение, то возвращается значение UNKNOWN;

d) во всех других случаях возвращается значение TRUE.

Пример - Следующая проверка обеспечивает, что все точки (объекты points) в наборе расположены на разных позициях (по определению, эти точки различны, то есть их экземпляры уникальны).

IF VALUE_UNIQUE (points) THEN...