8.20.6.3 IfcPathHeadToTail
8.20.6.3.1 Semantic definition
This function returns TRUE if all edges of the input path are consecutive.
8.20.6.3.2 Formal representation
FUNCTION IfcPathHeadToTail (APath : IfcPath) : LOGICAL; LOCAL N : INTEGER := 0; P : LOGICAL := UNKNOWN; END_LOCAL; N := SIZEOF (APath.EdgeList); REPEAT i := 2 TO N; P := P AND (APath.EdgeList[i-1].EdgeEnd :=: APath.EdgeList[i].EdgeStart); END_REPEAT; RETURN (P); END_FUNCTION;