IFC 4.3.0.0 (IFC4X3) final

8.20.6.1 IfcBooleanChoose

8.20.6.1.1 Semantic definition

Returns the first choice, if TRUE, otherwise the second choice.

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 References