8.20.6.3 IfcPathHeadToTail（路径首尾连接）
8.20.6.3.1 语义定义（Semantic definition）
如果输入路径的所有边都是连续的，则此函数返回 TRUE。
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;