|
ENTITY subface SUBTYPE OF (face); parent_face : face; WHERE WR1: NOT (mixed_loop_type_set(list_to_set(list_face_loops(SELF)) + list_to_set(list_face_loops(parent_face)))); END_ENTITY; -- subface |
Entity data types and their attributesrepresentation_itemname: label; topological_representation_item - face bounds: SET [1:?] OF face_bound; subface parent_face: face; |
Global rules for this entity data type- |