Эти переменные могут быть представлены комбинациями
стандартных числовых атрибутов, связанных между собой посредством булевых
операторов, включая и другие переменные. Булевские переменные определяются так же,
как и арифметические, но вместо арифметических операций проверяются различные
логические условия. Существуют три типа операторов: логические, условные и булевские.
• Логические операторы используются для определения состояния объектов
аппаратной категории и рассматриваются при описании стандартных логических
атрибутов «устройств» и «памятей». Например:
3 ВVARIABLE FNI2
4 BVARIABLE SF2
где булевская переменная 3 (BV3) равна 1, если устройство 2 не занимается блоком
PREEMPT, а булевская переменная 4 равна 1, если память 3 заполнена.
• Условные операторы сравнивают алгебраические операнды, которые могут быть
константами либо СЧА: G — больше; L — меньше; Е—равно; NE—не равно; LE—
меньше либо равно; GE—больше либо равно. Например:
11 BVARIABLE V2'G'5
(здесь ВVII равна 1, если V2>5).
• Булевские операторы обозначают следующее: «+»—ИЛИ; «*» — И. Например:
7 BVARIABLE (V2'G'7)*(FNI2+LR7)
(т. е. BV7 равна 1, если V2>7 при условии, что устройство 2 не занято блоком PREEMPT
или логический переключатель LR7 включен). |
Главная
Каталог файлов
