8.20.6.2 IfcLoopHeadToTail（环首尾连接）
8.20.6.2.1 语义定义（Semantic definition）
此函数在输入边环的各边满足以下条件时返回 TRUE：每条边的终点顶点与其后继边的起点顶点相同。
8.20.6.2.2 形式化表示（Formal representation）
FUNCTION IfcLoopHeadToTail
(ALoop : IfcEdgeLoop) : LOGICAL;
LOCAL
N : INTEGER;
P : LOGICAL := TRUE;
END_LOCAL;
N := SIZEOF (ALoop.EdgeList);
REPEAT i := 2 TO N;
P := P AND (ALoop.EdgeList[i-1].EdgeEnd :=:
ALoop.EdgeList[i].EdgeStart);
END_REPEAT;
RETURN (P);
END_FUNCTION;