oriented_path
EXPRESS specification:
ENTITY
oriented_path
SUBTYPE
OF
(
path
);
path_element
:
path
;
orientation
:
BOOLEAN
;
DERIVE
SELF
\path.edge_list
:
LIST
[1:?]
OF
oriented_edge
:= conditional_reverse
(SELF.orientation, SELF.path_element.edge_list);
WHERE
WRO9
:
NOT ('STRUCTURAL_FRAME_SCHEMA.ORIENTED_PATH' IN TYPEOF (SELF.path_element));
END_ENTITY
;
References (1):
Name
Type
Referred through
Express-G
path
Entity
Subtype
No Diagram
Inheritance graph
ENTITY
oriented_path;
ENTITY
representation_item
;
name
:
label
;
ENTITY
topological_representation_item
;
ENTITY
path
;
ENTITY
oriented_path
;
path_element
:
path
;
orientation
:
BOOLEAN
;
DERIVE
edge_list
:
LIST
[1:?]
OF
oriented_edge
:= conditional_reverse
(SELF.orientation, SELF.path_element.edge_list);
END_ENTITY
;