|
ENTITY oriented_path SUBTYPE OF (path); path_element : path; orientation : BOOLEAN; DERIVE SELF\path.edge_list : LIST [1:?] OF UNIQUE oriented_edge := conditional_reverse(SELF.orientation, SELF.path_element.edge_list); WHERE WR1: NOT ('TOPOLOGY_SCHEMA.ORIENTED_PATH' IN TYPEOF (SELF.path_element)); END_ENTITY; -- oriented_path |
Entity data types and their attributesrepresentation_itemname: label; topological_representation_item - path edge_list: LIST [1:?] OF UNIQUE oriented_edge; oriented_path path_element: path; orientation: BOOLEAN; (RT) (DER) edge_list: LIST [1:?] OF UNIQUE oriented_edge; |
Global rules for this entity data type- |