box_domain

EXPRESS specification:

ENTITY box_domain;
corner | : | cartesian_point;
xlength | : | positive_length_measure;
ylength | : | positive_length_measure;
zlength | : | positive_length_measure;
WHERE
WRB16 | : | SIZEOF(QUERY(item <* USEDIN(SELF,'')| NOT ('STRUCTURAL_FRAME_SCHEMA.BOXED_HALF_SPACE' IN TYPEOF(item)))) = 0;
END_ENTITY;

References (2):

Name | Type | Referred through | Express-G
boxed_half_space | Entity |
Attribute 'enclosure'
| No Diagram
select_generic_item | Select |
Select relation
| No Diagram

Inheritance graph

ENTITY box_domain;
ENTITY box_domain;
corner | : | cartesian_point;
xlength | : | positive_length_measure;
ylength | : | positive_length_measure;
zlength | : | positive_length_measure;
END_ENTITY;