open_path
EXPRESS specification:
ENTITY
open_path
SUBTYPE
OF
(
path
);
DERIVE
ne
:
INTEGER
:= SIZEOF(SELF\path.edge_list);
WHERE
WRO3
:
(SELF\path.edge_list[1].edge_element.edge_start) :<>: (SELF\path.edge_list[ne].edge_element.edge_end);
END_ENTITY
;
References (1):
Name
Type
Referred through
Express-G
path
Entity
Subtype
No Diagram
Inheritance graph
ENTITY
open_path;
ENTITY
representation_item
;
name
:
label
;
ENTITY
topological_representation_item
;
ENTITY
path
;
edge_list
:
LIST
[1:?]
OF
oriented_edge
;
ENTITY
open_path
;
DERIVE
ne
:
INTEGER
:= SIZEOF(SELF\path.edge_list);
END_ENTITY
;