convex_hexahedron

EXPRESS specification:

ENTITY convex_hexahedron
SUBTYPE OF ( | faceted_primitive);
WHERE
WRC27 | : | SIZEOF(points) = 8 ;
WRC28 | : | above_plane(points[1], points[2], points[3], points[4]) = 0.0;
WRC29 | : | above_plane(points[5], points[8], points[7], points[6]) = 0.0;
WRC30 | : | above_plane(points[1], points[4], points[8], points[5]) = 0.0;
WRC31 | : | above_plane(points[4], points[3], points[7], points[8]) = 0.0;
WRC32 | : | above_plane(points[3], points[2], points[6], points[7]) = 0.0;
WRC33 | : | above_plane(points[1], points[5], points[6], points[2]) = 0.0;
WRC34 | : | same_side([points[1], points[2], points[3]], [points[5], points[6], points[7], points[8]]);
WRC35 | : | same_side([points[1], points[4], points[8]], [points[3], points[7], points[6], points[2]]);
WRC36 | : | same_side([points[1], points[2], points[5]], [points[3], points[7], points[8], points[4]]);
WRC37 | : | same_side([points[5], points[6], points[7]], [points[1], points[2], points[3], points[4]]);
WRC38 | : | same_side([points[3], points[7], points[6]], [points[1], points[4], points[8], points[5]]);
WRC39 | : | same_side([points[3], points[7], points[8]], [points[1], points[5], points[6], points[2]]);
END_ENTITY;

References (1):

Name | Type | Referred through | Express-G
faceted_primitive | Entity |
Subtype
| No Diagram

Inheritance graph

ENTITY convex_hexahedron;
ENTITY representation_item;
name | : | label;
ENTITY geometric_representation_item;
DERIVE
dim | : | dimension_count := dimension_of(SELF);
ENTITY faceted_primitive;
points | : | LIST [4:?] OF cartesian_point;
ENTITY convex_hexahedron;
END_ENTITY;