8.16.3.13 IfcPropertyTableValue（属性表值）

8.16.3.13.1 语义定义（Semantic definition）

IfcPropertyTableValue 是一种属性，其值范围由具有两个（数值或描述性）值列表的属性对象定义。这些值指定了一个包含两列的表格。定义值提供第一列并为定义值（第二列）建立范围。可选的 Expression 属性可以给出用于推导范围值的方程，但这仅用于提供信息。

IfcPropertyTableValue 定义了一个定义/被定义属性值组合，其中给出了属性名称、包含定义值和被定义值的表格及其度量类型（以及可选的用于定义值和被定义值的单位）。

单位由 DefiningUnit 和 DefinedUnit 属性处理，参见表 8.16.3.13.A 中的表格值属性示例：

• 如果未给出 DefiningUnit 或 DefinedUnit 属性，则单位已由 IfcMeasureValue 或 IfcDerivedMeasureValue 的类型隐含。关联的单位可以在项目级别全局定义的 IfcUnitAssignment 中找到（IfcProject.UnitsInContext）。
• 如果给出了 DefiningUnit 或 DefinedUnit 属性，则单位属性所分配的单位将覆盖全局分配的单位。

IfcPropertyTableValue 允许为属性描述指定一个定义值/被定义值对的表格。可选属性 CurveInterpolation 允许确定两个给定值之间的区间插值方式。

非正式命题

1. DefinedValues 列表和 DefiningValues 列表是对应的列表。

8.16.3.13.2 实体继承（Entity inheritance）

1. • IfcPropertyAbstraction
2. • IfcProperty
   • IfcExtendedProperties
   • IfcPreDefinedProperties
   • IfcPropertyEnumeration
3. • IfcSimpleProperty
   • IfcComplexProperty
4. • IfcPropertyTableValue
   • IfcPropertyBoundedValue
   • IfcPropertyEnumeratedValue
   • IfcPropertyListValue
   • IfcPropertyReferenceValue
   • IfcPropertySingleValue

8.16.3.13.3 特性（Attributes）

8.16.3.13.4 形式化命题（Formal propositions）

(NOT(EXISTS(DefiningValues)) AND NOT(EXISTS(DefinedValues)))
OR (SIZEOF(DefiningValues) = SIZEOF(DefinedValues))

NOT(EXISTS(DefiningValues)) OR 
(SIZEOF(QUERY(temp <* SELF.DefiningValues | TYPEOF(temp) <> TYPEOF(SELF.DefiningValues[1])
)) = 0)

NOT(EXISTS(DefinedValues)) OR 
(SIZEOF(QUERY(temp <* SELF.DefinedValues | TYPEOF(temp) <> TYPEOF(SELF.DefinedValues[1])
)) = 0)

8.16.3.13.5 形式化表示（Formal representation）

ENTITY IfcPropertyTableValue
 SUBTYPE OF (IfcSimpleProperty);
	DefiningValues : OPTIONAL LIST [1:?] OF UNIQUE IfcValue;
	DefinedValues : OPTIONAL LIST [1:?] OF IfcValue;
	Expression : OPTIONAL IfcText;
	DefiningUnit : OPTIONAL IfcUnit;
	DefinedUnit : OPTIONAL IfcUnit;
	CurveInterpolation : OPTIONAL IfcCurveInterpolationEnum;
 WHERE
	WR21 : (NOT(EXISTS(DefiningValues)) AND NOT(EXISTS(DefinedValues)))
OR (SIZEOF(DefiningValues) = SIZEOF(DefinedValues));
	WR22 : NOT(EXISTS(DefiningValues)) OR 
(SIZEOF(QUERY(temp <* SELF.DefiningValues | TYPEOF(temp) <> TYPEOF(SELF.DefiningValues[1])
)) = 0);
	WR23 : NOT(EXISTS(DefinedValues)) OR 
(SIZEOF(QUERY(temp <* SELF.DefinedValues | TYPEOF(temp) <> TYPEOF(SELF.DefinedValues[1])
)) = 0);
END_ENTITY;

8.16.3.13.6 参考（References）

• IfcSimpleProperty