ГОСТ Р ИСО/МЭК ТО 10023-93
Bool for FBool
opnnames
RF.R for Pair
Target for First
Minimum for Second
endtype (* TCResidualFrrorRate *)
8.5.3
Приоритет TC
При помощи переименования натуральных чисел уровни прио
ритета представлены как полностью упорядоченное множество В
ГОСТ 34.960 указано, что число уровней приоритета ограничено.
Это также применимо к реализации типа данных NaturalNumber.
type TCPriority
is NaturalNumber renamedby
sortnames
TCPriority for Nat
opnnames
Lowest for 0
Higher for Succ
endtype (• TCPriority
C ________________________________________ _________________________
8.5.4
Защита TC
Упорядоченное множество из четырех констант представляет
варианты защиты, определенные в 10.9 ГОСТ 34.960.
#)
type ТСProtection
is OrderedFourTuplet renamedby
sortnames
TCProtection for Tuplet
opnnames
NoProtection for TheOne
Monitoring for TheOther
.Manipulation for TheThird
FullProtection for ThfcFourth
endtype (* TCProtection “)
r _______________________________________________________ ___________
8.5.5
Вспомогательные определения КУ
В типе Probability вид Prob задает интервал действительных чи*
21