8.3.2.1 IfcBenchmarkEnum（基准枚举）

8.3.2.1.1 语义定义（Semantic definition）

IfcBenchmarkEnum 是一个枚举类型，用于标识可与约束值结合应用的逻辑比较器。

8.3.2.1.2 类型值

类型	描述
`EQUALTO`	标识值必须等于约束所设定的值。
`GREATERTHAN`	标识值必须大于约束所设定的值。
`GREATERTHANOREQUALTO`	标识值必须大于或等于约束所设定的值。
`INCLUDEDIN`	标识值（单个项）必须包含在约束所设定的聚合（集合、列表或表格）中。
`INCLUDES`	标识聚合（集合、列表或表格）必须包含约束所设定的值（单个项）。
`LESSTHAN`	标识值必须小于约束所设定的值。
`LESSTHANOREQUALTO`	标识值必须小于或等于约束所设定的值。
`NOTEQUALTO`	标识值必须不等于约束所设定的值。
`NOTINCLUDEDIN`	标识值（单个项）不得包含在约束所设定的聚合（集合、列表或表格）中。
`NOTINCLUDES`	标识聚合（集合、列表或表格）不得包含约束所设定的值（单个项）。

表 8.3.2.1.A

8.3.2.1.3 形式化表示（Formal representation）

TYPE IfcBenchmarkEnum = ENUMERATION OF
	(EQUALTO
	,GREATERTHAN
	,GREATERTHANOREQUALTO
	,INCLUDEDIN
	,INCLUDES
	,LESSTHAN
	,LESSTHANOREQUALTO
	,NOTEQUALTO
	,NOTINCLUDEDIN
	,NOTINCLUDES);
END_TYPE;

8.3.2.1.4 参考文献

IfcMetric