Navigation

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;