IFC 4.3.0.0 (IFC4X3) final

8.20.6.2 IfcLoopHeadToTail

8.20.6.2.1 Semantic definition

This function returns TRUE if for the edges of the input edge loop the end vertex of each edge is the same as the start vertex of its successor.

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;

8.20.6.2.3 References