8.9.2.7 IfcDimensionCount(维度计数)
8.9.2.7.1 语义定义(Semantic definition)
IfcDimensionCount 定义了坐标空间的维度。出于本规范的目的,其维度限制为 1、2 或 3。
8.9.2.7.2 形式化命题(Formal propositions)
| WR1 | <html><body><p>维度计数应为 1 到 3 之间的整数。注:这是 IFC 的进一步约束,STEP 中不存在上限。</p></body></html>{ 0 < SELF <= 3 }
|
8.9.2.7.3 形式化表示(Formal representation)
TYPE IfcDimensionCount = INTEGER;
WHERE
WR1 : { 0 < SELF <= 3 };
END_TYPE;
8.9.2.7.4 参考文献
- IfcBooleanResult
- IfcBoundingBox
- IfcCartesianPointList
- IfcCartesianTransformationOperator
- IfcCsgPrimitive3D
- IfcCurve
- IfcCurveDim
- IfcDirection
- IfcFaceBasedSurfaceModel
- IfcGeometricRepresentationContext
- IfcGeometricRepresentationSubContext
- IfcGeometricSet
- IfcHalfSpaceSolid
- IfcPlacement
- IfcPoint
- IfcPointDim
- IfcPointListDim
- IfcSectionedSpine
- IfcSegment
- IfcSegmentDim
- IfcShellBasedSurfaceModel
- IfcSolidModel
- IfcSurface
- IfcTessellatedFaceSet
- IfcVector