oriented_face

EXPRESS specification:

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
WRO7 | : | NOT ('STRUCTURAL_FRAME_SCHEMA.ORIENTED_FACE' IN TYPEOF (SELF.face_element));
END_ENTITY;

References (1):

Name | Type | Referred through | Express-G
face | Entity |
Subtype
| No Diagram

Inheritance graph

ENTITY oriented_face;
ENTITY representation_item;
name | : | label;
ENTITY topological_representation_item;
ENTITY face;
ENTITY oriented_face;
face_element | : | face;
orientation | : | BOOLEAN;
DERIVE
bounds | : | SET [1:?] OF face_bound := conditional_reverse (SELF.orientation,SELF.face_element.bounds);
END_ENTITY;