rectangular_composite_surface

EXPRESS specification:

ENTITY rectangular_composite_surface
SUBTYPE OF ( | bounded_surface);
segments | : | LIST [1:?] OF LIST [1:?] OF surface_patch;
DERIVE
n_u | : | INTEGER := SIZEOF(segments);
n_v | : | INTEGER := SIZEOF(segments[1]);
WHERE
WRR15 | : | SIZEOF(QUERY (s <* segments | n_v <> SIZEOF (s))) = 0;
WRR16 | : | constraints_rectangular_composite_surface(SELF);
END_ENTITY;

References (2):

Name | Type | Referred through | Express-G
bounded_surface | Entity |
Subtype
| No Diagram
surface_patch | Entity |
Attribute 'using_surfaces'
| No Diagram

Inheritance graph

ENTITY rectangular_composite_surface;
ENTITY representation_item;
name | : | label;
ENTITY geometric_representation_item;
DERIVE
dim | : | dimension_count := dimension_of(SELF);
ENTITY surface;
ENTITY bounded_surface;
ENTITY rectangular_composite_surface;
segments | : | LIST [1:?] OF LIST [1:?] OF surface_patch;
DERIVE
n_u | : | INTEGER := SIZEOF(segments);
n_v | : | INTEGER := SIZEOF(segments[1]);
END_ENTITY;