ГОСТ Р ИСО 13584-20—2006
П р и м е ч а н и е — ДляолератораХОРтребуютсядвабулевыхоперандаионвычисляетбулево значение,
которое является исключающей дизъюнкцией двух операндов.
EXPRESS-спецификация
*)
ENTITY xor_expression
SUBTYPE OF (binary_boolean_expression);
SELF\binary_generic_expression. operands:
LIST [2:2] OF boolean_expression;
END_ENTITY;
<*
Определение атрибута
operands — два операнда boolean_expression оператора XOR, которые должны представлять
собой булевы выражения.
6.4.10 Объект equals_expression
Объект equals_expression включает в себя семантику оператора равенства экземпляров’ по
ИСО 10303-11, областью значений которого являются объекты типаданных generic_expression.
П р и м е ч а н и е — Оператор равенства экземпляров сравнивает значения двух экземпляров типа
generic_express!on.и результатомсравненияявляетсябулевозначение.В контекстесхемы
ISO_13584_expresslone_schema два значения экземпляров типа generic_expresslon являются сравнимыми,
если их типы данных совпадают либо если один тип данных является подтипом второго.
EXPRESS-споиификаиия
*)
ENTITY equals_expression
SUBTYPE OF (binary_boolean_expression);
END_ENTITY;
(*
6.4.11 Объект and_expression
Объект and_exprossion включает всебя семантику оператора ’AND’по ИСО 10303-11 и использу
ет свойство ассоциативностидля работы с большой арностью.
П р и м е ч а н и е — ДляоператораАИОтребуются. по крайней мере,два булевых выражения ион вычисля
ет булево значение, которое является конъюнкцией двух операндов.
EXPRESS-спецификация
‘ )
ENTITY and_expression
SUBTYPE OF (multiple_arity_boolean_expression);
END_ENTITY;
(*
6.4.12 Объект or_expression
Объект or_expression включает в себя семантику оператора ’OR’ по ИСО 10303-11 и использует
свойство ассоциативностидля работы с большой арностью.
П р и м е ч а н и е — Для оператора OR требуются, по крайней мере, два булевых выражения, и он вычисля
ет булево значение, которое является включающей дизъюнкцией двух операндов.
EXPRESS-спецификация
*)
ENTITY or_expression
28