hexahedron_volume

EXPRESS specification:

ENTITY hexahedron_volume
SUBTYPE OF ( | volume);
points | : | LIST [8:8] OF cartesian_point;
WHERE
WRH1 | : | above_plane(points[1], points[2], points[3], points[4]) = 0.0;
WRH2 | : | above_plane(points[5], points[8], points[7], points[6]) = 0.0;
WRH3 | : | above_plane(points[1], points[4], points[8], points[5]) = 0.0;
WRH4 | : | above_plane(points[4], points[3], points[7], points[8]) = 0.0;
WRH5 | : | above_plane(points[3], points[2], points[6], points[7]) = 0.0;
WRH6 | : | above_plane(points[1], points[5], points[6], points[2]) = 0.0;
WRH7 | : | same_side([points[1], points[2], points[3]], [points[5], points[6], points[7], points[8]]);
WRH8 | : | same_side([points[1], points[4], points[8]], [points[3], points[7], points[6], points[2]]);
WRH9 | : | same_side([points[1], points[2], points[5]], [points[3], points[7], points[8], points[4]]);
WRH10 | : | same_side([points[5], points[6], points[7]], [points[1], points[2], points[3], points[4]]);
WRH11 | : | same_side([points[3], points[7], points[6]], [points[1], points[4], points[8], points[5]]);
WRH12 | : | same_side([points[3], points[7], points[8]], [points[1], points[5], points[6], points[2]]);
WRH13 | : | points[1].dim = 3;
END_ENTITY;

References (1):

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

Inheritance graph

ENTITY hexahedron_volume;
ENTITY representation_item;
name | : | label;
ENTITY geometric_representation_item;
DERIVE
dim | : | dimension_count := dimension_of(SELF);
ENTITY volume;
ENTITY hexahedron_volume;
points | : | LIST [8:8] OF cartesian_point;
END_ENTITY;