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;