Выражения над множествами.

Выражения дают возможность вычислить значения типа множества из других значений. Они состоят из констант и переменных типа множества, множественных конструкций и знаков операций.

В отличие от скалярных типов над множествами не выполняются операции ввода-вывода. Множества нельзя ввести с клавиатуры, вывести на печать или экран дисплея, записать на диск и т.д.

Допустимы только следующие операции отношения и принадлежности:

* - пересечение множеств.

Результат – совокупность элементов, которые являются общими для обоих множеств. Например:

EIS:=KRS1 * KRS1_3; общие => [EIS_111, EIS_112]

+ - объединение множеств.

Результат – совокупность элементов первого множества «плюс» уникальные (неповторяющиеся в первом) элементы второго множества. Например:

SPEC:=KRS1_3 + KRS4_5; => полностью объединяет оба множества.

Или: ALF4:= ALF1 + [’Z’]; => получим [A..G,Z]

Но:

ALF4:=ALF1 + ALF3; => даст [’A’..’F’, ’P’..’Z’]

- - разность множеств.

Результат – та совокупность элементов первого множества, которая не входит во второе множество. Например:

KRS4_5:=SPEC - KRS1_3; => даёт [EIS_411, EIS_412, EIS_511,

EIS_512]

= - проверка эквивалентности.

Результат – TRUE, если оба множества эквивалентны.

FL:= KRS1_3=[ EIS_411, EIS_412, EIS_511, EIS_512]; => FALSE

<> - проверка неэквивалентности.

Результат – TRUE, если оба множества неэквивалентны.

FL:= KRS1_3<> KRS4_5; => TRUE

<= - проверка вхождения.

Результат – TRUE, если первое множество входит (включено) во второе.

FL:= [EIS_112]<= KRS4_5; => FALSE

>= - проверка вхождения.

Результат – TRUE, если первое множество включает в себя второе.

FL:= KRS1_3>= [EIS_112]; => TRUE

IN – проверка принадлежности значения выражения из первого операнда множеству из второго операнда.

Результат – TRUE, если при проверке такая принадлежность обнаруживается.

FL:= [EIS_111]+[EIS_112] IN SPEC; => TRUE

Операцию проверки принадлежности часто используют в условных операторах и операторах цикла. Например:

IF KOD_MES IN [1..12] THEN …

лучше, чем более длинное:

IF (KOD_MES>=1) AND (KOD_MES<=12) THEN …

Точно также

WHILE S IN [’0’..’9’,’A’..’Z’] DO …

лучше, чем:

WHILE ((S>=’0’) AND (S<=’9’)) OR ((S>=’A’) AND (S<=’Z’))

DO …

Операции над множествами выполняются в порядке приоритета:

1. * - пересечение множеств.

2. + - объединение множеств.

- - разность множеств.

3. операции отношения (=, <>,<=,>=,IN).

Начиная с 7-ой версии Паскаля, для выполнения операций добавления и исключения одиночного элемента из множества могут использоваться две высокоскоростные встроенные процедуры, соответственно INCLUDE и EXCLUDE , компилирующие всего одну машинную команду каждая (в отличие от аналогичных, но громоздких операций + и -). Они имеют следующие заголовки:

PROCEDURE INCLUDE( VAR <имя множества>: SET OF <базовый тип>; <имя добавляемого элемента множества>: <базовый тип>);

PROCEDURE EXCLUDE( VAR <имя множества>: SET OF <базовый тип>; <имя удаляемого элемента множества>: <базовый тип>);

Вызов этих процедур производится так:

имя добавляемой

INCLUDE(<имя множества>,< переменной или константы >);

базового типа

имя удаляемой

EXCLUDE(<имя множества>,< переменной или константы >);

базового типа

Множество и добавляемый (удаляемый) элемент должны иметь одинаковый базовый тип!

Пример:

INCLUDE(CHIS, 555);

EXCLUDE(KRS4_5, [EIS_512]);