IFC 4.3.0.0 (IFC4X3) final

8.18.6.2 IfcSameValidPrecision

8.18.6.2.1 Semantic definition

The function compares the epsilon values (given as Precision at IfcGeometricRepresentationContext and ensures that they are the same (with a derivation tolerance) and within reasonable min and max values.

8.18.6.2.2 Formal representation

FUNCTION IfcSameValidPrecision
   (Epsilon1, Epsilon2 : REAL) : LOGICAL ;
  LOCAL
    ValidEps1, ValidEps2 : REAL;
    DefaultEps           : REAL := 0.000001;
    DerivationOfEps      : REAL := 1.001;
    UpperEps             : REAL := 1.0;
  END_LOCAL;
  
    ValidEps1 := NVL(Epsilon1, DefaultEps);
    ValidEps2 := NVL(Epsilon2, DefaultEps);
    RETURN ((0.0 < ValidEps1) AND (ValidEps1 <= (DerivationOfEps * ValidEps2)) AND 
            (ValidEps2 <= (DerivationOfEps * ValidEps1)) AND (ValidEps2 < UpperEps));

END_FUNCTION;

8.18.6.2.3 References