IFC 4.3.2.20251031 (IFC4X3_ADD2) under development

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.A

8.9.2.7.3 形式化表示(Formal representation)

TYPE IfcDimensionCount = INTEGER;
 WHERE
	 WR1 : { 0 < SELF <= 3 };
END_TYPE;

8.9.2.7.4 参考文献