mirror of
https://git.dev.opencascade.org/repos/occt.git
synced 2025-04-10 18:51:21 +03:00
9f88d1ba02
1. Unification of the usage of the BRepAdaptor_Surface in Boolean Operations algorithm. For each face when it is necessary the Adaptor is initialized only once and stored in Context. For that purpose the new IntTools_Context::SurfaceAdaptor(const TopoDS_Face&) method has been implemented. To provide possibility to take the Adaptor from the context, the context has been added as a parameter in following methods: BOPTools_AlgoTools::MakePCurve() BOPTools_AlgoTools::Sence() BOPTools_AlgoTools2D::BuildPCurveForEdgeOnFace() BOPTools_AlgoTools2D::PointOnSurface BOPTools_AlgoTools2D::CurveOnSurface BOPTools_AlgoTools2D::AdjustPCurveOnFace BOPTools_AlgoTools2D::Make2D BOPTools_AlgoTools2D::MakePCurveOnFace BOPTools_AlgoTools3D::GetNormalToFaceOnEdge It is also possible now to pass the context into BOPAlgo_WireSplitter algorithm. Also, the new IntTools_Context::UVBounds(const TopoDS_Face&) method has been implemented to get the UV bounds of a face. 2. Additional improvement is a calculation of reduced intersection range only for the intersection type VERTEX during computation of Edge/Face interference. 3. The methods IntTools_EdgeFace::Prepare() and IntTools_EdgeFace::FindProjectableRoot() and the fields IntTools_EdgeFace::myProjectableRanges and IntTools_EdgeFace::myFClass2d have been removed as obsolete. 4. Test cases for the issue.
883 lines
23 KiB
C++
883 lines
23 KiB
C++
// Created by: Peter KURNEV
|
|
// Copyright (c) 2010-2012 OPEN CASCADE SAS
|
|
// Copyright (c) 2007-2010 CEA/DEN, EDF R&D, OPEN CASCADE
|
|
// Copyright (c) 2003-2007 OPEN CASCADE, EADS/CCR, LIP6, CEA/DEN, CEDRAT,
|
|
// EDF R&D, LEG, PRINCIPIA R&D, BUREAU VERITAS
|
|
//
|
|
//
|
|
// This file is part of Open CASCADE Technology software library.
|
|
//
|
|
// This library is free software; you can redistribute it and/or modify it under
|
|
// the terms of the GNU Lesser General Public License version 2.1 as published
|
|
// by the Free Software Foundation, with special exception defined in the file
|
|
// OCCT_LGPL_EXCEPTION.txt. Consult the file LICENSE_LGPL_21.txt included in OCCT
|
|
// distribution for complete text of the license and disclaimer of any warranty.
|
|
//
|
|
// Alternatively, this file may be used under the terms of Open CASCADE
|
|
// commercial license or contractual agreement.
|
|
|
|
#include <Bnd_Box.hxx>
|
|
#include <BOPAlgo_BuilderFace.hxx>
|
|
#include <BOPAlgo_WireEdgeSet.hxx>
|
|
#include <BOPAlgo_WireSplitter.hxx>
|
|
#include <BOPCol_Box2DBndTree.hxx>
|
|
#include <BOPCol_DataMapOfShapeListOfShape.hxx>
|
|
#include <BOPCol_DataMapOfShapeShape.hxx>
|
|
#include <BOPCol_IndexedDataMapOfShapeListOfShape.hxx>
|
|
#include <BOPCol_ListOfShape.hxx>
|
|
#include <BOPCol_MapOfShape.hxx>
|
|
#include <BOPCol_MapOfOrientedShape.hxx>
|
|
#include <BOPTools.hxx>
|
|
#include <BOPTools_AlgoTools.hxx>
|
|
#include <BOPTools_AlgoTools2D.hxx>
|
|
#include <BRep_Builder.hxx>
|
|
#include <BRep_Tool.hxx>
|
|
#include <BRepBndLib.hxx>
|
|
#include <BRepTools.hxx>
|
|
#include <Geom_Surface.hxx>
|
|
#include <gp_Dir.hxx>
|
|
#include <gp_Pln.hxx>
|
|
#include <gp_Pnt.hxx>
|
|
#include <gp_Pnt2d.hxx>
|
|
#include <gp_Vec.hxx>
|
|
#include <IntTools_Context.hxx>
|
|
#include <IntTools_FClass2d.hxx>
|
|
#include <NCollection_DataMap.hxx>
|
|
#include <NCollection_UBTreeFiller.hxx>
|
|
#include <TColStd_MapIntegerHasher.hxx>
|
|
#include <TopAbs.hxx>
|
|
#include <TopExp.hxx>
|
|
#include <TopExp_Explorer.hxx>
|
|
#include <TopLoc_Location.hxx>
|
|
#include <TopoDS_Edge.hxx>
|
|
#include <TopoDS_Face.hxx>
|
|
#include <TopoDS_Iterator.hxx>
|
|
#include <TopoDS_Shape.hxx>
|
|
#include <TopoDS_Vertex.hxx>
|
|
#include <TopoDS_Wire.hxx>
|
|
|
|
//
|
|
//
|
|
//
|
|
//
|
|
//
|
|
//
|
|
static
|
|
Standard_Boolean IsGrowthWire(const TopoDS_Shape& ,
|
|
const BOPCol_IndexedMapOfShape& );
|
|
|
|
static
|
|
Standard_Boolean IsInside(const TopoDS_Shape& ,
|
|
const TopoDS_Shape& ,
|
|
Handle(IntTools_Context)& );
|
|
static
|
|
void MakeInternalWires(const BOPCol_IndexedMapOfShape& ,
|
|
BOPCol_ListOfShape& );
|
|
static
|
|
void GetWire(const TopoDS_Shape& ,
|
|
TopoDS_Shape& );
|
|
//
|
|
|
|
//
|
|
//=======================================================================
|
|
//class : BOPAlgo_ShapeBox2D
|
|
//purpose : Auxiliary class
|
|
//=======================================================================
|
|
class BOPAlgo_ShapeBox2D {
|
|
public:
|
|
BOPAlgo_ShapeBox2D() {
|
|
myIsHole=Standard_False;
|
|
};
|
|
//
|
|
~BOPAlgo_ShapeBox2D() {
|
|
};
|
|
//
|
|
void SetShape(const TopoDS_Shape& aS) {
|
|
myShape=aS;
|
|
};
|
|
//
|
|
const TopoDS_Shape& Shape()const {
|
|
return myShape;
|
|
};
|
|
//
|
|
void SetBox2D(const Bnd_Box2d& aBox2D) {
|
|
myBox2D=aBox2D;
|
|
};
|
|
//
|
|
const Bnd_Box2d& Box2D()const {
|
|
return myBox2D;
|
|
};
|
|
//
|
|
void SetIsHole(const Standard_Boolean bFlag) {
|
|
myIsHole=bFlag;
|
|
};
|
|
//
|
|
Standard_Boolean IsHole()const {
|
|
return myIsHole;
|
|
};
|
|
//
|
|
protected:
|
|
Standard_Boolean myIsHole;
|
|
TopoDS_Shape myShape;
|
|
Bnd_Box2d myBox2D;
|
|
};
|
|
//
|
|
typedef NCollection_IndexedDataMap
|
|
<Standard_Integer,
|
|
BOPAlgo_ShapeBox2D,
|
|
TColStd_MapIntegerHasher> BOPAlgo_IndexedDataMapOfIntegerShapeBox2D;
|
|
|
|
typedef NCollection_IndexedDataMap
|
|
<TopoDS_Shape,
|
|
TopoDS_Shape,
|
|
TopTools_ShapeMapHasher> BOPCol_IndexedDataMapOfShapeShape;
|
|
//
|
|
//=======================================================================
|
|
//function :
|
|
//purpose :
|
|
//=======================================================================
|
|
BOPAlgo_BuilderFace::BOPAlgo_BuilderFace()
|
|
:
|
|
BOPAlgo_BuilderArea()
|
|
{
|
|
myOrientation=TopAbs_EXTERNAL;
|
|
}
|
|
//=======================================================================
|
|
//function :
|
|
//purpose :
|
|
//=======================================================================
|
|
BOPAlgo_BuilderFace::BOPAlgo_BuilderFace
|
|
(const Handle(NCollection_BaseAllocator)& theAllocator)
|
|
:
|
|
BOPAlgo_BuilderArea(theAllocator)
|
|
{
|
|
myOrientation=TopAbs_EXTERNAL;
|
|
}
|
|
//=======================================================================
|
|
//function : ~
|
|
//purpose :
|
|
//=======================================================================
|
|
BOPAlgo_BuilderFace::~BOPAlgo_BuilderFace()
|
|
{
|
|
}
|
|
//=======================================================================
|
|
//function : SetFace
|
|
//purpose :
|
|
//=======================================================================
|
|
void BOPAlgo_BuilderFace::SetFace(const TopoDS_Face& theFace)
|
|
{
|
|
myOrientation=theFace.Orientation();
|
|
myFace=theFace;
|
|
myFace.Orientation(TopAbs_FORWARD);
|
|
}
|
|
//=======================================================================
|
|
//function : Orientation
|
|
//purpose :
|
|
//=======================================================================
|
|
TopAbs_Orientation BOPAlgo_BuilderFace::Orientation()const
|
|
{
|
|
return myOrientation;
|
|
}
|
|
//=======================================================================
|
|
//function : Face
|
|
//purpose :
|
|
//=======================================================================
|
|
const TopoDS_Face& BOPAlgo_BuilderFace::Face()const
|
|
{
|
|
return myFace;
|
|
}
|
|
//=======================================================================
|
|
//function : CheckData
|
|
//purpose :
|
|
//=======================================================================
|
|
void BOPAlgo_BuilderFace::CheckData()
|
|
{
|
|
myErrorStatus=0;
|
|
//
|
|
if (myFace.IsNull()) {
|
|
myErrorStatus=12;// Null face generix
|
|
return;
|
|
}
|
|
if (myContext.IsNull()) {
|
|
myContext = new IntTools_Context;
|
|
}
|
|
}
|
|
//=======================================================================
|
|
//function : Perform
|
|
//purpose :
|
|
//=======================================================================
|
|
void BOPAlgo_BuilderFace::Perform()
|
|
{
|
|
myErrorStatus=0;
|
|
//
|
|
CheckData();
|
|
if (myErrorStatus) {
|
|
return;
|
|
}
|
|
//
|
|
UserBreak();
|
|
//
|
|
PerformShapesToAvoid();
|
|
if (myErrorStatus) {
|
|
return;
|
|
}
|
|
//
|
|
UserBreak();
|
|
//
|
|
PerformLoops();
|
|
if (myErrorStatus) {
|
|
return;
|
|
}
|
|
//
|
|
UserBreak();
|
|
//
|
|
PerformAreas();
|
|
if (myErrorStatus) {
|
|
return;
|
|
}
|
|
//
|
|
UserBreak();
|
|
//
|
|
PerformInternalShapes();
|
|
if (myErrorStatus) {
|
|
return;
|
|
}
|
|
}
|
|
//=======================================================================
|
|
//function :PerformShapesToAvoid
|
|
//purpose :
|
|
//=======================================================================
|
|
void BOPAlgo_BuilderFace::PerformShapesToAvoid()
|
|
{
|
|
Standard_Boolean bFound;
|
|
Standard_Integer i, iCnt, aNbV, aNbE;
|
|
BOPCol_IndexedDataMapOfShapeListOfShape aMVE;
|
|
BOPCol_ListIteratorOfListOfShape aIt;
|
|
//
|
|
myShapesToAvoid.Clear();
|
|
//
|
|
iCnt=0;
|
|
for(;;) {
|
|
++iCnt;
|
|
bFound=Standard_False;
|
|
//
|
|
// 1. MEF
|
|
aMVE.Clear();
|
|
aIt.Initialize (myShapes);
|
|
for (; aIt.More(); aIt.Next()) {
|
|
const TopoDS_Shape& aE=aIt.Value();
|
|
if (!myShapesToAvoid.Contains(aE)) {
|
|
BOPTools::MapShapesAndAncestors(aE, TopAbs_VERTEX, TopAbs_EDGE, aMVE);
|
|
}
|
|
}
|
|
aNbV=aMVE.Extent();
|
|
//
|
|
// 2. myEdgesToAvoid
|
|
for (i=1; i<=aNbV; ++i) {
|
|
const TopoDS_Vertex& aV=(*(TopoDS_Vertex *)(&aMVE.FindKey(i)));
|
|
//
|
|
BOPCol_ListOfShape& aLE=aMVE.ChangeFromKey(aV);
|
|
aNbE=aLE.Extent();
|
|
if (!aNbE) {
|
|
continue;
|
|
}
|
|
//
|
|
const TopoDS_Edge& aE1=(*(TopoDS_Edge *)(&aLE.First()));
|
|
if (aNbE==1) {
|
|
if (BRep_Tool::Degenerated(aE1)) {
|
|
continue;
|
|
}
|
|
if (aV.Orientation()==TopAbs_INTERNAL) {
|
|
continue;
|
|
}
|
|
bFound=Standard_True;
|
|
myShapesToAvoid.Add(aE1);
|
|
}
|
|
else if (aNbE==2) {
|
|
const TopoDS_Edge& aE2=(*(TopoDS_Edge *)(&aLE.Last()));
|
|
if (aE2.IsSame(aE1)) {
|
|
TopoDS_Vertex aV1x, aV2x;
|
|
//
|
|
TopExp::Vertices(aE1, aV1x, aV2x);
|
|
if (aV1x.IsSame(aV2x)) {
|
|
continue;
|
|
}
|
|
bFound=Standard_True;
|
|
myShapesToAvoid.Add(aE1);
|
|
myShapesToAvoid.Add(aE2);
|
|
}
|
|
}
|
|
}// for (i=1; i<=aNbE; ++i) {
|
|
//
|
|
if (!bFound) {
|
|
break;
|
|
}
|
|
//
|
|
}//while (1)
|
|
//printf(" EdgesToAvoid=%d, iCnt=%d\n", EdgesToAvoid.Extent(), iCnt);
|
|
}
|
|
//=======================================================================
|
|
//function : PerformLoops
|
|
//purpose :
|
|
//=======================================================================
|
|
void BOPAlgo_BuilderFace::PerformLoops()
|
|
{
|
|
myErrorStatus=0;
|
|
//
|
|
Standard_Boolean bFlag;
|
|
Standard_Integer i, iErr, aNbEA;
|
|
BOPCol_ListIteratorOfListOfShape aIt;
|
|
BOPCol_IndexedDataMapOfShapeListOfShape aVEMap;
|
|
BOPCol_MapOfOrientedShape aMAdded;
|
|
TopoDS_Iterator aItW;
|
|
BRep_Builder aBB;
|
|
BOPAlgo_WireEdgeSet aWES(myAllocator);
|
|
BOPAlgo_WireSplitter aWSp(myAllocator);
|
|
//
|
|
// 1.
|
|
myLoops.Clear();
|
|
aWES.SetFace(myFace);
|
|
//
|
|
aIt.Initialize(myShapes);
|
|
for (; aIt.More(); aIt.Next()) {
|
|
const TopoDS_Shape& aE=aIt.Value();
|
|
if (!myShapesToAvoid.Contains(aE)) {
|
|
aWES.AddStartElement(aE);
|
|
}
|
|
}
|
|
//
|
|
aWSp.SetWES(aWES);
|
|
aWSp.SetRunParallel(myRunParallel);
|
|
aWSp.SetContext(myContext);
|
|
aWSp.Perform();
|
|
iErr=aWSp.ErrorStatus();
|
|
if (iErr) {
|
|
return;
|
|
}
|
|
//
|
|
const BOPCol_ListOfShape& aLW=aWES.Shapes();
|
|
aIt.Initialize (aLW);
|
|
for (; aIt.More(); aIt.Next()) {
|
|
const TopoDS_Shape& aW=aIt.Value();
|
|
myLoops.Append(aW);
|
|
}
|
|
// Post Treatment
|
|
BOPCol_MapOfOrientedShape aMEP;
|
|
//
|
|
// a. collect all edges that are in loops
|
|
aIt.Initialize (myLoops);
|
|
for (; aIt.More(); aIt.Next()) {
|
|
const TopoDS_Shape& aW=aIt.Value();
|
|
aItW.Initialize(aW);
|
|
for (; aItW.More(); aItW.Next()) {
|
|
const TopoDS_Shape& aE=aItW.Value();
|
|
aMEP.Add(aE);
|
|
}
|
|
}
|
|
//
|
|
// b. collect all edges that are to avoid
|
|
aNbEA = myShapesToAvoid.Extent();
|
|
for (i = 1; i <= aNbEA; ++i) {
|
|
const TopoDS_Shape& aE = myShapesToAvoid(i);
|
|
aMEP.Add(aE);
|
|
}
|
|
//
|
|
// c. add all edges that are not processed to myShapesToAvoid
|
|
aIt.Initialize (myShapes);
|
|
for (; aIt.More(); aIt.Next()) {
|
|
const TopoDS_Shape& aE=aIt.Value();
|
|
if (!aMEP.Contains(aE)) {
|
|
myShapesToAvoid.Add(aE);
|
|
}
|
|
}
|
|
//
|
|
// 2. Internal Wires
|
|
myLoopsInternal.Clear();
|
|
//
|
|
aNbEA = myShapesToAvoid.Extent();
|
|
for (i = 1; i <= aNbEA; ++i) {
|
|
const TopoDS_Shape& aEE = myShapesToAvoid(i);
|
|
BOPTools::MapShapesAndAncestors(aEE,
|
|
TopAbs_VERTEX,
|
|
TopAbs_EDGE,
|
|
aVEMap);
|
|
}
|
|
//
|
|
bFlag=Standard_True;
|
|
for (i = 1; (i <= aNbEA) && bFlag; ++i) {
|
|
const TopoDS_Shape& aEE = myShapesToAvoid(i);
|
|
if (!aMAdded.Add(aEE)) {
|
|
continue;
|
|
}
|
|
//
|
|
// make new wire
|
|
TopoDS_Wire aW;
|
|
aBB.MakeWire(aW);
|
|
aBB.Add(aW, aEE);
|
|
//
|
|
aItW.Initialize(aW);
|
|
for (; aItW.More()&&bFlag; aItW.Next()) {
|
|
const TopoDS_Edge& aE=(*(TopoDS_Edge *)(&aItW.Value()));
|
|
//
|
|
TopoDS_Iterator aItE(aE);
|
|
for (; aItE.More()&&bFlag; aItE.Next()) {
|
|
const TopoDS_Vertex& aV = (*(TopoDS_Vertex *)(&aItE.Value()));
|
|
const BOPCol_ListOfShape& aLE=aVEMap.FindFromKey(aV);
|
|
aIt.Initialize(aLE);
|
|
for (; aIt.More()&&bFlag; aIt.Next()) {
|
|
const TopoDS_Shape& aEx=aIt.Value();
|
|
if (aMAdded.Add(aEx)) {
|
|
aBB.Add(aW, aEx);
|
|
if(aMAdded.Extent()==aNbEA) {
|
|
bFlag=!bFlag;
|
|
}
|
|
}
|
|
}//for (; aIt.More(); aIt.Next()) {
|
|
}//for (; aItE.More(); aItE.Next()) {
|
|
}//for (; aItW.More(); aItW.Next()) {
|
|
aW.Closed(BRep_Tool::IsClosed(aW));
|
|
myLoopsInternal.Append(aW);
|
|
}//for (i = 1; (i <= aNbEA) && bFlag; ++i) {
|
|
}
|
|
//=======================================================================
|
|
//function : PerformAreas
|
|
//purpose :
|
|
//=======================================================================
|
|
void BOPAlgo_BuilderFace::PerformAreas()
|
|
{
|
|
Standard_Boolean bIsGrowth, bIsHole;
|
|
Standard_Integer k, aNbS, aNbHoles, aNbDMISB, m, aNbMSH, aNbInOutMap;
|
|
Standard_Real aTol;
|
|
TopLoc_Location aLoc;
|
|
Handle(Geom_Surface) aS;
|
|
BRep_Builder aBB;
|
|
TopoDS_Face aFace;
|
|
BOPCol_ListIteratorOfListOfInteger aItLI;
|
|
BOPCol_IndexedMapOfShape aMHE;
|
|
BOPCol_ListIteratorOfListOfShape aIt1;
|
|
BOPCol_IndexedDataMapOfShapeListOfShape aMSH;
|
|
BOPCol_IndexedDataMapOfShapeShape aInOutMap;
|
|
BOPAlgo_IndexedDataMapOfIntegerShapeBox2D aDMISB(100);
|
|
//
|
|
BOPCol_Box2DBndTreeSelector aSelector;
|
|
BOPCol_Box2DBndTree aBBTree;
|
|
NCollection_UBTreeFiller <Standard_Integer, Bnd_Box2d> aTreeFiller(aBBTree);
|
|
//
|
|
myErrorStatus=0;
|
|
aNbHoles=0;
|
|
//
|
|
aTol=BRep_Tool::Tolerance(myFace);
|
|
aS=BRep_Tool::Surface(myFace, aLoc);
|
|
//
|
|
myAreas.Clear();
|
|
//
|
|
if (myLoops.IsEmpty()) {
|
|
if (myContext->IsInfiniteFace(myFace)) {
|
|
aBB.MakeFace(aFace, aS, aLoc, aTol);
|
|
if (BRep_Tool::NaturalRestriction(myFace)) {
|
|
aBB.NaturalRestriction(aFace, Standard_True);
|
|
}
|
|
myAreas.Append(aFace);
|
|
}
|
|
return;
|
|
}
|
|
//
|
|
// 1. Growthes and Holes -> aDMISB: [Index/ShapeBox2D]
|
|
aIt1.Initialize(myLoops);
|
|
for (k=0 ; aIt1.More(); aIt1.Next(), ++k) {
|
|
Bnd_Box2d aBox2D;
|
|
//
|
|
const TopoDS_Shape& aWire=aIt1.Value();
|
|
//
|
|
aBB.MakeFace(aFace, aS, aLoc, aTol);
|
|
aBB.Add (aFace, aWire);
|
|
BRepTools::AddUVBounds(aFace, aBox2D);
|
|
//
|
|
bIsGrowth=IsGrowthWire(aWire, aMHE);
|
|
if (bIsGrowth) {
|
|
bIsHole=Standard_False;
|
|
}
|
|
else{
|
|
// check if a wire is a hole
|
|
IntTools_FClass2d& aClsf=myContext->FClass2d(aFace);
|
|
aClsf.Init(aFace, aTol);
|
|
//
|
|
bIsHole=aClsf.IsHole();
|
|
if (bIsHole) {
|
|
BOPTools::MapShapes(aWire, TopAbs_EDGE, aMHE);
|
|
//
|
|
bIsHole=Standard_True;
|
|
}
|
|
else {
|
|
bIsHole=Standard_False;
|
|
}
|
|
}
|
|
//
|
|
BOPAlgo_ShapeBox2D aSB2D;
|
|
//
|
|
aSB2D.SetShape(aFace);
|
|
aSB2D.SetBox2D(aBox2D);
|
|
aSB2D.SetIsHole(bIsHole);
|
|
//
|
|
aDMISB.Add(k, aSB2D);
|
|
}// for (k=0 ; aIt1.More(); aIt1.Next(), ++k) {
|
|
//
|
|
// 2. Prepare TreeFiller
|
|
aNbDMISB=aDMISB.Extent();
|
|
for (m=1; m<=aNbDMISB; ++m) {
|
|
k=aDMISB.FindKey(m);
|
|
const BOPAlgo_ShapeBox2D& aSB2D=aDMISB.FindFromIndex(m);
|
|
//
|
|
bIsHole=aSB2D.IsHole();
|
|
if (bIsHole) {
|
|
const Bnd_Box2d& aBox2D=aSB2D.Box2D();
|
|
aTreeFiller.Add(k, aBox2D);
|
|
++aNbHoles;
|
|
}
|
|
}
|
|
//
|
|
// 3. Shake TreeFiller
|
|
aTreeFiller.Fill();
|
|
//
|
|
// 4. Find outer growth shell that is most close
|
|
// to each hole shell
|
|
for (m=1; m<=aNbDMISB; ++m) {
|
|
const BOPAlgo_ShapeBox2D& aSB2D=aDMISB.FindFromIndex(m);
|
|
bIsHole=aSB2D.IsHole();
|
|
if (bIsHole) {
|
|
continue;
|
|
}
|
|
//
|
|
const Bnd_Box2d& aBox2DF=aSB2D.Box2D();
|
|
const TopoDS_Shape aF=aSB2D.Shape();
|
|
//
|
|
aSelector.Clear();
|
|
aSelector.SetBox(aBox2DF);
|
|
//
|
|
aNbS = aBBTree.Select(aSelector);
|
|
if (!aNbS) {
|
|
continue;
|
|
}
|
|
//
|
|
const BOPCol_ListOfInteger& aLI=aSelector.Indices();
|
|
//
|
|
aItLI.Initialize(aLI);
|
|
for (; aItLI.More(); aItLI.Next()) {
|
|
k=aItLI.Value();
|
|
const BOPAlgo_ShapeBox2D& aSB2Dk=aDMISB.FindFromKey(k);
|
|
const TopoDS_Shape& aHole=aSB2Dk.Shape();
|
|
//
|
|
if (!IsInside(aHole, aF, myContext)){
|
|
continue;
|
|
}
|
|
//
|
|
if (aInOutMap.Contains(aHole)){
|
|
TopoDS_Shape& aF2=aInOutMap.ChangeFromKey(aHole);
|
|
if (IsInside(aF, aF2, myContext)) {
|
|
aF2=aF;
|
|
}
|
|
}
|
|
else{
|
|
aInOutMap.Add(aHole, aF);
|
|
}
|
|
}
|
|
}// for (m=1; m<=aNbDMISB; ++m)
|
|
//
|
|
// 5.1 Map [Face/Holes] -> aMSH
|
|
aNbInOutMap=aInOutMap.Extent();
|
|
for (m=1; m<=aNbInOutMap; ++m) {
|
|
const TopoDS_Shape& aHole=aInOutMap.FindKey(m);
|
|
const TopoDS_Shape& aF=aInOutMap.FindFromIndex(m);
|
|
//
|
|
if (aMSH.Contains(aF)) {
|
|
BOPCol_ListOfShape& aLH=aMSH.ChangeFromKey(aF);
|
|
aLH.Append(aHole);
|
|
}
|
|
else {
|
|
BOPCol_ListOfShape aLH;
|
|
aLH.Append(aHole);
|
|
aMSH.Add(aF, aLH);
|
|
}
|
|
}
|
|
//
|
|
// 5.2. Add unused holes to the original face
|
|
if (aNbHoles != aNbInOutMap) {
|
|
Bnd_Box aBoxF;
|
|
BRepBndLib::Add(myFace, aBoxF);
|
|
if (aBoxF.IsOpenXmin() || aBoxF.IsOpenXmax() ||
|
|
aBoxF.IsOpenYmin() || aBoxF.IsOpenYmax() ||
|
|
aBoxF.IsOpenZmin() || aBoxF.IsOpenZmax()) {
|
|
//
|
|
BOPCol_ListOfShape anUnUsedHoles;
|
|
for (m = 1; m <= aNbDMISB; ++m) {
|
|
const BOPAlgo_ShapeBox2D& aSB2D=aDMISB.FindFromIndex(m);
|
|
if (aSB2D.IsHole()) {
|
|
const TopoDS_Shape& aHole = aSB2D.Shape();
|
|
if (!aInOutMap.Contains(aHole)) {
|
|
anUnUsedHoles.Append(aHole);
|
|
}
|
|
}
|
|
}
|
|
//
|
|
if (anUnUsedHoles.Extent()) {
|
|
aBB.MakeFace(aFace, aS, aLoc, aTol);
|
|
aMSH.Add(aFace, anUnUsedHoles);
|
|
//
|
|
BOPAlgo_ShapeBox2D aSB2D;
|
|
//
|
|
aSB2D.SetShape(aFace);
|
|
aSB2D.SetIsHole(Standard_False);
|
|
//
|
|
aDMISB.Add(aNbDMISB, aSB2D);
|
|
++aNbDMISB;
|
|
}
|
|
}
|
|
}
|
|
//
|
|
// 6. Add aHoles to Faces
|
|
aNbMSH=aMSH.Extent();
|
|
for (m=1; m<=aNbMSH; ++m) {
|
|
TopoDS_Face aF=(*(TopoDS_Face *)(&aMSH.FindKey(m)));
|
|
const BOPCol_ListOfShape& aLH=aMSH.FindFromIndex(m);
|
|
//
|
|
aIt1.Initialize(aLH);
|
|
for (; aIt1.More(); aIt1.Next()) {
|
|
TopoDS_Shape aWHole;
|
|
//
|
|
const TopoDS_Shape& aFHole=aIt1.Value();
|
|
GetWire(aFHole, aWHole);
|
|
aBB.Add (aF, aWHole);
|
|
}
|
|
//
|
|
// update classifier
|
|
aTol=BRep_Tool::Tolerance(aF);
|
|
IntTools_FClass2d& aClsf=myContext->FClass2d(aF);
|
|
aClsf.Init(aF, aTol);
|
|
}
|
|
//
|
|
// 7. Fill myAreas
|
|
// NB:These aNewFaces are draft faces that
|
|
// do not contain any internal shapes
|
|
for (m=1; m<=aNbDMISB; ++m) {
|
|
const BOPAlgo_ShapeBox2D& aSB2D=aDMISB.FindFromIndex(m);
|
|
bIsHole=aSB2D.IsHole();
|
|
if (!bIsHole) {
|
|
const TopoDS_Shape aF=aSB2D.Shape();
|
|
myAreas.Append(aF);
|
|
}
|
|
}
|
|
}
|
|
//=======================================================================
|
|
//function : GetWire
|
|
//purpose :
|
|
//=======================================================================
|
|
void GetWire(const TopoDS_Shape& aF, TopoDS_Shape& aW)
|
|
{
|
|
TopoDS_Shape aWx;
|
|
TopoDS_Iterator aIt;
|
|
//
|
|
aIt.Initialize(aF);
|
|
for (; aIt.More(); aIt.Next()) {
|
|
aW=aIt.Value();
|
|
}
|
|
}
|
|
//=======================================================================
|
|
//function : PerformInternalShapes
|
|
//purpose :
|
|
//=======================================================================
|
|
void BOPAlgo_BuilderFace::PerformInternalShapes()
|
|
{
|
|
myErrorStatus=0;
|
|
//
|
|
Standard_Integer aNbWI=myLoopsInternal.Extent();
|
|
if (!aNbWI) {// nothing to do
|
|
return;
|
|
}
|
|
//
|
|
//Standard_Real aTol;
|
|
Standard_Integer i;
|
|
BRep_Builder aBB;
|
|
BOPCol_ListIteratorOfListOfShape aIt1, aIt2;
|
|
TopoDS_Iterator aIt;
|
|
BOPCol_IndexedMapOfShape aME1, aME2, aMEP;
|
|
BOPCol_IndexedDataMapOfShapeListOfShape aMVE;
|
|
BOPCol_ListOfShape aLSI;
|
|
//
|
|
// 1. All internal edges
|
|
aIt1.Initialize(myLoopsInternal);
|
|
for (; aIt1.More(); aIt1.Next()) {
|
|
const TopoDS_Shape& aWire=aIt1.Value();
|
|
aIt.Initialize(aWire);
|
|
for (; aIt.More(); aIt.Next()) {
|
|
const TopoDS_Shape& aE=aIt.Value();
|
|
aME1.Add(aE);
|
|
}
|
|
}
|
|
//
|
|
// 2 Process faces
|
|
aIt2.Initialize(myAreas);
|
|
for ( ; aIt2.More(); aIt2.Next()) {
|
|
TopoDS_Face& aF=(*(TopoDS_Face *)(&aIt2.Value()));
|
|
//
|
|
aMVE.Clear();
|
|
BOPTools::MapShapesAndAncestors(aF, TopAbs_VERTEX, TopAbs_EDGE, aMVE);
|
|
//
|
|
// 2.1 Separate faces to process aMEP
|
|
aME2.Clear();
|
|
aMEP.Clear();
|
|
aNbWI = aME1.Extent();
|
|
for (i = 1; i <= aNbWI; ++i) {
|
|
const TopoDS_Edge& aE=(*(TopoDS_Edge *)(&aME1(i)));
|
|
if (IsInside(aE, aF, myContext)) {
|
|
aMEP.Add(aE);
|
|
}
|
|
else {
|
|
aME2.Add(aE);
|
|
}
|
|
}
|
|
//
|
|
// 2.2 Make Internal Wires
|
|
aLSI.Clear();
|
|
MakeInternalWires(aMEP, aLSI);
|
|
//
|
|
// 2.3 Add them to aF
|
|
aIt1.Initialize(aLSI);
|
|
for (; aIt1.More(); aIt1.Next()) {
|
|
const TopoDS_Shape& aSI=aIt1.Value();
|
|
aBB.Add (aF, aSI);
|
|
}
|
|
//
|
|
// 2.4 Remove faces aMFP from aMF
|
|
aME1 = aME2;
|
|
//
|
|
aNbWI = aME1.Extent();
|
|
if (!aNbWI) {
|
|
break;
|
|
}
|
|
} //for ( ; aIt2.More(); aIt2.Next()) {
|
|
}
|
|
//=======================================================================
|
|
//function : MakeInternalWires
|
|
//purpose :
|
|
//=======================================================================
|
|
void MakeInternalWires(const BOPCol_IndexedMapOfShape& theME,
|
|
BOPCol_ListOfShape& theWires)
|
|
{
|
|
Standard_Integer i, aNbE;
|
|
BOPCol_MapOfShape aAddedMap;
|
|
BOPCol_ListIteratorOfListOfShape aItE;
|
|
BOPCol_IndexedDataMapOfShapeListOfShape aMVE;
|
|
BRep_Builder aBB;
|
|
//
|
|
aNbE = theME.Extent();
|
|
for (i = 1; i <= aNbE; ++i) {
|
|
const TopoDS_Shape& aE = theME(i);
|
|
BOPTools::MapShapesAndAncestors(aE, TopAbs_VERTEX, TopAbs_EDGE, aMVE);
|
|
}
|
|
//
|
|
for (i = 1; i <= aNbE; ++i) {
|
|
TopoDS_Shape aEE = theME(i);
|
|
if (!aAddedMap.Add(aEE)) {
|
|
continue;
|
|
}
|
|
//
|
|
// make a new shell
|
|
TopoDS_Wire aW;
|
|
aBB.MakeWire(aW);
|
|
aEE.Orientation(TopAbs_INTERNAL);
|
|
aBB.Add(aW, aEE);
|
|
//
|
|
TopoDS_Iterator aItAdded (aW);
|
|
for (; aItAdded.More(); aItAdded.Next()) {
|
|
const TopoDS_Shape& aE =aItAdded.Value();
|
|
//
|
|
TopExp_Explorer aExp(aE, TopAbs_VERTEX);
|
|
for (; aExp.More(); aExp.Next()) {
|
|
const TopoDS_Shape& aV =aExp.Current();
|
|
const BOPCol_ListOfShape& aLE=aMVE.FindFromKey(aV);
|
|
aItE.Initialize(aLE);
|
|
for (; aItE.More(); aItE.Next()) {
|
|
TopoDS_Shape aEL=aItE.Value();
|
|
if (aAddedMap.Add(aEL)){
|
|
aEL.Orientation(TopAbs_INTERNAL);
|
|
aBB.Add(aW, aEL);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
aW.Closed(BRep_Tool::IsClosed(aW));
|
|
theWires.Append(aW);
|
|
}
|
|
}
|
|
//=======================================================================
|
|
//function : IsInside
|
|
//purpose :
|
|
//=======================================================================
|
|
Standard_Boolean IsInside(const TopoDS_Shape& theHole,
|
|
const TopoDS_Shape& theF2,
|
|
Handle(IntTools_Context)& theContext)
|
|
{
|
|
Standard_Boolean bRet;
|
|
Standard_Real aT, aU, aV;
|
|
|
|
TopAbs_State aState;
|
|
TopExp_Explorer aExp;
|
|
BOPCol_IndexedMapOfShape aME2;
|
|
gp_Pnt2d aP2D;
|
|
//
|
|
bRet=Standard_False;
|
|
aState=TopAbs_UNKNOWN;
|
|
const TopoDS_Face& aF2=(*(TopoDS_Face *)(&theF2));
|
|
//
|
|
BOPTools::MapShapes(aF2, TopAbs_EDGE, aME2);//AA
|
|
//
|
|
aExp.Init(theHole, TopAbs_EDGE);
|
|
if (aExp.More()) {
|
|
const TopoDS_Edge& aE =(*(TopoDS_Edge *)(&aExp.Current()));
|
|
if (aME2.Contains(aE)) {
|
|
return bRet;
|
|
}
|
|
if (!BRep_Tool::Degenerated(aE)) {
|
|
//
|
|
aT=BOPTools_AlgoTools2D::IntermediatePoint(aE);
|
|
BOPTools_AlgoTools2D::PointOnSurface(aE, aF2, aT, aU, aV, theContext);
|
|
aP2D.SetCoord(aU, aV);
|
|
//
|
|
IntTools_FClass2d& aClsf=theContext->FClass2d(aF2);
|
|
aState=aClsf.Perform(aP2D);
|
|
bRet=(aState==TopAbs_IN);
|
|
}
|
|
}
|
|
//
|
|
return bRet;
|
|
}
|
|
|
|
//=======================================================================
|
|
//function : IsGrowthWire
|
|
//purpose :
|
|
//=======================================================================
|
|
Standard_Boolean IsGrowthWire(const TopoDS_Shape& theWire,
|
|
const BOPCol_IndexedMapOfShape& theMHE)
|
|
{
|
|
Standard_Boolean bRet;
|
|
TopoDS_Iterator aIt;
|
|
//
|
|
bRet=Standard_False;
|
|
if (theMHE.Extent()) {
|
|
aIt.Initialize(theWire);
|
|
for(; aIt.More(); aIt.Next()) {
|
|
const TopoDS_Shape& aE=aIt.Value();
|
|
if (theMHE.Contains(aE)) {
|
|
return !bRet;
|
|
}
|
|
}
|
|
}
|
|
return bRet;
|
|
}
|
|
|
|
//BRepTools::Write(aFF, "ff");
|
|
//
|
|
// ErrorStatus :
|
|
// 11 - Null Context
|
|
// 12 - Null face generix
|