IfcTaperedSweptAreaProfiles

Semantic definitions at the function

Function Definition

This function checks whether the start and end profile in a tapered extrusion are topologically similar, i.e. whether both have the same number of vertices and edges.

It returnes TRUE if:

The start profile is defined by a paramterized profile definition and
- the end profile is either a derived profile, using the start profile as its parent profile, or
- the end profile is besed on the same subtype of the paramterized profile definition as the start profile
The start profile is defined by an arbitrary bounded curve bounding a plane and
- the end profile is a derived profile using the start profile as its parent profile

HISTORY New function in IFC2x Edition 4.

Formal representations

EXPRESS Specification


FUNCTION IfcTaperedSweptAreaProfiles


(StartArea, EndArea : IfcProfileDef)
 : LOGICAL;

LOCAL
   Result : LOGICAL := FALSE;
END_LOCAL;
   
IF ('IFCPROFILERESOURCE.IfcParameterizedProfileDef' IN TYPEOF(StartArea)) THEN
   IF ('IFCPROFILERESOURCE.IfcDerivedProfileDef' IN TYPEOF(EndArea)) THEN
      Result := (StartArea :=: EndArea\IfcDerivedProfileDef.ParentProfile);
   ELSE
      Result := (TYPEOF(StartArea) = TYPEOF(EndArea));
   END_IF;
ELSE
   IF ('IFCPROFILERESOURCE.IfcDerivedProfileDef' IN TYPEOF(EndArea)) THEN
      Result := (StartArea :=: EndArea\IfcDerivedProfileDef.ParentProfile);
   ELSE
      Result := FALSE;
   END_IF;
END_IF;

RETURN(Result);




END_FUNCTION;