|
ENTITY convex_hexahedron SUBTYPE OF (faceted_primitive); WHERE WR1: SIZEOF(points) = 8; WR2: above_plane(points[1], points[2], points[3], points[4]) = 0.0; WR3: above_plane(points[5], points[8], points[7], points[6]) = 0.0; WR4: above_plane(points[1], points[4], points[8], points[5]) = 0.0; WR5: above_plane(points[4], points[3], points[7], points[8]) = 0.0; WR6: above_plane(points[3], points[2], points[6], points[7]) = 0.0; WR7: above_plane(points[1], points[5], points[6], points[2]) = 0.0; WR8: same_side([points[1], points[2], points[3]], [points[5], points[6], points[7], points[8]]); WR9: same_side([points[1], points[4], points[8]], [points[3], points[7], points[6], points[2]]); WR10: same_side([points[1], points[2], points[5]], [points[3], points[7], points[8], points[4]]); WR11: same_side([points[5], points[6], points[7]], [points[1], points[2], points[3], points[4]]); WR12: same_side([points[3], points[7], points[6]], [points[1], points[4], points[8], points[5]]); WR13: same_side([points[3], points[7], points[8]], [points[1], points[5], points[6], points[2]]); END_ENTITY; -- convex_hexahedron |
Entity data types and their attributesrepresentation_itemname: label; geometric_representation_item (DER) dim: dimension_count; faceted_primitive points: LIST [4:?] OF UNIQUE cartesian_point; convex_hexahedron - |
Global rules for this entity data type- |