tetrahedron

EXPRESS specification:

ENTITY tetrahedron
SUBTYPE OF ( | faceted_primitive);
WHERE
WRT15 | : | SIZEOF(points) = 4 ;
WRT16 | : | above_plane(points[1], points[2], points[3], points[4]) <> 0.0;
END_ENTITY;

References (1):

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

Inheritance graph

ENTITY tetrahedron;
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 tetrahedron;
END_ENTITY;