|
ENTITY oriented_face SUBTYPE OF (face); face_element : face; orientation : BOOLEAN; DERIVE SELF\face.bounds : SET [1:?] OF face_bound := conditional_reverse(SELF.orientation,SELF.face_element.bounds); WHERE WR1: NOT ('TOPOLOGY_SCHEMA.ORIENTED_FACE' IN TYPEOF (SELF.face_element)); END_ENTITY; -- oriented_face |
Entity data types and their attributesrepresentation_itemname: label; topological_representation_item - face bounds: SET [1:?] OF face_bound; oriented_face face_element: face; orientation: BOOLEAN; (RT) (DER) bounds: SET [1:?] OF face_bound; |
Global rules for this entity data type- |