Navigation

path_head_to_tail

EXPRESS specification:

FUNCTION path_head_to_tail
(a_path : path) : LOGICAL;
 LOCAL
 n : INTEGER;
 p : LOGICAL := TRUE;
 END_LOCAL;
 
 n := SIZEOF (a_path.edge_list);
 REPEAT i := 2 TO n;
 p := p AND (a_path.edge_list[i-1].edge_end :=:
 a_path.edge_list[i].edge_start);
 END_REPEAT;
 
 RETURN (p);
END_FUNCTION;