8.8.6.2 IfcTaperedSweptAreaProfiles（锥形扫掠面积轮廓）
8.8.6.2.1 语义定义（Semantic definition）
此函数检查锥形拉伸中的起始轮廓和结束轮廓在拓扑上是否相似，即两者是否具有相同数量的顶点和边。
在以下情况下返回 TRUE：
- 起始轮廓由参数化轮廓定义定义，且
- 结束轮廓是派生轮廓，使用起始轮廓作为其父轮廓，或
- 结束轮廓基于与起始轮廓相同子类型的参数化轮廓定义
- 起始轮廓由界定平面的任意有界曲线定义，且
- 结束轮廓是使用起始轮廓作为其父轮廓的派生轮廓
HISTORY 新增函数于
8.8.6.2.2 形式化表示（Formal representation）
FUNCTION IfcTaperedSweptAreaProfiles
(StartArea, EndArea : IfcProfileDef)
: LOGICAL;
LOCAL
Result : LOGICAL := FALSE;
END_LOCAL;
IF ('IFC4X3_DEV_62887e3f.IFCPARAMETERIZEDPROFILEDEF' IN TYPEOF(StartArea)) THEN
IF ('IFC4X3_DEV_62887e3f.IFCDERIVEDPROFILEDEF' IN TYPEOF(EndArea)) THEN
Result := (StartArea :=: EndArea\IfcDerivedProfileDef.ParentProfile);
ELSE
Result := (TYPEOF(StartArea) = TYPEOF(EndArea));
END_IF;
ELSE
IF ('IFC4X3_DEV_62887e3f.IFCDERIVEDPROFILEDEF' IN TYPEOF(EndArea)) THEN
Result := (StartArea :=: EndArea\IfcDerivedProfileDef.ParentProfile);
ELSE
Result := FALSE;
END_IF;
END_IF;
RETURN(Result);
END_FUNCTION;