IFC 4.3.2.20260714 (IFC4X3_ADD2) under development

8.3.2.1 IfcBenchmarkEnum(基准枚举)

8.3.2.1.1 语义定义

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

沿革 新增枚举于 IFC2.0

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 形式化表示

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

8.3.2.1.4 参考