IFC 4.3.0.0 (IFC4X3) final

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;

8.20.6.3.3 References