8.8.3.44 IfcSweptDiskSolidPolygonal（扫掠圆盘实体-多边形）
8.8.3.44.1 语义定义（Semantic definition）
IfcSweptDiskSolidPolygonal 是一种 IfcSweptDiskSolid，其 Directrix（准线）仅限于由多段线提供。可选的 FilletRadius（圆角半径）属性可用于在多段线各段之间的所有过渡处施加圆角。
注意 与 IfcPolyline 相比，几何项 IfcIndexedPolyCurve 提供了更紧凑的表示形式。因此，它是 Directrix（准线）的首选曲线表示形式。IfcIndexedPolyCurve 不应定义 Segments（段），将其限制为仅多段线。
非正式命题
- 如果提供了 FilletRadius（圆角半径），则其必须小于或等于 IfcPolyline 起始段和结束段的长度，并且小于或等于最短内段长度的一半。
8.8.3.44.2 实体继承（Entity inheritance）
-
- IfcSolidModel
- IfcAnnotationFillArea
- IfcBooleanResult
- IfcBoundingBox
- IfcCartesianPointList
- IfcCartesianTransformationOperator
- IfcCsgPrimitive3D
- IfcCurve
- IfcDirection
- IfcFaceBasedSurfaceModel
- IfcFillAreaStyleHatching
- IfcFillAreaStyleTiles
- IfcGeometricSet
- IfcHalfSpaceSolid
- IfcLightSource
- IfcPlacement
- IfcPlanarExtent
- IfcPoint
- IfcSectionedSpine
- IfcSegment
- IfcShellBasedSurfaceModel
- IfcSurface
- IfcTessellatedItem
- IfcTextLiteral
- IfcVector
8.8.3.44.3 特性（Attributes）
| # | 特性（Attributes） | 类型 | 描述 |
|---|---|---|---|
| IfcRepresentationItem (2) | |||
| LayerAssignment | SET [0:1] OF IfcPresentationLayerAssignment FOR AssignedItems |
将表示项分配给单个或多个层。LayerAssignments 可以覆盖其所在的 IfcRepresentation 的 Items 列表中的 LayerAssignments。 |
|
| StyledByItem | SET [0:1] OF IfcStyledItem FOR Item |
引用为表示提供表现信息的 IfcStyledItem，例如，为几何曲线提供曲线样式，包括颜色和厚度。 |
|
| IfcSolidModel (1) | |||
| * | Dim | IfcDimensionCount |
此属性是形式化派生的 本类的空间维度，恒为3。 |
| IfcSweptDiskSolid (5) | |||
| 1 | Directrix | IfcCurve |
用于定义扫掠操作的曲线。实体通过将圆形圆盘沿着 Directrix 扫掠生成。 |
| 2 | Radius | IfcPositiveLengthMeasure |
要沿着 Directrix 扫掠的圆形圆盘的 Radius。若应用了 InnerRadius，则表示外半径。 |
| 3 | InnerRadius | OPTIONAL IfcPositiveLengthMeasure |
此属性为可选，若存在则定义圆盘中心圆孔的半径。 |
| 4 | StartParam | OPTIONAL IfcParameterValue |
Directrix 上扫掠操作开始的参数值。若未提供值，则扫掠操作从 Directrix 的起点开始。
|
| 5 | EndParam | OPTIONAL IfcParameterValue |
Directrix 上扫掠操作结束的参数值。若未提供值，则扫掠操作在 Directrix 的终点结束。
|
| 点击显示 8 个隐藏的继承特性 点击隐藏 8 个继承特性 | |||
| IfcSweptDiskSolidPolygonal (1) | |||
| 6 | FilletRadius | OPTIONAL IfcNonNegativeLengthMeasure |
均匀施加于 IfcPolyline 各段之间所有过渡处的圆角，为 Directrix（准线）提供几何表示。如果省略，则不对各段施加圆角。 |
8.8.3.44.4 形式化命题（Formal propositions）
| 名称 | 描述 |
|---|---|
| CorrectRadii |
如果给出了 FilletRadius（圆角半径），则其必须大于或等于圆盘的 Radius（半径）。 |
|
|
| DirectrixIsPolyline |
Directrix（准线）应为无 Segments（段）的 IfcIndexedPolyCurve 类型，或 IfcPolyline 类型。 |
|
|
8.8.3.44.5 形式化表示（Formal representation）
ENTITY IfcSweptDiskSolidPolygonal
SUBTYPE OF (IfcSweptDiskSolid);
FilletRadius : OPTIONAL IfcNonNegativeLengthMeasure;
WHERE
CorrectRadii : NOT(EXISTS(FilletRadius)) OR (FilletRadius >= SELF\IfcSweptDiskSolid.Radius);
DirectrixIsPolyline : ('IFC4X3_DEV_62887e3f.IFCPOLYLINE' IN TYPEOF(SELF\IfcSweptDiskSolid.Directrix)) OR
(('IFC4X3_DEV_62887e3f.IFCINDEXEDPOLYCURVE' IN TYPEOF(SELF\IfcSweptDiskSolid.Directrix)) AND NOT(EXISTS(SELF\IfcSweptDiskSolid.Directrix\IfcIndexedPolyCurve.Segments)));
END_ENTITY;