ГОСТ Р ИСО 15531-42—2010
Спецификация на языке EXPRESS.
•)
ENTITY upper_bounded_composite_continuous_domain
SUBTYPE OF (upper_bouded_domain. composite_continuous_domain);
END_ENTITY;
(*
5.6.21 both_sides_boundod_composite_contlnuous_domain
both_sides_bounded_composite_continuous_domain — этоcomposite_contlnuous_domain,
ограниченный сверху и снизу.
Спецификация на языке EXPRESS.
•)
ENTITY both_sides_bounded_composite_continuous_domain
SUBTYPE OF (both_sides_boudod_domain. composite_continuous_domain);
END_ENTITY;
r
5.6.22 complete_discrete_domain
complete_discrote_domain — это complete_domain, являющийся дискретным.
Спецификация на языке EXPRESS:
*
E
>
NTITY complete_discrete_domain
SUBTYPE OF (complete_domain. discrete_domain);
END_ENTITY;
r
5.6.23 lower_boundod_complete_discrete_domain
lower_bounded_complete_discrete_domain — это complete_discrete_domain. ограниченный
снизу.
Спецификация на языке EXPRESS:
•)
ENTITY lower_bounded_complete_discrete_domain
SUBTYPE OF (lower_bouded_domain. complete_discrete_domain);
END_ENTITY;
r
5.6.24 upper_boundod_complete_discrete_domain
upper_boundod_complete_discrete_domain — это complete_discrete_domain. ограниченный
сверху.
Спецификация на языке EXPRESS.
•)
ENTITY upper_bounded_complete_discrete_domain
SUBTYPE OF (upper_bouded_domain. complete_discrete_domain);
END_ENTITY;
r
5.6.25 both_sides_boundod_complete_discrete_domain
both_sides_bounded_complete_discrete_domain — это complete_discrete_domain. ограни
ченный сверху и снизу.
Спецификация на языке EXPRESS:
’)
ENTITY both_sides_bounded_complete_discrete_domain
SUBTYPE OF (both_sides_bouded_domain, complete_discrete_domain);
END_ENTITY;
r
15