0024002: Overall code and build procedure refactoring -- automatic
[occt.git] / src / BOPAlgo / BOPAlgo_PaveFiller.hxx
1 // Created by: Peter KURNEV
2 // Copyright (c) 2010-2014 OPEN CASCADE SAS
3 // Copyright (c) 2007-2010 CEA/DEN, EDF R&D, OPEN CASCADE
4 // Copyright (c) 2003-2007 OPEN CASCADE, EADS/CCR, LIP6, CEA/DEN, CEDRAT,
5 //                         EDF R&D, LEG, PRINCIPIA R&D, BUREAU VERITAS
6 //
7 // This file is part of Open CASCADE Technology software library.
8 //
9 // This library is free software; you can redistribute it and/or modify it under
10 // the terms of the GNU Lesser General Public License version 2.1 as published
11 // by the Free Software Foundation, with special exception defined in the file
12 // OCCT_LGPL_EXCEPTION.txt. Consult the file LICENSE_LGPL_21.txt included in OCCT
13 // distribution for complete text of the license and disclaimer of any warranty.
14 //
15 // Alternatively, this file may be used under the terms of Open CASCADE
16 // commercial license or contractual agreement.
17
18 #ifndef _BOPAlgo_PaveFiller_HeaderFile
19 #define _BOPAlgo_PaveFiller_HeaderFile
20
21 #include <Standard.hxx>
22 #include <Standard_DefineAlloc.hxx>
23 #include <Standard_Handle.hxx>
24
25 #include <BOPCol_ListOfShape.hxx>
26 #include <BOPDS_PDS.hxx>
27 #include <BOPDS_PIterator.hxx>
28 #include <BOPAlgo_SectionAttribute.hxx>
29 #include <Standard_Real.hxx>
30 #include <BOPAlgo_Algo.hxx>
31 #include <BOPCol_BaseAllocator.hxx>
32 #include <TopAbs_ShapeEnum.hxx>
33 #include <Standard_Integer.hxx>
34 #include <BOPDS_IndexedDataMapOfShapeCoupleOfPaveBlocks.hxx>
35 #include <Standard_Boolean.hxx>
36 #include <BOPCol_MapOfInteger.hxx>
37 #include <BOPCol_DataMapOfIntegerReal.hxx>
38 #include <BOPCol_ListOfInteger.hxx>
39 #include <BOPDS_IndexedMapOfPaveBlock.hxx>
40 #include <BOPCol_DataMapOfShapeInteger.hxx>
41 #include <BOPDS_DataMapOfPaveBlockListOfPaveBlock.hxx>
42 #include <BOPCol_DataMapOfIntegerInteger.hxx>
43 #include <BOPDS_ListOfPaveBlock.hxx>
44 #include <IntSurf_ListOfPntOn2S.hxx>
45 #include <BOPCol_DataMapOfIntegerListOfInteger.hxx>
46 #include <BOPDS_MapOfPaveBlock.hxx>
47 #include <BOPCol_IndexedDataMapOfShapeInteger.hxx>
48 #include <BOPCol_IndexedDataMapOfShapeListOfShape.hxx>
49 class IntTools_Context;
50 class BOPDS_DS;
51 class BOPAlgo_SectionAttribute;
52 class BOPDS_PaveBlock;
53 class TopoDS_Vertex;
54 class gp_Pnt;
55 class BOPDS_Curve;
56 class TopoDS_Face;
57
58
59
60 class BOPAlgo_PaveFiller  : public BOPAlgo_Algo
61 {
62 public:
63
64   DEFINE_STANDARD_ALLOC
65
66   
67   Standard_EXPORT BOPAlgo_PaveFiller();
68 Standard_EXPORT virtual ~BOPAlgo_PaveFiller();
69   
70   Standard_EXPORT BOPAlgo_PaveFiller(const BOPCol_BaseAllocator& theAllocator);
71   
72   Standard_EXPORT const BOPDS_DS& DS();
73   
74   Standard_EXPORT BOPDS_PDS PDS();
75   
76   Standard_EXPORT const BOPDS_PIterator& Iterator();
77   
78   Standard_EXPORT void SetArguments (const BOPCol_ListOfShape& theLS);
79   
80   Standard_EXPORT const BOPCol_ListOfShape& Arguments() const;
81   
82   Standard_EXPORT Handle(IntTools_Context) Context();
83   
84   Standard_EXPORT void SetSectionAttribute (const BOPAlgo_SectionAttribute& theSecAttr);
85   
86   Standard_EXPORT virtual void Perform() Standard_OVERRIDE;
87   
88   //! Sets the additional tolerance
89   Standard_EXPORT void SetFuzzyValue (const Standard_Real theFuzz);
90   
91   //! Returns the additional tolerance
92   Standard_EXPORT Standard_Real FuzzyValue() const;
93
94
95
96
97 protected:
98
99   
100   Standard_EXPORT virtual void PerformInternal();
101   
102   Standard_EXPORT virtual void Clear();
103   
104   Standard_EXPORT virtual void Init();
105   
106   Standard_EXPORT void Prepare();
107   
108   Standard_EXPORT virtual void PerformVV();
109   
110   Standard_EXPORT virtual void PerformVE();
111   
112   Standard_EXPORT virtual void PerformVF();
113   
114   Standard_EXPORT virtual void PerformEE();
115   
116   Standard_EXPORT virtual void PerformEF();
117   
118   Standard_EXPORT virtual void PerformFF();
119   
120   Standard_EXPORT virtual void PerformVZ();
121   
122   Standard_EXPORT virtual void PerformEZ();
123   
124   Standard_EXPORT virtual void PerformFZ();
125   
126   Standard_EXPORT virtual void PerformZZ();
127   
128   Standard_EXPORT void TreatVerticesEE();
129   
130   Standard_EXPORT void MakeSplitEdges();
131   
132   Standard_EXPORT void MakeBlocks();
133   
134   Standard_EXPORT void MakePCurves();
135   
136   Standard_EXPORT void ProcessDE();
137   
138   Standard_EXPORT void FillShrunkData (Handle(BOPDS_PaveBlock)& thePB);
139   
140   Standard_EXPORT void FillShrunkData (const TopAbs_ShapeEnum theType1, const TopAbs_ShapeEnum theType2);
141   
142   Standard_EXPORT Standard_Integer PerformVerticesEE (BOPDS_IndexedDataMapOfShapeCoupleOfPaveBlocks& theMVCPB, BOPCol_BaseAllocator& theAllocator);
143   
144   Standard_EXPORT Standard_Integer PerformVerticesEF (BOPDS_IndexedDataMapOfShapeCoupleOfPaveBlocks& theMVCPB, BOPCol_BaseAllocator& theAllocator);
145   
146   Standard_EXPORT Standard_Boolean CheckFacePaves (const TopoDS_Vertex& theVnew, const BOPCol_MapOfInteger& theMIF);
147   
148   Standard_EXPORT static Standard_Boolean CheckFacePaves (const Standard_Integer theN, const BOPCol_MapOfInteger& theMIFOn, const BOPCol_MapOfInteger& theMIFIn);
149   
150   Standard_EXPORT Standard_Boolean IsExistingVertex (const gp_Pnt& theP, const Standard_Real theTol, const BOPCol_MapOfInteger& theMVOn) const;
151   
152
153   //! Checks and puts paves from <theMVOn> on the curve <theNC>.
154   Standard_EXPORT void PutPavesOnCurve (const BOPCol_MapOfInteger& theMVOn, const Standard_Real theTolR3D, BOPDS_Curve& theNC, const Standard_Integer nF1, const Standard_Integer nF2, const BOPCol_MapOfInteger& theMI, const BOPCol_MapOfInteger& theMVEF, BOPCol_DataMapOfIntegerReal& theMVTol);
155   
156
157   //! Depending on the parameter aType it checks whether
158   //! the vertex nV was created in EE or EF intersections.
159   //! If so, it increases aTolVExt from tolerance value of vertex to
160   //! the max distance from vertex nV to the ends of the range of common part.
161   //! Possible values of aType:
162   //! 1 - checks only EE;
163   //! 2 - checks only EF;
164   //! other - checks both types of intersections.
165   Standard_EXPORT Standard_Boolean ExtendedTolerance (const Standard_Integer nV, const BOPCol_MapOfInteger& aMI, Standard_Real& aTolVExt, const Standard_Integer aType = 0);
166   
167   Standard_EXPORT void PutBoundPaveOnCurve (const TopoDS_Face& theF1, const TopoDS_Face& theF2, const Standard_Real theTolR3D, BOPDS_Curve& theNC, BOPCol_ListOfInteger& theLBV);
168   
169   Standard_EXPORT Standard_Boolean IsExistingPaveBlock (const Handle(BOPDS_PaveBlock)& thePB, const BOPDS_Curve& theNC, const Standard_Real theTolR3D, const BOPDS_IndexedMapOfPaveBlock& theMPB, Handle(BOPDS_PaveBlock)& thePBOut);
170   
171   Standard_EXPORT Standard_Boolean IsExistingPaveBlock (const Handle(BOPDS_PaveBlock)& thePB, const BOPDS_Curve& theNC, const Standard_Real theTolR3D, const BOPCol_ListOfInteger& theLSE);
172   
173
174   //! Treatment of section edges.
175   Standard_EXPORT Standard_Integer PostTreatFF (BOPDS_IndexedDataMapOfShapeCoupleOfPaveBlocks& theMSCPB, BOPCol_DataMapOfShapeInteger& theMVI, BOPDS_DataMapOfPaveBlockListOfPaveBlock& theDMExEdges, BOPCol_DataMapOfIntegerInteger& theDMI, BOPCol_BaseAllocator& theAllocator);
176   
177   Standard_EXPORT void FindPaveBlocks (const Standard_Integer theV, const Standard_Integer theF, BOPDS_ListOfPaveBlock& theLPB);
178   
179   Standard_EXPORT void FillPaves (const Standard_Integer theV, const Standard_Integer theE, const Standard_Integer theF, const BOPDS_ListOfPaveBlock& theLPB, const Handle(BOPDS_PaveBlock)& thePB);
180   
181   Standard_EXPORT void MakeSplitEdge (const Standard_Integer theV, const Standard_Integer theF);
182   
183   Standard_EXPORT void GetEFPnts (const Standard_Integer nF1, const Standard_Integer nF2, IntSurf_ListOfPntOn2S& aListOfPnts);
184   
185
186   //! Checks and puts paves created in EF intersections on the curve <theNC>.
187   Standard_EXPORT void PutEFPavesOnCurve (BOPDS_Curve& theNC, const BOPCol_MapOfInteger& theMI, const BOPCol_MapOfInteger& theMVEF, BOPCol_DataMapOfIntegerReal& theMVTol);
188   
189
190   //! Puts stick paves on the curve <theNC>
191   Standard_EXPORT void PutStickPavesOnCurve (const TopoDS_Face& aF1, const TopoDS_Face& aF2, const BOPCol_MapOfInteger& theMI, BOPDS_Curve& theNC, const BOPCol_MapOfInteger& theMVStick, BOPCol_DataMapOfIntegerReal& theMVTol);
192   
193
194   //! Collects indices of vertices created in all intersections between
195   //! two faces (<nF1> and <nF2>) to the map <theMVStick>.
196   //! Also, it collects indices of EF vertices to the <theMVEF> map
197   //! and indices of all subshapes of these two faces to the <theMI> map.
198   Standard_EXPORT void GetStickVertices (const Standard_Integer nF1, const Standard_Integer nF2, BOPCol_MapOfInteger& theMVStick, BOPCol_MapOfInteger& theMVEF, BOPCol_MapOfInteger& theMI);
199   
200
201   //! Collects index nF and indices of all subshapes of the shape with index <nF>
202   //! to the map <theMI>.
203   Standard_EXPORT void GetFullShapeMap (const Standard_Integer nF, BOPCol_MapOfInteger& theMI);
204   
205
206   //! Removes indices of vertices that are already on the
207   //! curve <theNC> from the map <theMV>.
208   //! It is used in PutEFPavesOnCurve and PutStickPavesOnCurve methods.
209   Standard_EXPORT void RemoveUsedVertices (BOPDS_Curve& theNC, BOPCol_MapOfInteger& theMV);
210   
211
212   //! Puts the pave nV on the curve theNC.
213   //! Parameter aType defines whether to check the pave with
214   //! extended tolerance:
215   //! 0 - do not perform the check;
216   //! other - perform the check (aType goes to ExtendedTolerance).
217   Standard_EXPORT void PutPaveOnCurve (const Standard_Integer nV, const Standard_Real theTolR3D, BOPDS_Curve& theNC, const BOPCol_MapOfInteger& theMI, BOPCol_DataMapOfIntegerReal& theMVTol, const Standard_Integer aType = 0);
218   
219
220   //! Adds the existing edges from the map <theMPBOnIn> which interfere
221   //! with the vertices from <theMVB> map to the post treatment of section edges.
222   Standard_EXPORT void ProcessExistingPaveBlocks (const Standard_Integer theInt, const BOPDS_IndexedMapOfPaveBlock& theMPBOnIn, const BOPCol_DataMapOfIntegerListOfInteger& theDMBV, BOPDS_IndexedDataMapOfShapeCoupleOfPaveBlocks& theMSCPB, BOPCol_DataMapOfShapeInteger& theMVI, BOPDS_MapOfPaveBlock& theMPB);
223   
224
225   //! Replaces existing pave block <thePB> with new pave blocks <theLPB>.
226   //! The list <theLPB> contains images of <thePB> which were created in
227   //! the post treatment of section edges.
228   Standard_EXPORT void UpdateExistingPaveBlocks (const Handle(BOPDS_PaveBlock)& thePB, BOPDS_ListOfPaveBlock& theLPB, const Standard_Integer nF1, const Standard_Integer nF2);
229   
230
231   //! Treatment of vertices that were created in EE intersections.
232   Standard_EXPORT void TreatNewVertices (const BOPCol_IndexedDataMapOfShapeInteger& theMVI, BOPCol_IndexedDataMapOfShapeListOfShape& theImages);
233   
234
235   //! Put paves on the curve <aBC> in case when <aBC>
236   //! is closed 3D-curve
237   Standard_EXPORT void PutClosingPaveOnCurve (BOPDS_Curve& aNC);
238   
239
240   //! Keeps data for post treatment
241   Standard_EXPORT void PreparePostTreatFF (const Standard_Integer aInt, const Standard_Integer aCur, const Handle(BOPDS_PaveBlock)& aPB, BOPDS_IndexedDataMapOfShapeCoupleOfPaveBlocks& aMSCPB, BOPCol_DataMapOfShapeInteger& aMVI, BOPDS_ListOfPaveBlock& aLPB);
242   
243
244   //! Refines the state On for the all faces having
245   //! state information
246   Standard_EXPORT void RefineFaceInfoOn();
247   
248
249   //! Updates the information about faces
250   Standard_EXPORT void UpdateFaceInfo (BOPDS_DataMapOfPaveBlockListOfPaveBlock& theDME, const BOPCol_DataMapOfIntegerInteger& theDMV);
251   
252
253   //! Updates tolerance of vertex with index <nV>
254   //! to make it interfere with edge
255   Standard_EXPORT void ForceInterfVE (const Standard_Integer nV, Handle(BOPDS_PaveBlock)& aPB, BOPDS_MapOfPaveBlock& aMPB);
256   
257
258   //! Updates tolerance of vertex with index <nV>
259   //! to make it interfere with face with index <nF>
260   Standard_EXPORT Standard_Boolean ForceInterfVF (const Standard_Integer nV, const Standard_Integer nF);
261   
262
263   //! Checks if there are any common or intersecting sub shapes
264   //! between two planar faces.
265   Standard_EXPORT Standard_Boolean CheckPlanes (const Standard_Integer nF1, const Standard_Integer nF2) const;
266   
267
268   //! Creates new edge from the edge nE with vertices nV1 and nV2
269   //! and returns the index of that new edge in the DS.
270   Standard_EXPORT Standard_Integer SplitEdge (const Standard_Integer nE, const Standard_Integer nV1, const Standard_Real aT1, const Standard_Integer nV2, const Standard_Real aT2);
271   
272
273   //! Updates pave blocks which have the paves with indices contained
274   //! in the map <theDMI>.
275   Standard_EXPORT void UpdatePaveBlocks (const BOPCol_DataMapOfIntegerInteger& theDMI);
276
277
278   BOPCol_ListOfShape myArguments;
279   BOPDS_PDS myDS;
280   BOPDS_PIterator myIterator;
281   Handle(IntTools_Context) myContext;
282   BOPAlgo_SectionAttribute mySectionAttribute;
283   Standard_Real myFuzzyValue;
284
285
286 private:
287
288
289
290
291
292 };
293
294
295
296
297
298
299
300 #endif // _BOPAlgo_PaveFiller_HeaderFile