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.3 形式化表示
TYPE IfcBenchmarkEnum = ENUMERATION OF
(EQUALTO
,GREATERTHAN
,GREATERTHANOREQUALTO
,INCLUDEDIN
,INCLUDES
,LESSTHAN
,LESSTHANOREQUALTO
,NOTEQUALTO
,NOTINCLUDEDIN
,NOTINCLUDES);
END_TYPE;