8.11.2.108 IfcValue(值)
8.11.2.108.1 语义定义(Semantic definition)
IfcValue 是一种选择类型,用于在更专业的选择类型 IfcSimpleValue、IfcMeasureValue 和 IfcDerivedMeasureValue 之间进行选择。
选择
- IfcSimpleValue 用于简单数据类型基本定义类型的选择类型。
- IfcMeasureValue 用于 ISO 10303-41 基本度量类型的选择类型。
- IfcDerivedMeasureValue 用于派生度量类型的选择类型。
8.11.2.108.2 类型值
8.11.2.108.3 形式化表示(Formal representation)
TYPE IfcValue = SELECT
(IfcDerivedMeasureValue
,IfcMeasureValue
,IfcSimpleValue);
END_TYPE;