FUNCTION path_head_to_tail

(* SCHEMA STRUCTURAL_FRAME_SCHEMA; *)

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;  (* STEP Part 42 (unchanged in 2nd edition)  *)

Referenced By

Defintion path_head_to_tail is references by the following definitions:
DefinitionType
 path ENTITY


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2023-03-25T00:11:39-04:00