IFC 4.3.2.20251031 (IFC4X3_ADD2) under development

8.3.2.5 IfcObjectiveEnum(目标枚举)

8.3.2.5.1 语义定义(Semantic definition)

IfcObjectiveEnum 是一个枚举,用于确定约束需要满足的目标目的。

8.3.2.5.2 类型值

类型 描述
CODECOMPLIANCE

目标为确保符合规范合规条款的约束。

CODEWAIVER

目标为标识一项协议,表明规范合规要求(豁免)将不被强制执行的约束。

DESIGNINTENT

目标为确保符合设计意图条款的约束。

EXTERNAL

目标为与外部源(如文件)同步数据的约束。

HEALTHANDSAFETY

目标为确保符合健康与安全条款的约束。

MERGECONFLICT

目标为解决冲突(如合并来自多个来源的数据)的约束。

MODELVIEW

目标为确保数据符合模型视图定义的约束。

PARAMETER

目标为基于其他引用值计算某个值的约束。

REQUIREMENT

目标为确保符合项目需求条款的约束。

SPECIFICATION

目标为确保符合规范条款的约束。

TRIGGERCONDITION

目标为指示一个极限值,超出该值则对象状态需要特定形式关注的约束。

USERDEFINED

用户定义。

NOTDEFINED

未定义。

表 8.3.2.5.A

8.3.2.5.3 形式化表示(Formal representation)

TYPE IfcObjectiveEnum = ENUMERATION OF
	(CODECOMPLIANCE
	,CODEWAIVER
	,DESIGNINTENT
	,EXTERNAL
	,HEALTHANDSAFETY
	,MERGECONFLICT
	,MODELVIEW
	,PARAMETER
	,REQUIREMENT
	,SPECIFICATION
	,TRIGGERCONDITION
	,USERDEFINED
	,NOTDEFINED);
END_TYPE;

8.3.2.5.4 参考文献