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;