IFC 4.3.2.20251031 (IFC4X3_ADD2) under development

8.20.6.1 IfcBooleanChoose(布尔选择)

8.20.6.1.1 语义定义(Semantic definition)

如果为 TRUE,则返回第一个选项,否则返回第二个选项。

注意 根据 ISO/CD 10303-42:1992 的定义 此函数根据布尔输入参数的值返回两个选项之一。这两个选项也是输入参数。

注意 函数改编自 ISO10303-42 中定义的 boolean_choose

8.20.6.1.2 形式化表示(Formal representation)

FUNCTION IfcBooleanChoose
(B : BOOLEAN ;
     Choice1, Choice2 : GENERIC : Item) : GENERIC : Item;
  IF B THEN
     RETURN (Choice1);
  ELSE
     RETURN (Choice2);
  END_IF;

END_FUNCTION;

8.20.6.1.3 参考文献