|
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- |
public interface EConvex_hexahedron extends EFaceted_primitive |
public class CConvex_hexahedron implements EConvex_hexahedron |
public class AConvex_hexahedron extends AEntitypublic EConvex_hexahedron getByIndex(int index)public EConvex_hexahedron getCurrentMember(SdaiIterator it) |