IFC 4.3.2.20251031 (IFC4X3_ADD2) under development

8.9.6.21 IfcSameValue(相同值)

8.9.6.21.1 语义定义(Semantic definition)

该函数比较两个数值并确保它们相同(具有 epsilon 精度因子)。在函数中,使用了以下有疑问的临时值:0.000001 作为默认精度 (1E-6)

8.9.6.21.2 形式化表示(Formal representation)

FUNCTION IfcSameValue
 (Value1, Value2 : REAL; Epsilon : REAL)
 : LOGICAL;
  LOCAL
    ValidEps    : REAL;
    DefaultEps  : REAL := 0.000001;
  END_LOCAL;
  
  ValidEps := NVL(Epsilon, DefaultEps);
  RETURN ((Value1 + ValidEps > Value2) AND (Value1 < Value2 + ValidEps));

END_FUNCTION;

8.9.6.21.3 参考文献