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;