8.14.3.10 IfcPresentationLayerWithStyle（带样式表现层）
8.14.3.10.1 语义定义（Semantic definition）
IfcPresentationLayerWithStyle（带样式表现层）扩展了表现层分配功能，具备定义可见性控制、访问控制和通用样式信息的能力。
可见性控制允许将层定义为"开启"或"关闭"，和/或"冻结"或"未冻结"。访问控制允许通过将层设置为"已阻止"或"未阻止"来阻止对图形实体的操作。可以为层提供通用样式信息。
8.14.3.10.2 实体继承（Entity inheritance）
8.14.3.10.3 特性（Attributes）
| # | 特性（Attributes） | 类型 | 描述 |
|---|---|---|---|
| IfcPresentationLayerAssignment (4) | |||
| 1 | Name | IfcLabel |
图层名称。 |
| 2 | Description | OPTIONAL IfcText |
图层的附加描述。 |
| 3 | AssignedItems | SET [1:?] OF IfcLayeredItem |
分配给此图层的分层项集合。 |
| 4 | Identifier | OPTIONAL IfcIdentifier |
分配给图层的（内部）标识符。 |
| 点击显示 4 个隐藏的继承特性 点击隐藏 4 个继承特性 | |||
| IfcPresentationLayerWithStyle (4) | |||
| 5 | LayerOn | IfcLogical |
逻辑设置，TRUE 表示层设置为"开启"，FALSE 表示层设置为"关闭"，UNKNOWN 表示此类信息不可用。 |
| 6 | LayerFrozen | IfcLogical |
逻辑设置，TRUE 表示层设置为"冻结"，FALSE 表示层设置为"未冻结"，UNKNOWN 表示此类信息不可用。 |
| 7 | LayerBlocked | IfcLogical |
逻辑设置，TRUE 表示层设置为"已阻止"，FALSE 表示层设置为"未阻止"，UNKNOWN 表示此类信息不可用。 |
| 8 | LayerStyles | SET [0:?] OF IfcPresentationStyle |
将表现样式分配给层，为表现项提供默认样式。 |
8.14.3.10.4 形式化命题（Formal propositions）
| 名称 | 描述 |
|---|---|
| ApplicableOnlyToItems |
IfcPresentationLayerWithStyle 应仅用于分配 IfcGeometricRepresentationItem 的子类型和 IfcMappedItem。在 AssignedItem 集合中不应存在 IfcRepresentation 子类型的实例。 |
|
|
8.14.3.10.5 形式化表示（Formal representation）
ENTITY IfcPresentationLayerWithStyle
SUBTYPE OF (IfcPresentationLayerAssignment);
LayerOn : IfcLogical;
LayerFrozen : IfcLogical;
LayerBlocked : IfcLogical;
LayerStyles : SET [0:?] OF IfcPresentationStyle;
WHERE
ApplicableOnlyToItems : SIZEOF(QUERY(temp <* AssignedItems | (SIZEOF(TYPEOF(temp) * ['IFC4X3_DEV_62887e3f.IfcGeometricRepresentationItem','IFC4X3_DEV_62887e3f.IfcMappedItem']) >= 1))) = SIZEOF(AssignedItems);
END_ENTITY;