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;