Множества

 

Тип-множество, используемый в языке Паскаль, соответствует понятию множества в математике, и создается с помощью следующего конструктора типа:

Type T = set of T0;

где T0 – базовый тип или тип элементов множества.

Значением переменной X типа T являются множества элементов типа T0. Например, тип-множество целых чисел от 1 до 31 может быть описан следующим образом:

Type intset = set of 1..31;

Переменной X типа intset можно присвоить значения с помощью оператора присваивания, например:

Var X: intset;

………………..

X:=[1,4,9,16,25];

Элементы множества записываются в квадратных скобках. Оператор

X;=[]; присваивает переменной Х значение пустого множества.

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

 

Операция Действие Тип операндов Тип результата
+ Объединение множеств Множество Множество
- Разность множеств Множество Множество
* Пересечение множеств Множество Множество
= Сравнение на равенство Множество Булевский тип
<> Сравнение на неравенство Множество Булевский тип
A>=B B – подмножество A Множество Булевский тип
in Определение принадлежности множеству Левый операнд – базовый тип; правый – множество элементов базового типа Булевский тип