|
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 WR1: SIZEOF(QUERY (s <* segments | n_v <> SIZEOF (s))) = 0; WR2: constraints_rectangular_composite_surface(SELF); END_ENTITY; -- rectangular_composite_surface |
Entity data types and their attributesrepresentation_itemname: label; geometric_representation_item (DER) dim: dimension_count; surface - bounded_surface - rectangular_composite_surface segments: LIST [1:?] OF LIST [1:?] OF surface_patch; (DER) n_u: INTEGER; (DER) n_v: INTEGER; |
Global rules for this entity data type- |