0029488: Regression: boolean operation " general fuse" creates solid containing 5 not connected shells lying on the one level.

Boolean Operations - when checking two faces with the same bounds on Same Domain, take into account possible deviation of the edges from the faces surfaces.

Test cases for the issue.

src/BOPTools/BOPTools_AlgoTools.cxx

@@ -1094,46 +1094,61 @@ Standard_Boolean BOPTools_AlgoTools::AreFacesSameDomain
    Handle(IntTools_Context)& theContext,
    const Standard_Real theFuzz)
 {
-  Standard_Boolean bFlag;
+  Standard_Boolean bFacesSD = Standard_False;
-  Standard_Integer iErr;
+
-  Standard_Real aTolF1, aTolF2, aTol;
+  // The idea is to find a point inside the first face
-  gp_Pnt2d aP2D;
+  // and check its validity for the second face.
-  gp_Pnt aP;
+  // If valid - the faces are same domain.
-  TopoDS_Face aF1, aF2;
+
-  TopoDS_Edge aE1;
+  gp_Pnt aP1;
-  TopExp_Explorer aExp;
+  gp_Pnt2d aP2D1;
-  Standard_Real aFuzz1 = (theFuzz > Precision::Confusion() ? theFuzz : Precision::Confusion());
+  // Find point inside the first face
-  //
+  Standard_Integer iErr =
-  bFlag=Standard_False;
+    BOPTools_AlgoTools3D::PointInFace(theF1, aP1, aP2D1, theContext);
-  //
+
-  aF1=theF1;
+  if (iErr != 0)
-  aF1.Orientation(TopAbs_FORWARD);
+  {
-  aF2=theF2;
+    // unable to find the point
-  aF2.Orientation(TopAbs_FORWARD);
+    return bFacesSD;
-  //
+  }
-  aTolF1=BRep_Tool::Tolerance(aF1);
+
-  // 1
+  // Check validity of the point for second face
-  aExp.Init(aF1, TopAbs_EDGE);
+
-  for (; aExp.More(); aExp.Next()) {
+  // Compute the tolerance to check the validity -
-    aE1=(*(TopoDS_Edge*)(&aExp.Current()));
+  // sum of tolerance of faces and fuzzy tolerance
-    if (!BRep_Tool::Degenerated(aE1)) {
+
-      Standard_Real aTolE = BRep_Tool::Tolerance(aE1);
+  // Compute the tolerance of the faces, taking into account the deviation
-      if (aTolE > aTolF1) {
+  // of the edges from the surfaces
-        aTolF1 = aTolE;
+  Standard_Real aTolF1 = BRep_Tool::Tolerance(theF1),
+                aTolF2 = BRep_Tool::Tolerance(theF2);
+
+  // Find maximal tolerance of edges.
+  // The faces should have the same boundaries, thus
+  // it does not matter which face to explore.
+  {
+    Standard_Real aTolEMax = -1.;
+    TopExp_Explorer anExpE(theF1, TopAbs_EDGE);
+    for (; anExpE.More(); anExpE.Next())
+    {
+      const TopoDS_Edge& aE = TopoDS::Edge(anExpE.Current());
+      if (!BRep_Tool::Degenerated(aE))
+      {
+        Standard_Real aTolE = BRep_Tool::Tolerance(aE);
+        if (aTolE > aTolEMax)
+          aTolEMax = aTolE;
       }
     }
+    if (aTolEMax > aTolF1) aTolF1 = aTolEMax;
+    if (aTolEMax > aTolF2) aTolF2 = aTolEMax;
   }
-  // 2
+
-  aTolF2=BRep_Tool::Tolerance(aF2);
+  // Checking criteria
-  aTol = aTolF1 + aTolF2 + aFuzz1;
+  Standard_Real aTol = aTolF1 + aTolF2 + Max(theFuzz, Precision::Confusion());
-  //
+
-  iErr = BOPTools_AlgoTools3D::PointInFace(aF1, aP, aP2D,
+  // Project and classify the point on second face
-                                           theContext);
+  bFacesSD = theContext->IsValidPointForFace(aP1, theF2, aTol);
-  if (!iErr) {
+
-    bFlag=theContext->IsValidPointForFace(aP, aF2, aTol);
+  return bFacesSD;
-  }
-  //
-  return bFlag;
 }
 
 //=======================================================================

tests/bugs/modalg_7/bug29488_1

@@ -0,0 +1,16 @@
+puts "========"
+puts "OCC29488"
+puts "========"
+puts ""
+#################################################
+# Regression: boolean operation " general fuse" creates solid containing 5 not connected shells lying on the one level
+#################################################
+
+restore [locate_data_file bug29488_shapes.brep] s
+eval mkvolume result [lrange [explode s] 1 end] 
+
+checkshape result
+checknbshapes result -wire 77 -face 77 -shell 1 -solid 1
+checkprops result -s 3073.39 -v 10240.8 
+
+checkview -display result -2d -path ${imagedir}/${test_image}.png

tests/bugs/modalg_7/bug29488_2

@@ -0,0 +1,19 @@
+puts "========"
+puts "OCC29488"
+puts "========"
+puts ""
+#################################################
+# Regression: boolean operation " general fuse" creates solid containing 5 not connected shells lying on the one level
+#################################################
+
+restore [locate_data_file bug29488_shapes.brep] s
+
+bclearobjects
+bcleartools
+eval baddobjects [explode s]
+bfillds
+bbuild result
+
+checkshape result
+checknbshapes result -wire 401 -face 377 -shell 10 -solid 2
+checkprops result -s 77135.9 -v 246693