8.8.3.44 IfcSweptDiskSolidPolygonal
8.8.3.44.1 Semantic definition
The IfcSweptDiskSolidPolygonal is a IfcSweptDiskSolid where the Directrix is restricted to be provided by an poly line only. An optional FilletRadius attribute can be asserted, it is then applied as a fillet to all transitions between the segments of the poly line.
Informal Propositions
- The FilletRadius, if provided, has to be smaller than or equal to the length of the start and end segment of the IfcPolyline, and smaller than or equal to one half of the length of the shortest inner segment.
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
# | Attribute | Type | Description |
---|---|---|---|
IfcRepresentationItem (2) | |||
IfcSolidModel (1) | |||
IfcSweptDiskSolid (5) | |||
Click to show 8 hidden inherited attributes Click to hide 8 inherited attributes | |||
IfcSweptDiskSolidPolygonal (1) | |||
6 | FilletRadius | OPTIONAL IfcNonNegativeLengthMeasure |
The fillet that is equally applied to all transitions between the segments of the IfcPolyline, providing the geometric representation for the Directrix. If omitted, no fillet is applied to the segments. |
8.8.3.44.4 Formal propositions
Name | Description | ||||
---|---|---|---|---|---|
CorrectRadii |
If a FilletRadius is given, it has to be greater or equal to the Radius of the disk. |
||||
|
|||||
DirectrixIsPolyline |
The Directrix shall be of type IfcIndexedPolyCurve with no Segments, or of type 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_738df036.IFCPOLYLINE' IN TYPEOF(SELF\IfcSweptDiskSolid.Directrix)) OR (('IFC4X3_DEV_738df036.IFCINDEXEDPOLYCURVE' IN TYPEOF(SELF\IfcSweptDiskSolid.Directrix)) AND NOT(EXISTS(SELF\IfcSweptDiskSolid.Directrix\IfcIndexedPolyCurve.Segments))); END_ENTITY;