Navigation

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;