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