IFC 4.3.2.20251031 (IFC4X3_ADD2) under development

8.8.3.34 IfcSectionedSolid(截面实体)

AbV ⓘ

抽象 该定义可能不会被直接实例化。

8.8.3.34.1 语义定义(Semantic definition)

IfcSectionedSolid 是一种抽象基类,用于定义通过沿准线扫掠可能变化的横截面而构建的实体。

8.8.3.34.2 实体继承(Entity inheritance)

8.8.3.34.3 特性(Attributes)

# 特性(Attributes) 类型 描述
IfcRepresentationItem (2)
LayerAssignment SET [0:1] OF IfcPresentationLayerAssignment FOR AssignedItems

将表示项分配给单个或多个层。LayerAssignments 可以覆盖其所在的 IfcRepresentationItems 列表中的 LayerAssignments

StyledByItem SET [0:1] OF IfcStyledItem FOR Item

引用为表示提供表现信息的 IfcStyledItem,例如,为几何曲线提供曲线样式,包括颜色和厚度。

IfcSolidModel (1)
* Dim IfcDimensionCount

此属性是形式化派生的

3

本类的空间维度,恒为3。

点击显示 3 个隐藏的继承特性 点击隐藏 3 个继承特性
IfcSectionedSolid (2)
1 Directrix IfcCurve

用于定义扫掠操作的曲线。

2 CrossSections LIST [2:?] OF IfcProfileDef

沿 Directrix 依次排列的横截面列表。

表 8.8.3.34.A

8.8.3.34.4 形式化命题(Formal propositions)

名称 描述
ConsistentProfileTypes

无可用描述

SIZEOF(QUERY(temp <* CrossSections | CrossSections[1].ProfileType <> temp.ProfileType)) = 0
DirectrixIs3D

作为基础准线的曲线实体应具有三维维度。

Directrix.Dim = 3
SectionsSameType

每个截面的实体类型必须相同。

SIZEOF(QUERY(temp <* CrossSections | TYPEOF(CrossSections[1]) :<>: TYPEOF(temp))) = 0
表 8.8.3.34.B

8.8.3.34.5 形式化表示(Formal representation)

ENTITY IfcSectionedSolid
 ABSTRACT SUPERTYPE OF (ONEOF
	(IfcSectionedSolidHorizontal))
 SUBTYPE OF (IfcSolidModel);
	Directrix : IfcCurve;
	CrossSections : LIST [2:?] OF IfcProfileDef;
 WHERE
	ConsistentProfileTypes : SIZEOF(QUERY(temp <* CrossSections | CrossSections[1].ProfileType <> temp.ProfileType)) = 0;
	DirectrixIs3D : Directrix.Dim = 3;
	SectionsSameType : SIZEOF(QUERY(temp <* CrossSections | TYPEOF(CrossSections[1]) :<>: TYPEOF(temp))) = 0;
END_ENTITY;

8.8.3.34.6 参考文献