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
;