src/SMESHUtils/SMESH_Offset.cxx

   1 // Copyright (C) 2007-2016  CEA/DEN, EDF R&D, OPEN CASCADE
   2 //
   3 // Copyright (C) 2003-2007  OPEN CASCADE, EADS/CCR, LIP6, CEA/DEN,
   4 // CEDRAT, EDF R&D, LEG, PRINCIPIA R&D, BUREAU VERITAS
   5 //
   6 // This library is free software; you can redistribute it and/or
   7 // modify it under the terms of the GNU Lesser General Public
   8 // License as published by the Free Software Foundation; either
   9 // version 2.1 of the License, or (at your option) any later version.
  10 //
  11 // This library is distributed in the hope that it will be useful,
  12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14 // Lesser General Public License for more details.
  15 //
  16 // You should have received a copy of the GNU Lesser General Public
  17 // License along with this library; if not, write to the Free Software
  18 // Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307 USA
  19 //
  20 // See http://www.salome-platform.org/ or email : webmaster.salome@opencascade.com
  21 //
  22 // File      : SMESH_Offset.cxx
  23 // Created   : Mon Dec 25 15:52:38 2017
  24 // Author    : Edward AGAPOV (eap)
  25
  26 #include "SMESH_MeshAlgos.hxx"
  27
  28 #include <SMDS_PolygonalFaceOfNodes.hxx>
  29 #include "SMDS_Mesh.hxx"
  30
  31 #include <Utils_SALOME_Exception.hxx>
  32
  33 #include <Bnd_B3d.hxx>
  34 #include <NCollection_Map.hxx>
  35 #include <gp_Lin.hxx>
  36 #include <gp_Pln.hxx>
  37
  38 #include <boost/container/flat_set.hpp>
  39 #include <boost/dynamic_bitset.hpp>
  40
  41 namespace
  42 {
  43   const size_t theMaxNbFaces = 256; // max number of faces sharing a node
  44
  45   typedef NCollection_DataMap< Standard_Address, const SMDS_MeshNode* > TNNMap;
  46   typedef NCollection_Map< SMESH_Link, SMESH_Link >                     TLinkMap;
  47
  48   //--------------------------------------------------------------------------------
  49   /*!
  50    * \brief Intersected face side storing a node created at this intersection
  51    *        and a intersected face
  52    */
  53   struct CutLink
  54   {
  55     bool                     myReverse;
  56     const SMDS_MeshNode*     myNode[2]; // side nodes
  57     mutable SMESH_NodeXYZ    myIntNode; // intersection node
  58     const SMDS_MeshElement*  myFace;    // cutter face
  59     int                      myIndex;   // index of a node on the same link
  60
  61     CutLink(const SMDS_MeshNode*    node1=0,
  62             const SMDS_MeshNode*    node2=0,
  63             const SMDS_MeshElement* face=0,
  64             const int               index=0) { Set ( node1, node2, face, index ); }
  65
  66     void Set( const SMDS_MeshNode*    node1,
  67               const SMDS_MeshNode*    node2,
  68               const SMDS_MeshElement* face,
  69               const int               index=0)
  70     {
  71       myNode[0] = node1; myNode[1] = node2; myFace = face; myIndex = index; myReverse = false;
  72       if ( myNode[0] && ( myReverse = ( myNode[0]->GetID() > myNode[1]->GetID() )))
  73         std::swap( myNode[0], myNode[1] );
  74     }
  75     const SMDS_MeshNode* IntNode() const { return myIntNode.Node(); }
  76     const SMDS_MeshNode* Node1() const { return myNode[ myReverse ]; }
  77     const SMDS_MeshNode* Node2() const { return myNode[ !myReverse ]; }
  78
  79     static Standard_Integer HashCode(const CutLink&         link,
  80                                      const Standard_Integer upper)
  81     {
  82       Standard_Integer n = ( link.myNode[0]->GetID() +
  83                              link.myNode[1]->GetID() +
  84                              link.myIndex );
  85       return ::HashCode( n, upper );
  86     }
  87     static Standard_Boolean IsEqual(const CutLink& link1, const CutLink& link2 )
  88     {
  89       return ( link1.myNode[0] == link2.myNode[0] &&
  90                link1.myNode[1] == link2.myNode[1] &&
  91                link1.myIndex == link2.myIndex );
  92     }
  93   };
  94
  95   typedef NCollection_Map< CutLink, CutLink > TCutLinkMap;
  96
  97   //--------------------------------------------------------------------------------
  98   /*!
  99    * \brief Part of a divided face edge
 100    */
 101   struct EdgePart
 102   {
 103     const SMDS_MeshNode*    myNode1;
 104     const SMDS_MeshNode*    myNode2;
 105     int                     myIndex; // positive -> side index, negative -> State
 106     const SMDS_MeshElement* myFace;
 107
 108     enum State { _INTERNAL = -1, _COPLANAR = -2 };
 109
 110     void Set( const SMDS_MeshNode*    Node1,
 111               const SMDS_MeshNode*    Node2,
 112               const SMDS_MeshElement* Face = 0,
 113               int                     EdgeIndex = _INTERNAL )
 114     { myNode1 = Node1; myNode2 = Node2; myIndex = EdgeIndex; myFace = Face; }
 115
 116     // bool HasSameNode( const EdgePart& other ) { return ( myNode1 == other.myNode1 ||
 117     //                                                      myNode1 == other.myNode2 ||
 118     //                                                      myNode2 == other.myNode1 ||
 119     //                                                      myNode2 == other.myNode2 );
 120     // }
 121     bool IsInternal() const { return myIndex < 0; }
 122     bool IsTwin( const EdgePart& e ) const { return myNode1 == e.myNode2 && myNode2 == e.myNode1; }
 123     bool IsSame( const EdgePart& e ) const {
 124       return (( myNode1 == e.myNode2 && myNode2 == e.myNode1 ) ||
 125               ( myNode1 == e.myNode1 && myNode2 == e.myNode2 )); }
 126     bool ReplaceCoplanar( const EdgePart& e );
 127     operator SMESH_Link() const { return SMESH_Link( myNode1, myNode2 ); }
 128     operator gp_Vec() const { return SMESH_NodeXYZ( myNode2 ) - SMESH_NodeXYZ( myNode1 ); }
 129   };
 130
 131   //--------------------------------------------------------------------------------
 132   /*!
 133    * \brief Loop of EdgePart's forming a new face which is a part of CutFace
 134    */
 135   struct EdgeLoop : public SMDS_PolygonalFaceOfNodes
 136   {
 137     std::vector< const EdgePart* > myLinks;
 138     bool                           myIsBndConnected; //!< is there a path to CutFace side edges
 139     bool                           myHasPending;     //!< an edge encounters twice
 140
 141     EdgeLoop() : SMDS_PolygonalFaceOfNodes( std::vector<const SMDS_MeshNode *>() ) {}
 142     void Clear() { myLinks.clear(); myIsBndConnected = false; myHasPending = false; }
 143     bool SetConnected() { bool was = myIsBndConnected; myIsBndConnected = true; return !was; }
 144     bool Contains( const SMDS_MeshNode* n ) const
 145     {
 146       for ( size_t i = 0; i < myLinks.size(); ++i )
 147         if ( myLinks[i]->myNode1 == n ) return true;
 148       return false;
 149     }
 150     virtual int NbNodes() const { return myLinks.size(); }
 151     virtual SMDS_ElemIteratorPtr nodesIterator() const
 152     {
 153       return setNodes(), SMDS_PolygonalFaceOfNodes::nodesIterator();
 154     }
 155     virtual SMDS_NodeIteratorPtr nodeIterator() const
 156     {
 157       return setNodes(), SMDS_PolygonalFaceOfNodes::nodeIterator();
 158     }
 159     void setNodes() const //!< set nodes to SMDS_PolygonalFaceOfNodes
 160     {
 161       EdgeLoop* me = const_cast<EdgeLoop*>( this );
 162       me->myNodes.resize( NbNodes() );
 163       size_t iMin = 0;
 164       for ( size_t i = 1; i < myNodes.size(); ++i ) {
 165         if ( myLinks[ i ]->myNode1->GetID() < myLinks[ iMin ]->myNode1->GetID() )
 166           iMin = i;
 167       }
 168       for ( size_t i = 0; i < myNodes.size(); ++i )
 169         me->myNodes[ i ] = myLinks[ ( iMin + i ) % myNodes.size() ]->myNode1;
 170     }
 171   };
 172
 173   //--------------------------------------------------------------------------------
 174   /*!
 175    * \brief Set of EdgeLoop's constructed from a CutFace
 176    */
 177   struct EdgeLoopSet
 178   {
 179     std::vector< EdgeLoop >  myLoops;       //!< buffer of EdgeLoop's
 180     size_t                   myNbLoops;     //!< number of constructed loops
 181
 182     const EdgePart*          myEdge0;       //!< & CutFace.myLinks[0]
 183     size_t                   myNbUsedEdges; //!< nb of EdgePart's added to myLoops
 184     boost::dynamic_bitset<>  myIsUsedEdge;  //!< is i-th EdgePart of CutFace is in any EdgeLoop
 185     std::vector< EdgeLoop* > myLoopOfEdge;  //!< EdgeLoop of CutFace.myLinks[i]
 186     std::vector< EdgePart* > myCandidates;  //!< EdgePart's starting at the same node
 187
 188     EdgeLoopSet(): myLoops(100) {}
 189
 190     void Init( const std::vector< EdgePart >& edges )
 191     {
 192       size_t nb = edges.size();
 193       myEdge0 = & edges[0];
 194       myNbLoops = 0;
 195       myNbUsedEdges = 0;
 196       myIsUsedEdge.reset();
 197       myIsUsedEdge.resize( nb, false );
 198       myLoopOfEdge.clear();
 199       myLoopOfEdge.resize( nb, (EdgeLoop*) 0 );
 200     }
 201     EdgeLoop& AddNewLoop()
 202     {
 203       if ( ++myNbLoops >= myLoops.size() )
 204         myLoops.resize( myNbLoops + 10 );
 205       myLoops[ myNbLoops-1 ].Clear();
 206       return myLoops[ myNbLoops-1 ];
 207     }
 208     bool AllEdgesUsed() const { return myNbUsedEdges == myLoopOfEdge.size(); }
 209
 210     bool AddEdge( EdgePart& edge )
 211     {
 212       size_t i = Index( edge );
 213       if ( myIsUsedEdge[ i ])
 214         return false;
 215       myLoops[ myNbLoops-1 ].myLinks.push_back( &edge );
 216       myLoopOfEdge[ i ] = & myLoops[ myNbLoops-1 ];
 217       myIsUsedEdge[ i ] = true;
 218       ++myNbUsedEdges;
 219       return true;
 220     }
 221     void Erase( EdgeLoop* loop )
 222     {
 223       for ( size_t iE = 0; iE < loop->myLinks.size(); ++iE )
 224         myLoopOfEdge[ Index( *loop->myLinks[ iE ] )] = 0;
 225       loop->Clear();
 226     }
 227     size_t    Index( const EdgePart& edge ) const { return &edge - myEdge0; }
 228     EdgeLoop* GetLoopOf( const EdgePart* edge ) { return myLoopOfEdge[ Index( *edge )]; }
 229   };
 230
 231   //--------------------------------------------------------------------------------
 232   /*!
 233    * \brief Intersections of a face
 234    */
 235   struct CutFace
 236   {
 237     mutable std::vector< EdgePart > myLinks;
 238     const SMDS_MeshElement*         myInitFace;
 239
 240     CutFace( const SMDS_MeshElement* face ): myInitFace( face ) {}
 241     void AddEdge( const CutLink&          p1,
 242                   const CutLink&          p2,
 243                   const SMDS_MeshElement* cutter,
 244                   const int               nbOnPlane,
 245                   const int               iNotOnPlane = -1) const;
 246     void AddPoint( const CutLink& p1, const CutLink& p2, double tol ) const;
 247     bool ReplaceNodes( const TNNMap& theRm2KeepMap ) const;
 248     bool IsCut() const;
 249     int  NbInternalEdges() const;
 250     void MakeLoops( EdgeLoopSet& loops, const gp_XYZ& theFaceNorm ) const;
 251     bool RemoveInternalLoops( EdgeLoopSet& theLoops ) const;
 252     void CutOffLoops( EdgeLoopSet&                 theLoops,
 253                       const double                 theSign,
 254                       const std::vector< gp_XYZ >& theNormals,
 255                       std::vector< EdgePart >&     theCutOffLinks,
 256                       TLinkMap&                    theCutOffCoplanarLinks) const;
 257     void InitLinks() const;
 258     bool IsCoplanar( const EdgePart* edge ) const;
 259
 260     static Standard_Integer HashCode(const CutFace& f, const Standard_Integer upper)
 261     {
 262       return ::HashCode( f.myInitFace->GetID(), upper );
 263     }
 264     static Standard_Boolean IsEqual(const CutFace& f1, const CutFace& f2 )
 265     {
 266       return f1.myInitFace == f2.myInitFace;
 267     }
 268     void Dump() const;
 269
 270   private:
 271
 272     EdgePart* getTwin( const EdgePart* edge ) const;
 273   };
 274
 275   typedef NCollection_Map< CutFace, CutFace > TCutFaceMap;
 276
 277   //--------------------------------------------------------------------------------
 278   /*!
 279    * \brief Intersection point of two edges of co-planar triangles
 280    */
 281   struct IntPoint2D
 282   {
 283     size_t        myEdgeInd[2]; //!< edge indices of triangles
 284     double        myU      [2]; //!< parameter [0,1] on edges of triangles
 285     SMESH_NodeXYZ myNode;       //!< intersection node
 286     bool          myIsCollinear;//!< edges are collinear
 287
 288     IntPoint2D() : myIsCollinear( false ) {}
 289
 290     void InitLink( CutLink& link, int iFace, const std::vector< SMESH_NodeXYZ >& nodes ) const
 291     {
 292       link.Set( nodes[  myEdgeInd[ iFace ]                      ].Node(),
 293                 nodes[( myEdgeInd[ iFace ] + 1 ) % nodes.size() ].Node(),
 294                 link.myFace );
 295       link.myIntNode = myNode;
 296     }
 297     const SMDS_MeshNode* Node() const { return myNode.Node(); }
 298   };
 299   struct IntPoint2DCompare
 300   {
 301     int myI;
 302     IntPoint2DCompare( int iFace=0 ): myI( iFace ) {}
 303     bool operator() ( const IntPoint2D* ip1, const IntPoint2D* ip2 ) const
 304     {
 305       return ip1->myU[ myI ] < ip2->myU[ myI ];
 306     }
 307     bool operator() ( const IntPoint2D& ip1, const IntPoint2D& ip2 ) const
 308     {
 309       return ip1.myU[ myI ] < ip2.myU[ myI ];
 310     }
 311   };
 312   typedef boost::container::flat_set< IntPoint2D, IntPoint2DCompare >  TIntPointSet;
 313   typedef boost::container::flat_set< IntPoint2D*, IntPoint2DCompare > TIntPointPtrSet;
 314
 315   //--------------------------------------------------------------------------------
 316   /*!
 317    * \brief Face used to find translated position of the node
 318    */
 319   struct Face
 320   {
 321     const SMDS_MeshElement* myFace;
 322     SMESH_TNodeXYZ          myNode1; //!< nodes neighboring another node of myFace
 323     SMESH_TNodeXYZ          myNode2;
 324     const gp_XYZ*           myNorm;
 325     bool                    myNodeRightOrder;
 326     void operator=(const SMDS_MeshElement* f) { myFace = f; }
 327     const SMDS_MeshElement* operator->() { return myFace; }
 328     void SetNodes( int i0, int i1 ) //!< set myNode's
 329     {
 330       myNode1.Set( myFace->GetNode( i1 ));
 331       int i2 = ( i0 - 1 + myFace->NbCornerNodes() ) % myFace->NbCornerNodes();
 332       if ( i2 == i1 )
 333         i2 = ( i0 + 1 ) % myFace->NbCornerNodes();
 334       myNode2.Set( myFace->GetNode( i2 ));
 335       myNodeRightOrder = ( Abs( i2-i1 ) == 1 ) ?  i2 > i1  :  i2 < i1;
 336     }
 337     void SetOldNodes( const SMDS_Mesh& theSrcMesh )
 338     {
 339       myNode1.Set( theSrcMesh.FindNode( myNode1->GetID() ));
 340       myNode2.Set( theSrcMesh.FindNode( myNode2->GetID() ));
 341     }
 342     bool SetNormal( const std::vector< gp_XYZ >& faceNormals )
 343     {
 344       myNorm = & faceNormals[ myFace->GetID() ];
 345       return ( myNorm->SquareModulus() > gp::Resolution() * gp::Resolution() );
 346     }
 347     const gp_XYZ& Norm() const { return *myNorm; }
 348   };
 349
 350   //--------------------------------------------------------------------------------
 351   /*!
 352    * \brief Offset plane used to find translated position of the node
 353    */
 354   struct OffsetPlane
 355   {
 356     gp_XYZ myNode;
 357     Face*  myFace;
 358     gp_Pln myPln;
 359     gp_Lin myLines[2]; //!< line of intersection with neighbor OffsetPlane's
 360     bool   myIsLineOk[2];
 361     double myWeight[2];
 362
 363     void   Init( const gp_XYZ& node, Face& tria, double offset )
 364     {
 365       myNode = node;
 366       myFace = & tria;
 367       myPln  = gp_Pln( node + tria.Norm() * offset, tria.Norm() );
 368       myIsLineOk[0] = myIsLineOk[1] = false;
 369       myWeight[0] = myWeight[1] = 0;
 370     }
 371     bool   ComputeIntersectionLine( OffsetPlane& pln );
 372     void   SetSkewLine( const gp_Lin& line );
 373     gp_XYZ GetCommonPoint( int & nbOkPoints, double& sumWeight );
 374     gp_XYZ ProjectNodeOnLine( int & nbOkPoints );
 375     double Weight() const { return myWeight[0] + myWeight[1]; }
 376   };
 377
 378   //================================================================================
 379   /*!
 380    * \brief Set the second line
 381    */
 382   //================================================================================
 383
 384   void OffsetPlane::SetSkewLine( const gp_Lin& line )
 385   {
 386     myLines[1] = line;
 387     gp_XYZ n = myLines[0].Direction().XYZ() ^ myLines[1].Direction().XYZ();
 388     if (( myIsLineOk[1] = n.SquareModulus() > gp::Resolution() ))
 389       myPln = gp_Pln( myPln.Location(), n );
 390   }
 391
 392   //================================================================================
 393   /*!
 394    * \brief Project myNode on myLine[0]
 395    */
 396   //================================================================================
 397
 398   gp_XYZ OffsetPlane::ProjectNodeOnLine( int & nbOkPoints )
 399   {
 400     gp_XYZ p = gp::Origin().XYZ();
 401     if ( myIsLineOk[0] )
 402     {
 403       gp_Vec l2n( myLines[0].Location(), myNode );
 404       double u = l2n * myLines[0].Direction();
 405       p = myLines[0].Location().XYZ() + u * myLines[0].Direction().XYZ();
 406       ++nbOkPoints;
 407     }
 408     return p;
 409   }
 410
 411   //================================================================================
 412   /*!
 413    * \brief Computes intersection point of myLines
 414    */
 415   //================================================================================
 416
 417   gp_XYZ OffsetPlane::GetCommonPoint( int & nbOkPoints, double& sumWeight )
 418   {
 419     if ( !myIsLineOk[0] || !myIsLineOk[1] )
 420     {
 421       // sumWeight += myWeight[0];
 422       // return ProjectNodeOnLine( nbOkPoints ) * myWeight[0];
 423       return gp::Origin().XYZ();
 424     }
 425
 426     gp_XYZ p;
 427
 428     gp_Vec lPerp0 = myLines[0].Direction().XYZ() ^ myPln.Axis().Direction().XYZ();
 429     double  dot01 = lPerp0 * myLines[1].Direction().XYZ();
 430     if ( Abs( dot01 ) > 0.05 )
 431     {
 432       gp_Vec l0l1 = myLines[1].Location().XYZ() - myLines[0].Location().XYZ();
 433       double   u1 = - ( lPerp0 * l0l1 ) / dot01;
 434       p = ( myLines[1].Location().XYZ() + myLines[1].Direction().XYZ() * u1 );
 435     }
 436     else
 437     {
 438       gp_Vec  lv0( myLines[0].Location(), myNode),  lv1(myLines[1].Location(), myNode );
 439       double dot0( lv0 * myLines[0].Direction() ), dot1( lv1 * myLines[1].Direction() );
 440       p  = 0.5 * ( myLines[0].Location().XYZ() + myLines[0].Direction().XYZ() * dot0 );
 441       p += 0.5 * ( myLines[1].Location().XYZ() + myLines[1].Direction().XYZ() * dot1 );
 442     }
 443
 444     sumWeight += Weight();
 445     ++nbOkPoints;
 446
 447     return p * Weight();
 448   }
 449
 450   //================================================================================
 451   /*!
 452    * \brief Compute line of intersection of 2 planes
 453    */
 454   //================================================================================
 455
 456   bool OffsetPlane::ComputeIntersectionLine( OffsetPlane& theNextPln )
 457   {
 458     const gp_XYZ& n1 = myFace->Norm();
 459     const gp_XYZ& n2 = theNextPln.myFace->Norm();
 460
 461     gp_XYZ lineDir = n1 ^ n2;
 462     gp_Pnt linePos;
 463
 464     double x = Abs( lineDir.X() );
 465     double y = Abs( lineDir.Y() );
 466     double z = Abs( lineDir.Z() );
 467
 468     int cooMax; // max coordinate
 469     if (x > y) {
 470       if (x > z) cooMax = 1;
 471       else       cooMax = 3;
 472     }
 473     else {
 474       if (y > z) cooMax = 2;
 475       else       cooMax = 3;
 476     }
 477
 478     bool ok = true;
 479     if ( Abs( lineDir.Coord( cooMax )) < 0.05 )
 480     {
 481       // parallel planes - intersection is an offset of the common edge
 482       linePos  = 0.5 * ( myPln.Location().XYZ() + theNextPln.myPln.Location().XYZ() );
 483       lineDir  = myNode - myFace->myNode2;
 484       ok       = false;
 485       myWeight[0] = 0;
 486     }
 487     else
 488     {
 489       // the constants in the 2 plane equations
 490       double d1 = - ( n1 * myPln.Location().XYZ() );
 491       double d2 = - ( n2 * theNextPln.myPln.Location().XYZ() );
 492
 493       switch ( cooMax ) {
 494       case 1:
 495         linePos.SetX(  0 );
 496         linePos.SetY(( d2*n1.Z() - d1*n2.Z()) / lineDir.X() );
 497         linePos.SetZ(( d1*n2.Y() - d2*n1.Y()) / lineDir.X() );
 498         break;
 499       case 2:
 500         linePos.SetX(( d1*n2.Z() - d2*n1.Z()) / lineDir.Y() );
 501         linePos.SetY(  0 );
 502         linePos.SetZ(( d2*n1.X() - d1*n2.X()) / lineDir.Y() );
 503         break;
 504       case 3:
 505         linePos.SetX(( d2*n1.Y() - d1*n2.Y()) / lineDir.Z() );
 506         linePos.SetY(( d1*n2.X() - d2*n1.X()) / lineDir.Z() );
 507         linePos.SetZ(  0 );
 508       }
 509       myWeight[0] = lineDir.SquareModulus();
 510       if ( n1 * n2 < 0 )
 511         myWeight[0] = 2. - myWeight[0];
 512     }
 513     myLines   [ 0 ].SetDirection( lineDir );
 514     myLines   [ 0 ].SetLocation ( linePos );
 515     myIsLineOk[ 0 ] = ok;
 516
 517     theNextPln.myLines   [ 1 ] = myLines[ 0 ];
 518     theNextPln.myIsLineOk[ 1 ] = ok;
 519     theNextPln.myWeight  [ 1 ] = myWeight[ 0 ];
 520
 521     return ok;
 522   }
 523
 524   //================================================================================
 525   /*!
 526    * \brief Return a translated position of a node
 527    *  \param [in] new2OldNodes - new and old nodes
 528    *  \param [in] faceNormals - normals to input faces
 529    *  \param [in] theSrcMesh - initial mesh
 530    *  \param [in] theNewPos - a computed normal
 531    *  \return bool - true if theNewPos is computed
 532    */
 533   //================================================================================
 534
 535   bool getTranslatedPosition( const SMDS_MeshNode*         theNewNode,
 536                               const double                 theOffset,
 537                               const double                 theTol,
 538                               const double                 theSign,
 539                               const std::vector< gp_XYZ >& theFaceNormals,
 540                               SMDS_Mesh&                   theSrcMesh,
 541                               gp_XYZ&                      theNewPos)
 542   {
 543     bool useOneNormal = true;
 544
 545     // check if theNewNode needs an average position, i.e. theNewNode is convex
 546     // SMDS_ElemIteratorPtr faceIt = theNewNode->GetInverseElementIterator();
 547     // const SMDS_MeshElement*  f0 = faceIt->next();
 548     // const gp_XYZ&         norm0 = theFaceNormals[ f0->GetID() ];
 549     // const SMESH_NodeXYZ nodePos = theNewNode;
 550     // while ( faceIt->more() )
 551     // {
 552     //   const SMDS_MeshElement* f = faceIt->next();
 553     //   const int         nodeInd = f->GetNodeIndex( theNewNode );
 554     //   SMESH_NodeXYZ    nodePos2 = f->GetWrapNode( nodeInd + 1 );
 555     //   try {
 556     //     const gp_XYZ      nnDir = ( nodePos2 - nodePos ).Normalized();
 557     //   }
 558     //   catch {
 559     //     continue;
 560     //   }
 561     //   const double dot = norm0 * nnDir;
 562     //   bool isConvex =
 563
 564
 565
 566     // get faces surrounding theNewNode and sort them
 567     Face faces[ theMaxNbFaces ];
 568     SMDS_ElemIteratorPtr faceIt = theNewNode->GetInverseElementIterator();
 569     faces[0] = faceIt->next();
 570     while ( !faces[0].SetNormal( theFaceNormals ) && faceIt->more() )
 571       faces[0] = faceIt->next();
 572     int i0 = faces[0]->GetNodeIndex( theNewNode );
 573     int i1 = ( i0 + 1 ) % faces[0]->NbCornerNodes();
 574     faces[0].SetNodes( i0, i1 );
 575     TIDSortedElemSet elemSet, avoidSet;
 576     int iFace = 0;
 577     const SMDS_MeshElement* f;
 578     for ( ; faceIt->more(); faceIt->next() )
 579     {
 580       avoidSet.insert( faces[ iFace ].myFace );
 581       f = SMESH_MeshAlgos::FindFaceInSet( theNewNode, faces[ iFace ].myNode2.Node(),
 582                                           elemSet, avoidSet, &i0, &i1 );
 583       if ( !f )
 584       {
 585         std::reverse( &faces[0], &faces[0] + iFace + 1 );
 586         for ( int i = 0; i <= iFace; ++i )
 587         {
 588           std::swap( faces[i].myNode1, faces[i].myNode2 );
 589           faces[i].myNodeRightOrder = !faces[i].myNodeRightOrder;
 590         }
 591         f = SMESH_MeshAlgos::FindFaceInSet( theNewNode, faces[ iFace ].myNode2.Node(),
 592                                             elemSet, avoidSet, &i0, &i1 );
 593         if ( !f )
 594           break;
 595       }
 596       faces[ ++iFace ] = f;
 597       faces[ iFace ].SetNodes( i0, i1 );
 598       faces[ iFace ].SetNormal( theFaceNormals );
 599     }
 600     int nbFaces = Min( iFace + 1, (int)theMaxNbFaces );
 601
 602     theNewPos.SetCoord( 0, 0, 0 );
 603     gp_XYZ oldXYZ = SMESH_NodeXYZ( theNewNode );
 604
 605     // check if all faces are co-planar
 606     bool isPlanar = true;
 607     const double tol = 1e-2;
 608     for ( int i = 1; i < nbFaces &&  isPlanar;  ++i )
 609       isPlanar = ( faces[i].Norm() - faces[i-1].Norm() ).SquareModulus() < tol*tol;
 610
 611     if ( isPlanar )
 612     {
 613       theNewPos = oldXYZ + faces[0].Norm() * theOffset;
 614       return useOneNormal;
 615     }
 616
 617     // prepare OffsetPlane's
 618     OffsetPlane pln[ theMaxNbFaces ];
 619     for ( int i = 0; i < nbFaces; ++i )
 620     {
 621       faces[i].SetOldNodes( theSrcMesh );
 622       pln[i].Init( oldXYZ, faces[i], theOffset );
 623     }
 624     // intersect neighboring OffsetPlane's
 625     int nbOkPoints = 0;
 626     for ( int i = 1; i < nbFaces; ++i )
 627       nbOkPoints += pln[ i-1 ].ComputeIntersectionLine( pln[ i ]);
 628     nbOkPoints += pln[ nbFaces-1 ].ComputeIntersectionLine( pln[ 0 ]);
 629
 630     // move intersection lines to over parallel planes
 631     if ( nbOkPoints > 1 )
 632       for ( int i = 0; i < nbFaces; ++i )
 633         if ( pln[i].myIsLineOk[0] && !pln[i].myIsLineOk[1] )
 634           for ( int j = 1; j < nbFaces &&  !pln[i].myIsLineOk[1]; ++j )
 635           {
 636             int i2 = ( i + j ) % nbFaces;
 637             if ( pln[i2].myIsLineOk[0] )
 638               pln[i].SetSkewLine( pln[i2].myLines[0] );
 639           }
 640
 641     // get the translated position
 642     nbOkPoints = 0;
 643     double sumWegith = 0;
 644     const double minWeight = Sin( 30 * M_PI / 180. ) * Sin( 30 * M_PI / 180. );
 645     for ( int i = 0; i < nbFaces; ++i )
 646       if ( pln[ i ].Weight() > minWeight )
 647         theNewPos += pln[ i ].GetCommonPoint( nbOkPoints, sumWegith );
 648
 649     if ( nbOkPoints == 0 )
 650     {
 651       // there is only one feature edge;
 652       // find the theNewPos by projecting oldXYZ to any intersection line
 653       for ( int i = 0; i < nbFaces; ++i )
 654         theNewPos += pln[ i ].ProjectNodeOnLine( nbOkPoints );
 655
 656       if ( nbOkPoints == 0 )
 657       {
 658         theNewPos = oldXYZ + faces[0].Norm() * theOffset;
 659         return useOneNormal;
 660       }
 661       sumWegith = nbOkPoints;
 662     }
 663     theNewPos /= sumWegith;
 664
 665
 666     // mark theNewNode if it is concave
 667     useOneNormal = false;
 668     gp_Vec moveVec( oldXYZ, theNewPos );
 669     for ( int i = 0, iPrev = nbFaces-1; i < nbFaces; iPrev = i++ )
 670     {
 671       gp_Vec nodeVec( oldXYZ, faces[ i ].myNode1 );
 672       double u = ( moveVec * nodeVec ) / nodeVec.SquareMagnitude();
 673       if ( u > 0.5 ) // param [0,1] on nodeVec
 674       {
 675         theNewNode->setIsMarked( true );
 676       }
 677       if ( !useOneNormal )
 678       {
 679         gp_XYZ inFaceVec = faces[ i ].Norm() ^ nodeVec.XYZ();
 680         double       dot = inFaceVec * faces[ iPrev ].Norm();
 681         if ( !faces[ i ].myNodeRightOrder )
 682           dot *= -1;
 683         if ( dot * theSign < 0 )
 684         {
 685           gp_XYZ p1 = oldXYZ + faces[ i ].Norm()     * theOffset;
 686           gp_XYZ p2 = oldXYZ + faces[ iPrev ].Norm() * theOffset;
 687           useOneNormal = ( p1 - p2 ).SquareModulus() > theTol * theTol;
 688         }
 689       }
 690       if ( useOneNormal && theNewNode->isMarked() )
 691         break;
 692     }
 693
 694     return useOneNormal;
 695   }
 696
 697   //--------------------------------------------------------------------------------
 698   /*!
 699    * \brief Intersect faces of a mesh
 700    */
 701   struct Intersector
 702   {
 703     SMDS_Mesh*                   myMesh;
 704     double                       myTol, myEps;
 705     const std::vector< gp_XYZ >& myNormals;
 706     TCutLinkMap                  myCutLinks; //!< assure sharing of new nodes
 707     TCutFaceMap                  myCutFaces;
 708     TNNMap                       myRemove2KeepNodes; //!< node merge map
 709
 710     // data to intersect 2 faces
 711     const SMDS_MeshElement*      myFace1;
 712     const SMDS_MeshElement*      myFace2;
 713     std::vector< SMESH_NodeXYZ > myNodes1, myNodes2;
 714     std::vector< double >        myDist1,  myDist2;
 715     int                          myInd1, myInd2; // coordinate indices on an axis-aligned plane
 716     int                          myNbOnPlane1, myNbOnPlane2;
 717     TIntPointSet                 myIntPointSet;
 718
 719     Intersector( SMDS_Mesh* mesh, double tol, const std::vector< gp_XYZ >& normals )
 720       : myMesh( mesh ),
 721         myTol( tol ),
 722         myEps( 1e-100 ),
 723         //myEps( Sqrt( std::numeric_limits<double>::min() )),
 724         //myEps( gp::Resolution() ),
 725         myNormals( normals )
 726     {}
 727     void Cut( const SMDS_MeshElement* face1,
 728               const SMDS_MeshElement* face2,
 729               const int               nbCommonNodes );
 730     void MakeNewFaces( SMESH_MeshAlgos::TEPairVec& theNew2OldFaces,
 731                        SMESH_MeshAlgos::TNPairVec& theNew2OldNodes,
 732                        const double                theSign );
 733
 734   private:
 735
 736     bool isPlaneIntersected( const gp_XYZ&                       n2,
 737                              const double                        d2,
 738                              const std::vector< SMESH_NodeXYZ >& nodes1,
 739                              std::vector< double > &             dist1,
 740                              int &                               nbOnPlane1,
 741                              int &                               iNotOnPlane1);
 742     void computeIntervals( const std::vector< SMESH_NodeXYZ >& nodes,
 743                            const std::vector< double >&        dist,
 744                            const int                           nbOnPln,
 745                            const int                           iMaxCoo,
 746                            double *                            u,
 747                            int*                                iE);
 748     void cutCoplanar();
 749     void addLink ( CutLink& link );
 750     bool findLink( CutLink& link );
 751     bool coincide( const gp_XYZ& p1, const gp_XYZ& p2, const double tol ) const
 752     {
 753       return ( p1 - p2 ).SquareModulus() < tol * tol;
 754     }
 755     gp_XY p2D( const gp_XYZ& p ) const { return gp_XY( p.Coord( myInd1 ), p.Coord( myInd2 )); }
 756
 757     void intersectLink( const std::vector< SMESH_NodeXYZ >& nodes1,
 758                         const std::vector< double > &       dist1,
 759                         const int                           iEdge1,
 760                         const SMDS_MeshElement*             face2,
 761                         CutLink&                            link1);
 762     void findIntPointOnPlane( const std::vector< SMESH_NodeXYZ >& nodes,
 763                               const std::vector< double > &       dist,
 764                               CutLink&                            link );
 765     void replaceIntNode( const SMDS_MeshNode* nToKeep, const SMDS_MeshNode* nToRemove );
 766     void computeIntPoint( const double           u1,
 767                           const double           u2,
 768                           const int              iE1,
 769                           const int              iE2,
 770                           CutLink &              link,
 771                           const SMDS_MeshNode* & node1,
 772                           const SMDS_MeshNode* & node2);
 773     void cutCollinearLink( const int                           iNotOnPlane1,
 774                            const std::vector< SMESH_NodeXYZ >& nodes1,
 775                            const SMDS_MeshElement*             face2,
 776                            const CutLink&                      link1,
 777                            const CutLink&                      link2);
 778     void setPlaneIndices( const gp_XYZ& planeNorm );
 779     bool intersectEdgeEdge( const gp_XY s1p0, const gp_XY s1p1,
 780                             const gp_XY s2p0, const gp_XY s2p1,
 781                             double &    t1,   double &    t2,
 782                             bool &      isCollinear  );
 783     bool intersectEdgeEdge( int iE1, int iE2, IntPoint2D& intPoint );
 784     bool isPointInTriangle( const gp_XYZ& p, const std::vector< SMESH_NodeXYZ >& nodes );
 785     void intersectNewEdges( const CutFace& theCFace );
 786     const SMDS_MeshNode* createNode( const gp_XYZ& p );
 787   };
 788
 789   //================================================================================
 790   /*!
 791    * \brief Return coordinate index with maximal abs value
 792    */
 793   //================================================================================
 794
 795   int MaxIndex( const gp_XYZ& x )
 796   {
 797     int iMaxCoo = ( Abs( x.X()) < Abs( x.Y() )) + 1;
 798     if ( Abs( x.Coord( iMaxCoo )) < Abs( x.Z() ))
 799       iMaxCoo = 3;
 800     return iMaxCoo;
 801   }
 802   //================================================================================
 803   /*!
 804    * \brief Store a CutLink
 805    */
 806   //================================================================================
 807
 808   const SMDS_MeshNode* Intersector::createNode( const gp_XYZ& p )
 809   {
 810     const SMDS_MeshNode* n = myMesh->AddNode( p.X(), p.Y(), p.Z() );
 811     n->setIsMarked( true ); // cut nodes are marked
 812     return n;
 813   }
 814
 815   //================================================================================
 816   /*!
 817    * \brief Store a CutLink
 818    */
 819   //================================================================================
 820
 821   void Intersector::addLink( CutLink& link )
 822   {
 823     link.myIndex = 0;
 824     const CutLink* added = & myCutLinks.Added( link );
 825     while ( added->myIntNode.Node() != link.myIntNode.Node() )
 826     {
 827       if ( !added->myIntNode )
 828       {
 829         added->myIntNode = link.myIntNode;
 830         break;
 831       }
 832       else
 833       {
 834         link.myIndex++;
 835         added = & myCutLinks.Added( link );
 836       }
 837     }
 838     link.myIndex = 0;
 839   }
 840
 841   //================================================================================
 842   /*!
 843    * \brief Find a CutLink with an intersection point coincident with that of a given link
 844    */
 845   //================================================================================
 846
 847   bool Intersector::findLink( CutLink& link )
 848   {
 849     link.myIndex = 0;
 850     while ( myCutLinks.Contains( link ))
 851     {
 852       const CutLink* added = & myCutLinks.Added( link );
 853       if ( !!added->myIntNode && coincide( added->myIntNode, link.myIntNode, myTol ))
 854       {
 855         link.myIntNode = added->myIntNode;
 856         return true;
 857       }
 858       link.myIndex++;
 859     }
 860     return false;
 861   }
 862
 863   //================================================================================
 864   /*!
 865    * \brief Check if a triangle intersects the plane of another triangle
 866    *  \param [in] nodes1 - nodes of triangle 1
 867    *  \param [in] n2 - normal of triangle 2
 868    *  \param [in] d2 - a constant of the plane equation 2
 869    *  \param [out] dist1 - distance of nodes1 from the plane 2
 870    *  \param [out] nbOnPlane - number of nodes1 lying on the plane 2
 871    *  \return bool - true if the triangle intersects the plane 2
 872    */
 873   //================================================================================
 874
 875   bool Intersector::isPlaneIntersected( const gp_XYZ&                       n2,
 876                                         const double                        d2,
 877                                         const std::vector< SMESH_NodeXYZ >& nodes1,
 878                                         std::vector< double > &             dist1,
 879                                         int &                               nbOnPlane1,
 880                                         int &                               iNotOnPlane1)
 881   {
 882     iNotOnPlane1 = nbOnPlane1 = 0;
 883     dist1.resize( nodes1.size() );
 884     for ( size_t i = 0; i < nodes1.size(); ++i )
 885     {
 886       dist1[i] = n2 * nodes1[i] + d2;
 887       if ( Abs( dist1[i] ) < myTol )
 888       {
 889         ++nbOnPlane1;
 890         dist1[i] = 0.;
 891       }
 892       else
 893       {
 894         iNotOnPlane1 = i;
 895       }
 896     }
 897     if ( nbOnPlane1 == 0 )
 898       for ( size_t i = 0; i < nodes1.size(); ++i )
 899         if ( dist1[iNotOnPlane1] * dist1[i] < 0 )
 900           return true;
 901
 902     return nbOnPlane1;
 903   }
 904
 905   //================================================================================
 906   /*!
 907    * \brief Compute parameters on the plane intersection line of intersections
 908    *        of edges of a triangle
 909    *  \param [in] nodes - triangle nodes
 910    *  \param [in] dist - distance of triangle nodes from the plane of another triangle
 911    *  \param [in] nbOnPln - number of nodes lying on the plane of another triangle
 912    *  \param [in] iMaxCoo - index of coordinate of max component of the plane intersection line
 913    *  \param [out] u - two computed parameters on the plane intersection line
 914    *  \param [out] iE - indices of intersected edges
 915    */
 916   //================================================================================
 917
 918   void Intersector::computeIntervals( const std::vector< SMESH_NodeXYZ >& nodes,
 919                                       const std::vector< double >&        dist,
 920                                       const int                           nbOnPln,
 921                                       const int                           iMaxCoo,
 922                                       double *                            u,
 923                                       int*                                iE)
 924   {
 925     if ( nbOnPln == 3 )
 926     {
 927       u[0] = u[1] = 1e+100;
 928       return;
 929     }
 930     int nb = 0;
 931     int i1 = 2, i2 = 0;
 932     if ( nbOnPln == 1 && ( dist[i1] == 0. || dist[i2] == 0 ))
 933     {
 934       int i = dist[i1] == 0 ? i1 : i2;
 935       u [ 1 ] = nodes[ i ].Coord( iMaxCoo );
 936       iE[ 1 ] = i;
 937       i1 = i2++;
 938     }
 939     for ( ; i2 < 3 && nb < 2;  i1 = i2++ )
 940     {
 941       double dd = dist[i1] - dist[i2];
 942       if ( dd != 0. && dist[i2] * dist[i1] <= 0. )
 943       {
 944         double x1 = nodes[i1].Coord( iMaxCoo );
 945         double x2 = nodes[i2].Coord( iMaxCoo );
 946         u [ nb ] = x1 + ( x2 - x1 ) * dist[i1] / dd;
 947         iE[ nb ] = i1;
 948         ++nb;
 949       }
 950     }
 951     if ( u[0] > u[1] )
 952     {
 953       std::swap( u [0], u [1] );
 954       std::swap( iE[0], iE[1] );
 955     }
 956   }
 957
 958   //================================================================================
 959   /*!
 960    * \brief Try to find an intersection node on a link collinear with the plane intersection line
 961    */
 962   //================================================================================
 963
 964   void Intersector::findIntPointOnPlane( const std::vector< SMESH_NodeXYZ >& nodes,
 965                                          const std::vector< double > &       dist,
 966                                          CutLink&                            link )
 967   {
 968     int i1 = ( dist[0] == 0 ? 0 : 1 ), i2 = ( dist[2] == 0 ? 2 : 1 );
 969     CutLink link2 = link;
 970     link2.Set( nodes[i1].Node(), nodes[i2].Node(), 0 );
 971     if ( findLink( link2 ))
 972       link.myIntNode = link2.myIntNode;
 973   }
 974
 975   //================================================================================
 976   /*!
 977    * \brief Compute intersection point of a link1 with a face2
 978    */
 979   //================================================================================
 980
 981   void Intersector::intersectLink( const std::vector< SMESH_NodeXYZ >& nodes1,
 982                                    const std::vector< double > &       dist1,
 983                                    const int                           iEdge1,
 984                                    const SMDS_MeshElement*             face2,
 985                                    CutLink&                            link1)
 986   {
 987     const int iEdge2 = ( iEdge1 + 1 ) % nodes1.size();
 988     const SMESH_NodeXYZ& p1 = nodes1[ iEdge1 ];
 989     const SMESH_NodeXYZ& p2 = nodes1[ iEdge2 ];
 990
 991     link1.Set( p1.Node(), p2.Node(), face2 );
 992     const CutLink* link = & myCutLinks.Added( link1 );
 993     if ( !link->IntNode() )
 994     {
 995       if      ( dist1[ iEdge1 ] == 0. ) link1.myIntNode = p1;
 996       else if ( dist1[ iEdge2 ] == 0. ) link1.myIntNode = p2;
 997       else
 998       {
 999         gp_XYZ p = p1 + ( p2 - p1 ) * dist1[ iEdge1 ] / ( dist1[ iEdge1 ] - dist1[ iEdge2 ]);
1000         (gp_XYZ&)link1.myIntNode = p;
1001       }
1002     }
1003     else
1004     {
1005       gp_XYZ p = p1 + ( p2 - p1 ) * dist1[ iEdge1 ] / ( dist1[ iEdge1 ] - dist1[ iEdge2 ]);
1006       while ( link->IntNode() )
1007       {
1008         if ( coincide( p, link->myIntNode, myTol ))
1009         {
1010           link1.myIntNode = link->myIntNode;
1011           break;
1012         }
1013         link1.myIndex++;
1014         link = & myCutLinks.Added( link1 );
1015       }
1016       if ( !link1.IntNode() )
1017       {
1018         if      ( dist1[ iEdge1 ] == 0. ) link1.myIntNode = p1;
1019         else if ( dist1[ iEdge2 ] == 0. ) link1.myIntNode = p2;
1020         else                     (gp_XYZ&)link1.myIntNode = p;
1021       }
1022     }
1023   }
1024
1025   //================================================================================
1026   /*!
1027    * \brief Store node replacement in myCutFaces
1028    */
1029   //================================================================================
1030
1031   void Intersector::replaceIntNode( const SMDS_MeshNode* nToKeep,
1032                                     const SMDS_MeshNode* nToRemove )
1033   {
1034     if ( nToKeep == nToRemove )
1035       return;
1036     if ( nToRemove->GetID() < nToKeep->GetID() ) // keep node with lower ID
1037       myRemove2KeepNodes.Bind((void*) nToKeep, nToRemove );
1038     else
1039       myRemove2KeepNodes.Bind((void*) nToRemove, nToKeep );
1040   }
1041
1042   //================================================================================
1043   /*!
1044    * \brief Compute intersection point on a link of either of faces by choosing
1045    *        a link whose parameter on the intersection line in maximal
1046    *  \param [in] u1 - parameter on the intersection line of link iE1 of myFace1
1047    *  \param [in] u2 - parameter on the intersection line of link iE2 of myFace2
1048    *  \param [in] iE1 - index of a link myFace1
1049    *  \param [in] iE2 - index of a link myFace2
1050    *  \param [out] link - CutLink storing the intersection point
1051    *  \param [out] node1 - a node of the 2nd link if two links intersect
1052    *  \param [out] node2 - a node of the 2nd link if two links intersect
1053    */
1054   //================================================================================
1055
1056   void Intersector::computeIntPoint( const double           u1,
1057                                      const double           u2,
1058                                      const int              iE1,
1059                                      const int              iE2,
1060                                      CutLink &              link,
1061                                      const SMDS_MeshNode* & node1,
1062                                      const SMDS_MeshNode* & node2)
1063   {
1064     if      ( u1 > u2 + myTol )
1065     {
1066       intersectLink( myNodes1, myDist1, iE1, myFace2, link );
1067       node1 = node2 = 0;
1068       if ( myNbOnPlane2 == 2 )
1069         findIntPointOnPlane( myNodes2, myDist2, link );
1070     }
1071     else if ( u2 > u1 + myTol )
1072     {
1073       intersectLink( myNodes2, myDist2, iE2, myFace1, link );
1074       node1 = node2 = 0;
1075       if ( myNbOnPlane1 == 2 )
1076         findIntPointOnPlane( myNodes1, myDist1, link );
1077     }
1078     else // edges of two faces intersect the line at the same point
1079     {
1080       CutLink link2;
1081       intersectLink( myNodes1, myDist1, iE1, myFace2, link );
1082       intersectLink( myNodes2, myDist2, iE2, myFace1, link2 );
1083       node1 = link2.Node1();
1084       node2 = link2.Node2();
1085
1086       if      ( !link.IntNode() && link2.IntNode() )
1087         link.myIntNode = link2.myIntNode;
1088
1089       else if ( !link.IntNode() && !link2.IntNode() )
1090         (gp_XYZ&)link.myIntNode = 0.5 * ( link.myIntNode + link2.myIntNode );
1091
1092       else if ( link.IntNode() && link2.IntNode() )
1093         replaceIntNode( link.IntNode(), link2.IntNode() );
1094     }
1095   }
1096
1097   //================================================================================
1098   /*!
1099    * \brief Add intersections to a link collinear with the intersection line
1100    */
1101   //================================================================================
1102
1103   void Intersector::cutCollinearLink( const int                           iNotOnPlane1,
1104                                       const std::vector< SMESH_NodeXYZ >& nodes1,
1105                                       const SMDS_MeshElement*             face2,
1106                                       const CutLink&                      link1,
1107                                       const CutLink&                      link2)
1108
1109   {
1110     int iN1 = ( iNotOnPlane1 + 1 ) % 3;
1111     int iN2 = ( iNotOnPlane1 + 2 ) % 3;
1112     CutLink link( nodes1[ iN1 ].Node(), nodes1[ iN2 ].Node(), face2 );
1113     if ( link1.myFace != face2 )
1114     {
1115       link.myIntNode = link1.myIntNode;
1116       addLink( link );
1117     }
1118     if ( link2.myFace != face2 )
1119     {
1120       link.myIntNode = link2.myIntNode;
1121       addLink( link );
1122     }
1123   }
1124
1125   //================================================================================
1126   /*!
1127    * \brief Choose indices on an axis-aligned plane
1128    */
1129   //================================================================================
1130
1131   void Intersector::setPlaneIndices( const gp_XYZ& planeNorm )
1132   {
1133     switch ( MaxIndex( planeNorm )) {
1134     case 1: myInd1 = 2; myInd2 = 3; break;
1135     case 2: myInd1 = 3; myInd2 = 1; break;
1136     case 3: myInd1 = 1; myInd2 = 2; break;
1137     }
1138   }
1139
1140   //================================================================================
1141   /*!
1142    * \brief Intersect two faces
1143    */
1144   //================================================================================
1145
1146   void Intersector::Cut( const SMDS_MeshElement* face1,
1147                          const SMDS_MeshElement* face2,
1148                          const int               nbCommonNodes)
1149   {
1150     myFace1 = face1;
1151     myFace2 = face2;
1152     myNodes1.assign( face1->begin_nodes(), face1->end_nodes() );
1153     myNodes2.assign( face2->begin_nodes(), face2->end_nodes() );
1154
1155     const gp_XYZ& n1 = myNormals[ face1->GetID() ];
1156     const gp_XYZ& n2 = myNormals[ face2->GetID() ];
1157
1158     // check if triangles intersect
1159     int iNotOnPlane1, iNotOnPlane2;
1160     const double d2 = -( n2 * myNodes2[0]);
1161     if ( !isPlaneIntersected( n2, d2, myNodes1, myDist1, myNbOnPlane1, iNotOnPlane1 ))
1162       return;
1163     const double d1 = -( n1 * myNodes1[0]);
1164     if ( !isPlaneIntersected( n1, d1, myNodes2, myDist2, myNbOnPlane2, iNotOnPlane2 ))
1165       return;
1166
1167     if ( myNbOnPlane1 == 3 || myNbOnPlane2 == 3 )// triangles are co-planar
1168     {
1169       setPlaneIndices( myNbOnPlane1 == 3 ? n2 : n1 ); // choose indices on an axis-aligned plane
1170       cutCoplanar();
1171     }
1172     else if ( nbCommonNodes < 2 ) // triangle planes intersect
1173     {
1174       gp_XYZ lineDir = n1 ^ n2; // intersection line
1175
1176       // check if intervals of intersections of triangles with lineDir overlap
1177
1178       double u1[2], u2 [2]; // parameters on lineDir of edge intersection points { minU, maxU }
1179       int   iE1[2], iE2[2]; // indices of edges
1180       int iMaxCoo = MaxIndex( lineDir );
1181       computeIntervals( myNodes1, myDist1, myNbOnPlane1, iMaxCoo, u1, iE1 );
1182       computeIntervals( myNodes2, myDist2, myNbOnPlane2, iMaxCoo, u2, iE2 );
1183       if ( u1[1] < u2[0] - myTol || u2[1] < u1[0] - myTol )
1184         return; // intervals do not overlap
1185
1186       // make intersection nodes
1187
1188       const SMDS_MeshNode *l1n1, *l1n2, *l2n1, *l2n2;
1189       CutLink link1; // intersection with smaller u on lineDir
1190       computeIntPoint( u1[0], u2[0], iE1[0], iE2[0], link1, l1n1, l1n2 );
1191       CutLink link2; // intersection with larger u on lineDir
1192       computeIntPoint( -u1[1], -u2[1], iE1[1], iE2[1], link2, l2n1, l2n2 );
1193
1194       const CutFace& cf1 = myCutFaces.Added( CutFace( face1 ));
1195       const CutFace& cf2 = myCutFaces.Added( CutFace( face2 ));
1196
1197       if ( coincide( link1.myIntNode, link2.myIntNode, myTol ))
1198       {
1199         // intersection is a point
1200         if ( link1.IntNode() && link2.IntNode() )
1201           replaceIntNode( link1.IntNode(), link2.IntNode() );
1202
1203         CutLink* link = link2.IntNode() ? &link2 : &link1;
1204         if ( !link->IntNode() )
1205         {
1206           gp_XYZ p = 0.5 * ( link1.myIntNode + link2.myIntNode );
1207           link->myIntNode.Set( createNode( p ));
1208         }
1209         if ( !link1.IntNode() ) link1.myIntNode = link2.myIntNode;
1210         if ( !link2.IntNode() ) link2.myIntNode = link1.myIntNode;
1211
1212         cf1.AddPoint( link1, link2, myTol );
1213         cf2.AddPoint( link1, link2, myTol );
1214       }
1215       else
1216       {
1217         // intersection is a line segment
1218         if ( !link1.IntNode() )
1219           link1.myIntNode.Set( createNode( link1.myIntNode ));
1220         if ( !link2.IntNode() )
1221           link2.myIntNode.Set( createNode( link2.myIntNode ));
1222
1223         cf1.AddEdge( link1, link2, face2, myNbOnPlane1, iNotOnPlane1 );
1224         if ( l1n1 ) link1.Set( l1n1, l1n2, face2 );
1225         if ( l2n1 ) link2.Set( l2n1, l2n2, face2 );
1226         cf2.AddEdge( link1, link2, face1, myNbOnPlane2, iNotOnPlane2 );
1227
1228         // add intersections to a link collinear with the intersection line
1229         if ( myNbOnPlane1 == 2 && ( link1.myFace != face2 || link2.myFace != face2 ))
1230           cutCollinearLink( iNotOnPlane1, myNodes1, face2, link1, link2 );
1231
1232         if ( myNbOnPlane2 == 2 && ( link1.myFace != face1 || link2.myFace != face1 ))
1233           cutCollinearLink( iNotOnPlane2, myNodes2, face1, link1, link2 );
1234       }
1235
1236       addLink( link1 );
1237       addLink( link2 );
1238
1239     } // non co-planar case
1240
1241     return;
1242   }
1243
1244   //================================================================================
1245   /*!
1246    * \brief Intersect two 2D line segments
1247    */
1248   //================================================================================
1249
1250   bool Intersector::intersectEdgeEdge( const gp_XY s1p0, const gp_XY s1p1,
1251                                        const gp_XY s2p0, const gp_XY s2p1,
1252                                        double &    t1,   double &    t2,
1253                                        bool &      isCollinear )
1254   {
1255     gp_XY u = s1p1 - s1p0;
1256     gp_XY v = s2p1 - s2p0;
1257     gp_XY w = s1p0 - s2p0;
1258     double perpDotUV = u * gp_XY( -v.Y(), v.X() );
1259     double perpDotVW = v * gp_XY( -w.Y(), w.X() );
1260     double perpDotUW = u * gp_XY( -w.Y(), w.X() );
1261     double        u2 = u.SquareModulus();
1262     double        v2 = v.SquareModulus();
1263     if ( u2 < myEps * myEps || v2 < myEps * myEps )
1264       return false;
1265     if ( perpDotUV * perpDotUV / u2 / v2 < 1e-6 ) // cos ^ 2
1266     {
1267       if ( !isCollinear )
1268         return false; // no need in collinear solution
1269       if ( perpDotUW * perpDotUW / u2 > myTol * myTol )
1270         return false; // parallel
1271
1272       // collinear
1273       gp_XY w2 = s1p1 - s2p0;
1274       if ( Abs( v.X()) + Abs( u.X()) > Abs( v.Y()) + Abs( u.Y())) {
1275         t1 = w.X() / v.X();  // params on segment 2
1276         t2 = w2.X() / v.X();
1277       }
1278       else {
1279         t1 = w.Y() / v.Y();
1280         t2 = w2.Y() / v.Y();
1281       }
1282       if ( Max( t1,t2 ) <= 0 || Min( t1,t2 ) >= 1 )
1283         return false; // no overlap
1284       return true;
1285     }
1286     isCollinear = false;
1287
1288     t1 = perpDotVW / perpDotUV; // param on segment 1
1289     if ( t1 < 0. || t1 > 1. )
1290       return false; // intersection not within the segment
1291
1292     t2 = perpDotUW / perpDotUV; // param on segment 2
1293     if ( t2 < 0. || t2 > 1. )
1294       return false; // intersection not within the segment
1295
1296     return true;
1297   }
1298
1299   //================================================================================
1300   /*!
1301    * \brief Intersect two edges of co-planar triangles
1302    *  \param [inout] iE1 - edge index of triangle 1
1303    *  \param [inout] iE2 - edge index of triangle 2
1304    *  \param [inout] intPoints - intersection points
1305    *  \param [inout] nbIntPoints - nb of found intersection points
1306    */
1307   //================================================================================
1308
1309   bool Intersector::intersectEdgeEdge( int iE1, int iE2, IntPoint2D& intPoint )
1310   {
1311     int i01 = iE1, i11 = ( iE1 + 1 ) % 3;
1312     int i02 = iE2, i12 = ( iE2 + 1 ) % 3;
1313     if (( !intPoint.myIsCollinear ) &&
1314         ( myNodes1[ i01 ] == myNodes2[ i02 ] ||
1315           myNodes1[ i01 ] == myNodes2[ i12 ] ||
1316           myNodes1[ i11 ] == myNodes2[ i02 ] ||
1317           myNodes1[ i11 ] == myNodes2[ i12 ] ))
1318       return false;
1319
1320     // segment 1
1321     gp_XY s1p0 = p2D( myNodes1[ i01 ]);
1322     gp_XY s1p1 = p2D( myNodes1[ i11 ]);
1323
1324     // segment 2
1325     gp_XY s2p0 = p2D( myNodes2[ i02 ]);
1326     gp_XY s2p1 = p2D( myNodes2[ i12 ]);
1327
1328     double t1, t2;
1329     if ( !intersectEdgeEdge( s1p0,s1p1, s2p0,s2p1, t1, t2, intPoint.myIsCollinear ))
1330       return false;
1331
1332     intPoint.myEdgeInd[0] = iE1;
1333     intPoint.myEdgeInd[1] = iE2;
1334     intPoint.myU[0] = t1;
1335     intPoint.myU[1] = t2;
1336     (gp_XYZ&)intPoint.myNode = myNodes1[i01] * ( 1 - t1 ) + myNodes1[i11] * t1;
1337
1338     if ( intPoint.myIsCollinear )
1339       return true;
1340
1341     // try to find existing node at intPoint.myNode
1342
1343     if ( myNodes1[ i01 ] == myNodes2[ i02 ] ||
1344          myNodes1[ i01 ] == myNodes2[ i12 ] ||
1345          myNodes1[ i11 ] == myNodes2[ i02 ] ||
1346          myNodes1[ i11 ] == myNodes2[ i12 ] )
1347       return false;
1348
1349     const double coincTol = myTol * 1e-3;
1350
1351     CutLink link1( myNodes1[i01].Node(), myNodes1[i11].Node(), myFace2 );
1352     CutLink link2( myNodes2[i02].Node(), myNodes2[i12].Node(), myFace1 );
1353
1354     SMESH_NodeXYZ& n1 = myNodes1[ t1 < 0.5 ? i01 : i11 ];
1355     bool same1 = coincide( n1, intPoint.myNode, coincTol );
1356     if ( same1 )
1357     {
1358       link2.myIntNode = intPoint.myNode = n1;
1359       addLink( link2 );
1360     }
1361     SMESH_NodeXYZ& n2 = myNodes2[ t2 < 0.5 ? i02 : i12 ];
1362     bool same2 = coincide( n2, intPoint.myNode, coincTol );
1363     if ( same2 )
1364     {
1365       link1.myIntNode = intPoint.myNode = n2;
1366       addLink( link1 );
1367       if ( same1 )
1368       {
1369         replaceIntNode( n1.Node(), n2.Node() );
1370         return false;
1371       }
1372       return true;
1373     }
1374     if ( same1 )
1375       return true;
1376
1377     link1.myIntNode = intPoint.myNode;
1378     if ( findLink( link1 ))
1379     {
1380       intPoint.myNode = link2.myIntNode = link1.myIntNode;
1381       addLink( link2 );
1382       return true;
1383     }
1384
1385     link2.myIntNode = intPoint.myNode;
1386     if ( findLink( link2 ))
1387     {
1388       intPoint.myNode = link1.myIntNode = link2.myIntNode;
1389       addLink( link1 );
1390       return true;
1391     }
1392
1393     for ( int is2nd = 0; is2nd < 2; ++is2nd )
1394     {
1395       const SMDS_MeshElement* f = is2nd ? myFace1 : myFace2;
1396       const CutFace&         cf = myCutFaces.Added( CutFace( is2nd ? myFace2 : myFace1 ));
1397       for ( size_t i = 0; i < cf.myLinks.size(); ++i )
1398         if ( cf.myLinks[i].myFace == f &&
1399              //cf.myLinks[i].myIndex != EdgePart::_COPLANAR &&
1400              coincide( intPoint.myNode, SMESH_NodeXYZ( cf.myLinks[i].myNode1 ), coincTol ))
1401         {
1402           intPoint.myNode.Set( cf.myLinks[i].myNode1 );
1403           return true;
1404         }
1405     }
1406
1407     // make a new node
1408
1409     intPoint.myNode._node = createNode( intPoint.myNode );
1410     link1.myIntNode = link2.myIntNode = intPoint.myNode;
1411     addLink( link1 );
1412     addLink( link2 );
1413
1414     return true;
1415   }
1416
1417
1418   //================================================================================
1419   /*!
1420    * \brief Check if a point is contained in a triangle
1421    */
1422   //================================================================================
1423
1424   bool Intersector::isPointInTriangle( const gp_XYZ& p, const std::vector< SMESH_NodeXYZ >& nodes )
1425   {
1426     double bc1, bc2;
1427     SMESH_MeshAlgos::GetBarycentricCoords( p2D( p ),
1428                                            p2D( nodes[0] ), p2D( nodes[1] ), p2D( nodes[2] ),
1429                                            bc1, bc2 );
1430     return ( 0. < bc1 && 0. < bc2 && bc1 + bc2 < 1. );
1431   }
1432
1433   //================================================================================
1434   /*!
1435    * \brief Intersect two co-planar faces
1436    */
1437   //================================================================================
1438
1439   void Intersector::cutCoplanar()
1440   {
1441     // find intersections of edges
1442
1443     IntPoint2D intPoints[ 6 ];
1444     int      nbIntPoints = 0;
1445     for ( int iE1 = 0; iE1 < 3; ++iE1 )
1446     {
1447       int maxNbIntPoints = nbIntPoints + 2;
1448       for ( int iE2 = 0; iE2 < 3 &&  nbIntPoints < maxNbIntPoints; ++iE2 )
1449         nbIntPoints += intersectEdgeEdge( iE1, iE2, intPoints[ nbIntPoints ]);
1450     }
1451     const int minNbOnPlane = Min( myNbOnPlane1, myNbOnPlane2 );
1452
1453     if ( nbIntPoints == 0 ) // no intersections of edges
1454     {
1455       bool is1in2;
1456       if      ( isPointInTriangle( myNodes1[0], myNodes2 )) // face2 includes face1
1457         is1in2 = true;
1458       else if ( isPointInTriangle( myNodes2[0], myNodes1 )) // face1 includes face2
1459         is1in2 = false;
1460       else
1461         return;
1462
1463       // add edges of an inner triangle to an outer one
1464
1465       const std::vector< SMESH_NodeXYZ >& nodesIn = is1in2 ? myNodes1 : myNodes2;
1466       const SMDS_MeshElement*             faceOut = is1in2 ? myFace2  : myFace1;
1467       const SMDS_MeshElement*              faceIn = is1in2 ? myFace1  : myFace2;
1468
1469       const CutFace& outFace = myCutFaces.Added( CutFace( faceOut ));
1470       CutLink link1( nodesIn.back().Node(), nodesIn.back().Node(), faceOut );
1471       CutLink link2( nodesIn.back().Node(), nodesIn.back().Node(), faceOut );
1472
1473       link1.myIntNode = nodesIn.back();
1474       for ( size_t i = 0; i < nodesIn.size(); ++i )
1475       {
1476         link2.myIntNode = nodesIn[ i ];
1477         outFace.AddEdge( link1, link2, faceIn, minNbOnPlane );
1478         link1.myIntNode = link2.myIntNode;
1479       }
1480     }
1481     else
1482     {
1483       // add parts of edges to a triangle including them
1484
1485       CutLink link1, link2;
1486       IntPoint2D ip0, ip1;
1487       ip0.myU[0] = ip0.myU[1] = 0.;
1488       ip1.myU[0] = ip1.myU[1] = 1.;
1489       ip0.myEdgeInd[0] = ip0.myEdgeInd[1] = ip1.myEdgeInd[0] = ip1.myEdgeInd[1] = 0;
1490
1491       for ( int isFromFace1 = 0; isFromFace1 < 2; ++isFromFace1 )
1492       {
1493         const SMDS_MeshElement*                faceTo = isFromFace1 ? myFace2  : myFace1;
1494         const SMDS_MeshElement*              faceFrom = isFromFace1 ? myFace1  : myFace2;
1495         const std::vector< SMESH_NodeXYZ >&   nodesTo = isFromFace1 ? myNodes2 : myNodes1;
1496         const std::vector< SMESH_NodeXYZ >& nodesFrom = isFromFace1 ? myNodes1 : myNodes2;
1497         const int                                 iTo = isFromFace1 ? 1 : 0;
1498         const int                               iFrom = isFromFace1 ? 0 : 1;
1499         //const int                       nbOnPlaneFrom = isFromFace1 ? myNbOnPlane1 : myNbOnPlane2;
1500
1501         const CutFace* cutFaceTo   = & myCutFaces.Added( CutFace( faceTo ));
1502         // const CutFace* cutFaceFrom = 0;
1503         // if ( nbOnPlaneFrom > minNbOnPlane )
1504         //   cutFaceFrom = & myCutFaces.Added( CutFace( faceTo ));
1505
1506         link1.myFace = link2.myFace = faceTo;
1507
1508         IntPoint2DCompare ipCompare( iFrom );
1509         TIntPointPtrSet pointsOnEdge( ipCompare ); // IntPoint2D sorted by parameter on edge
1510
1511         for ( size_t iE = 0; iE < nodesFrom.size(); ++iE )
1512         {
1513           // get parts of an edge iE
1514
1515           ip0.myEdgeInd[ iTo ] = iE;
1516           ip1.myEdgeInd[ iTo ] = ( iE + 1 ) % nodesFrom.size();
1517           ip0.myNode = nodesFrom[ ip0.myEdgeInd[ iTo ]];
1518           ip1.myNode = nodesFrom[ ip1.myEdgeInd[ iTo ]];
1519
1520           pointsOnEdge.clear();
1521
1522           for ( int iP = 0; iP < nbIntPoints; ++iP )
1523             if ( intPoints[ iP ].myEdgeInd[ iFrom ] == iE )
1524               pointsOnEdge.insert( & intPoints[ iP ] );
1525
1526           pointsOnEdge.insert( pointsOnEdge.begin(), & ip0 );
1527           pointsOnEdge.insert( pointsOnEdge.end(),   & ip1 );
1528
1529           // add edge parts to faceTo
1530
1531           TIntPointPtrSet::iterator ipIt = pointsOnEdge.begin() + 1;
1532           for ( ; ipIt != pointsOnEdge.end(); ++ipIt )
1533           {
1534             const IntPoint2D* p1 = *(ipIt-1);
1535             const IntPoint2D* p2 = *ipIt;
1536             gp_XYZ middle = 0.5 * ( p1->myNode + p2->myNode );
1537             if ( isPointInTriangle( middle, nodesTo ))
1538             {
1539               p1->InitLink( link1, iTo, ( p1 != & ip0 ) ? nodesTo : nodesFrom );
1540               p2->InitLink( link2, iTo, ( p2 != & ip1 ) ? nodesTo : nodesFrom );
1541               cutFaceTo->AddEdge( link1, link2, faceFrom, minNbOnPlane );
1542
1543               // if ( cutFaceFrom )
1544               // {
1545               //   p1->InitLink( link1, iFrom, nodesFrom );
1546               //   p2->InitLink( link2, iFrom, nodesFrom );
1547               //   cutFaceTo->AddEdge( link1, link2, faceTo, minNbOnPlane );
1548               // }
1549             }
1550           }
1551         }
1552       }
1553     }
1554     return;
1555
1556   } // Intersector::cutCoplanar()
1557
1558   //================================================================================
1559   /*!
1560    * \brief Intersect edges added to myCutFaces
1561    */
1562   //================================================================================
1563
1564   void Intersector::intersectNewEdges( const CutFace& cf )
1565   {
1566     IntPoint2D intPoint;
1567
1568     if ( cf.NbInternalEdges() < 2 )
1569       return;
1570
1571     const gp_XYZ& faceNorm = myNormals[ cf.myInitFace->GetID() ];
1572     setPlaneIndices( faceNorm ); // choose indices on an axis-aligned plane
1573
1574     size_t limit = cf.myLinks.size() * cf.myLinks.size() * 2;
1575
1576     for ( size_t i1 = 3; i1 < cf.myLinks.size(); ++i1 )
1577     {
1578       if ( !cf.myLinks[i1].IsInternal() )
1579         continue;
1580
1581       myIntPointSet.clear();
1582       for ( size_t i2 = i1 + 2; i2 < cf.myLinks.size(); ++i2 )
1583       {
1584         if ( !cf.myLinks[i2].IsInternal() )
1585           continue;
1586
1587         // prepare to intersection
1588         myFace1     = cf.myLinks[i1].myFace;
1589         myNodes1[0] = cf.myLinks[i1].myNode1;
1590         myNodes1[1] = cf.myLinks[i1].myNode2;
1591         myFace2     = cf.myLinks[i2].myFace;
1592         myNodes2[0] = cf.myLinks[i2].myNode1;
1593         myNodes2[1] = cf.myLinks[i2].myNode2;
1594
1595         // intersect
1596         intPoint.myIsCollinear = true; // to find collinear solutions
1597         if ( intersectEdgeEdge( 0, 0, intPoint ))
1598         {
1599           if ( cf.myLinks[i1].IsSame( cf.myLinks[i2] )) // remove i2
1600           {
1601             cf.myLinks[i1].ReplaceCoplanar( cf.myLinks[i2] );
1602             cf.myLinks.erase( cf.myLinks.begin() + i2, cf.myLinks.begin() + i2 + 2 );
1603             --i2;
1604             continue;
1605           }
1606           if ( !intPoint.myIsCollinear )
1607           {
1608             intPoint.myEdgeInd[1] = i2;
1609             myIntPointSet.insert( intPoint );
1610           }
1611           else // if ( intPoint.myIsCollinear ) // overlapping edges
1612           {
1613             myIntPointSet.clear(); // to recompute
1614
1615             if ( intPoint.myU[0] > intPoint.myU[1] ) // orient in same direction
1616             {
1617               std::swap( intPoint.myU[0], intPoint.myU[1] );
1618               std::swap( myNodes1[0], myNodes1[1] );
1619             }
1620             // replace _COPLANAR by _INTERNAL
1621             cf.myLinks[i1].ReplaceCoplanar( cf.myLinks[i1+1] );
1622             cf.myLinks[i2].ReplaceCoplanar( cf.myLinks[i2+1] );
1623
1624             if ( coincide( myNodes1[0], myNodes2[0], myTol ) &&
1625                  coincide( myNodes1[1], myNodes2[1], myTol ))
1626             {
1627               cf.myLinks.erase( cf.myLinks.begin() + i2, cf.myLinks.begin() + i2 + 2 );
1628               --i2;
1629               continue;
1630             }
1631
1632             EdgePart common = cf.myLinks[i1];
1633             common.ReplaceCoplanar( cf.myLinks[i2] );
1634
1635             const SMDS_MeshNode* n1 = myNodes1[0].Node(); // end nodes of an overlapping part
1636             const SMDS_MeshNode* n2 = myNodes1[1].Node();
1637             size_t i3 = cf.myLinks.size();
1638
1639             if ( myNodes1[0] != myNodes2[0] ) // a part before the overlapping one
1640             {
1641               if ( intPoint.myU[0] < 0 )
1642                 cf.myLinks[i1].Set( myNodes1[0].Node(), myNodes2[0].Node(),
1643                                     cf.myLinks[i1].myFace, cf.myLinks[i1].myIndex );
1644               else
1645                 cf.myLinks[i1].Set( myNodes2[0].Node(), myNodes1[0].Node(),
1646                                     cf.myLinks[i2].myFace, cf.myLinks[i2].myIndex );
1647
1648               cf.myLinks[i1+1].Set( cf.myLinks[i1].myNode2,
1649                                     cf.myLinks[i1].myNode1,
1650                                     cf.myLinks[i1].myFace,
1651                                     cf.myLinks[i1].myIndex);
1652               n1 = cf.myLinks[i1].myNode2;
1653             }
1654             else
1655               i3 = i1;
1656
1657             if ( myNodes1[1] != myNodes2[1] ) // a part after the overlapping one
1658             {
1659               if ( intPoint.myU[1] < 1 )
1660                 cf.myLinks[i2].Set( myNodes1[1].Node(), myNodes2[1].Node(),
1661                                     cf.myLinks[i2].myFace, cf.myLinks[i2].myIndex );
1662               else
1663                 cf.myLinks[i2].Set( myNodes2[1].Node(), myNodes1[1].Node(),
1664                                     cf.myLinks[i1].myFace, cf.myLinks[i1].myIndex );
1665
1666               cf.myLinks[i2+1].Set( cf.myLinks[i2].myNode2,
1667                                     cf.myLinks[i2].myNode1,
1668                                     cf.myLinks[i2].myFace,
1669                                     cf.myLinks[i2].myIndex);
1670               n2 = cf.myLinks[i2].myNode1;
1671             }
1672             else
1673               i3 = i2;
1674
1675             if ( i3 == cf.myLinks.size() )
1676               cf.myLinks.resize( i3 + 2 );
1677
1678             cf.myLinks[i3].Set  ( n1, n2, common.myFace, common.myIndex );
1679             cf.myLinks[i3+1].Set( n2, n1, common.myFace, common.myIndex );
1680
1681             i2 = i1 + 1; // recheck modified i1
1682             continue;
1683           }
1684           //else
1685           // {
1686           //   // remember a new node
1687           //   CutLink link1( myNodes1[0].Node(), myNodes1[1].Node(), cf.myInitFace );
1688           //   CutLink link2( myNodes2[0].Node(), myNodes2[1].Node(), cf.myInitFace );
1689           //   link2.myIntNode = link1.myIntNode = intPoint.myNode;
1690           //   addLink( link1 );
1691           //   addLink( link2 );
1692
1693           //   // split edges
1694           //   size_t i = cf.myLinks.size();
1695           //   if ( intPoint.myNode != cf.myLinks[ i1 ].myNode1 &&
1696           //        intPoint.myNode != cf.myLinks[ i1 ].myNode2 )
1697           //   {
1698           //     cf.myLinks.push_back( cf.myLinks[ i1 ]);
1699           //     cf.myLinks.push_back( cf.myLinks[ i1 + 1 ]);
1700           //     cf.myLinks[ i1 ].myNode2 = cf.myLinks[ i1 + 1 ].myNode1 = intPoint.Node();
1701           //     cf.myLinks[ i  ].myNode1 = cf.myLinks[ i  + 1 ].myNode2 = intPoint.Node();
1702           //   }
1703           //   if ( intPoint.myNode != cf.myLinks[ i2 ].myNode1 &&
1704           //        intPoint.myNode != cf.myLinks[ i2 ].myNode2 )
1705           //   {
1706           //     i = cf.myLinks.size();
1707           //     cf.myLinks.push_back( cf.myLinks[ i2 ]);
1708           //     cf.myLinks.push_back( cf.myLinks[ i2 + 1 ]);
1709           //     cf.myLinks[ i2 ].myNode2 = cf.myLinks[ i2 + 1 ].myNode1 = intPoint.Node();
1710           //     cf.myLinks[ i  ].myNode1 = cf.myLinks[ i  + 1 ].myNode2 = intPoint.Node();
1711           //   }
1712           // }
1713
1714         } // if ( intersectEdgeEdge( 0, 0, intPoint ))
1715
1716         ++i2;
1717         --limit;
1718       }
1719
1720       // split i1 edge and all edges it intersects
1721       // don't do it inside intersection loop in order not to loose direction of i1 edge
1722       if ( !myIntPointSet.empty() )
1723       {
1724         cf.myLinks.reserve( cf.myLinks.size() + myIntPointSet.size() * 2 + 2 );
1725
1726         EdgePart* edge1 = &cf.myLinks[ i1 ];
1727         EdgePart* twin1 = &cf.myLinks[ i1 + 1 ];
1728
1729         TIntPointSet::iterator ipIt = myIntPointSet.begin();
1730         for ( ; ipIt != myIntPointSet.end(); ++ipIt ) // int points sorted on i1 edge
1731         {
1732           size_t i = cf.myLinks.size();
1733           if ( ipIt->myNode != edge1->myNode1 &&
1734                ipIt->myNode != edge1->myNode2 )
1735           {
1736             cf.myLinks.push_back( *edge1 );
1737             cf.myLinks.push_back( *twin1 );
1738             edge1->myNode2          = twin1->myNode1              = ipIt->Node();
1739             cf.myLinks[ i ].myNode1 = cf.myLinks[ i + 1 ].myNode2 = ipIt->Node();
1740             edge1 = & cf.myLinks[ i ];
1741             twin1 = & cf.myLinks[ i + 1 ];
1742           }
1743           size_t i2 = ipIt->myEdgeInd[1];
1744           if ( ipIt->myNode != cf.myLinks[ i2 ].myNode1 &&
1745                ipIt->myNode != cf.myLinks[ i2 ].myNode2 )
1746           {
1747             i = cf.myLinks.size();
1748             cf.myLinks.push_back( cf.myLinks[ i2 ]);
1749             cf.myLinks.push_back( cf.myLinks[ i2 + 1 ]);
1750             cf.myLinks[ i2 ].myNode2 = cf.myLinks[ i2 + 1 ].myNode1 = ipIt->Node();
1751             cf.myLinks[ i  ].myNode1 = cf.myLinks[ i  + 1 ].myNode2 = ipIt->Node();
1752           }
1753         }
1754         if ( cf.myLinks.size() >= limit )
1755           throw SALOME_Exception( "Infinite loop in Intersector::intersectNewEdges()" );
1756       }
1757       ++i1; // each internal edge encounters twice
1758     }
1759     return;
1760   }
1761
1762   //================================================================================
1763   /*!
1764    * \brief Split intersected faces
1765    */
1766   //================================================================================
1767
1768   void Intersector::MakeNewFaces( SMESH_MeshAlgos::TEPairVec& theNew2OldFaces,
1769                                   SMESH_MeshAlgos::TNPairVec& theNew2OldNodes,
1770                                   const double                theSign)
1771   {
1772     // unmark all nodes except intersection ones
1773
1774     for ( SMDS_NodeIteratorPtr nIt = myMesh->nodesIterator(); nIt->more(); )
1775     {
1776       const SMDS_MeshNode* n = nIt->next();
1777       if ( n->isMarked() && n->GetID()-1 < (int) theNew2OldNodes.size() )
1778         n->setIsMarked( false );
1779     }
1780     // SMESH_MeshAlgos::MarkElems( myMesh->nodesIterator(), false );
1781
1782     TCutLinkMap::const_iterator cutLinksIt = myCutLinks.cbegin();
1783     // for ( ; cutLinksIt != myCutLinks.cend(); ++cutLinksIt )
1784     // {
1785     //   const CutLink& link = *cutLinksIt;
1786     //   if ( link.IntNode() && link.IntNode()->GetID()-1 < (int) theNew2OldNodes.size() )
1787     //     link.IntNode()->setIsMarked( true );
1788     // }
1789
1790     // intersect edges added to myCutFaces
1791
1792     TCutFaceMap::const_iterator cutFacesIt = myCutFaces.cbegin();
1793     for ( ; cutFacesIt != myCutFaces.cend(); ++cutFacesIt )
1794     {
1795       const CutFace& cf = *cutFacesIt;
1796       cf.ReplaceNodes( myRemove2KeepNodes );
1797       intersectNewEdges( cf );
1798     }
1799
1800     // make new faces
1801
1802     EdgeLoopSet                            loopSet;
1803     SMESH_MeshAlgos::Triangulate           triangulator;
1804     std::vector< EdgePart >                cutOffLinks;
1805     TLinkMap                               cutOffCoplanarLinks;
1806     std::vector< const CutFace* >          touchedFaces;
1807     SMESH_MeshAlgos::TEPairVec::value_type new2OldTria;
1808     CutFace                                cutFace(0);
1809     std::vector< const SMDS_MeshNode* >    nodes;
1810     std::vector<const SMDS_MeshElement *>  faces;
1811
1812     cutOffLinks.reserve( myCutFaces.Extent() * 2 );
1813
1814     for ( cutFacesIt = myCutFaces.cbegin(); cutFacesIt != myCutFaces.cend(); ++cutFacesIt )
1815     {
1816       const CutFace& cf = *cutFacesIt;
1817       if ( !cf.IsCut() )
1818       {
1819         touchedFaces.push_back( & cf );
1820         continue;
1821       }
1822
1823       const gp_XYZ& normal = myNormals[ cf.myInitFace->GetID() ];
1824
1825       // form loops of new faces
1826       cf.ReplaceNodes( myRemove2KeepNodes );
1827       cf.MakeLoops( loopSet, normal );
1828
1829       // avoid loops that are not connected to boundary edges of cf.myInitFace
1830       if ( cf.RemoveInternalLoops( loopSet ))
1831       {
1832         intersectNewEdges( cf );
1833         cf.MakeLoops( loopSet, normal );
1834       }
1835       // erase loops that are cut off by face intersections
1836       cf.CutOffLoops( loopSet, theSign, myNormals, cutOffLinks, cutOffCoplanarLinks );
1837
1838       int index = cf.myInitFace->GetID(); // index in theNew2OldFaces
1839
1840       const SMDS_MeshElement* tria;
1841       for ( size_t iL = 0; iL < loopSet.myNbLoops; ++iL )
1842       {
1843         EdgeLoop& loop = loopSet.myLoops[ iL ];
1844         if ( loop.myLinks.size() == 0 )
1845           continue;
1846
1847         int nbTria  = triangulator.GetTriangles( &loop, nodes );
1848         int nbNodes = 3 * nbTria;
1849         for ( int i = 0; i < nbNodes; i += 3 )
1850         {
1851           if ( nodes[i] == nodes[i+1] || nodes[i] == nodes[i+2] || nodes[i+1] == nodes[i+2] )
1852           {
1853 #ifdef _DEBUG_
1854             std::cerr << "BAD tria" << std::endl;
1855             cf.Dump();
1856 #endif
1857             continue;
1858           }
1859           if (!( tria = myMesh->FindFace( nodes[i], nodes[i+1], nodes[i+2] )))
1860             tria = myMesh->AddFace( nodes[i], nodes[i+1], nodes[i+2] );
1861           tria->setIsMarked( true ); // not to remove it
1862
1863           new2OldTria = std::make_pair( tria, theNew2OldFaces[ index ].second );
1864           if ( tria->GetID() < (int)theNew2OldFaces.size() )
1865             theNew2OldFaces[ tria->GetID() ] = new2OldTria;
1866           else
1867             theNew2OldFaces.push_back( new2OldTria );
1868
1869           if ( index == tria->GetID() )
1870             index = 0; // do not remove tria
1871         }
1872       }
1873       theNew2OldFaces[ index ].first = 0;
1874     }
1875
1876     // remove split faces
1877     for ( size_t id = 1; id < theNew2OldFaces.size(); ++id )
1878     {
1879       if ( theNew2OldFaces[id].first )
1880         continue;
1881       if ( const SMDS_MeshElement* f = myMesh->FindElement( id ))
1882         myMesh->RemoveFreeElement( f );
1883     }
1884
1885     // remove face connected to cut off parts of cf.myInitFace
1886
1887     nodes.resize(2);
1888     for ( size_t i = 0; i < cutOffLinks.size(); ++i )
1889     {
1890       //break;
1891       nodes[0] = cutOffLinks[i].myNode1;
1892       nodes[1] = cutOffLinks[i].myNode2;
1893
1894       if ( nodes[0] != nodes[1] &&
1895            myMesh->GetElementsByNodes( nodes, faces ))
1896       {
1897         if ( cutOffLinks[i].myFace &&
1898              cutOffLinks[i].myIndex != EdgePart::_COPLANAR &&
1899              faces.size() == 2 )
1900           continue;
1901         for ( size_t iF = 0; iF < faces.size(); ++iF )
1902         {
1903           int index = faces[iF]->GetID();
1904           // if ( //faces[iF]->isMarked()         ||  // kept part of cutFace
1905           //      !theNew2OldFaces[ index ].first ) // already removed
1906           //   continue;
1907           cutFace.myInitFace = faces[iF];
1908           // if ( myCutFaces.Contains( cutFace )) // keep cutting faces needed in CutOffLoops()
1909           // {
1910           //   if ( !myCutFaces.Added( cutFace ).IsCut() )
1911           //     theNew2OldFaces[ index ].first = 0;
1912           //   continue;
1913           // }
1914           cutFace.myLinks.clear();
1915           cutFace.InitLinks();
1916           for ( size_t iL = 0; iL < cutFace.myLinks.size(); ++iL )
1917             if ( !cutOffLinks[i].IsSame( cutFace.myLinks[ iL ]))
1918               cutOffLinks.push_back( cutFace.myLinks[ iL ]);
1919
1920           theNew2OldFaces[ index ].first = 0;
1921           myMesh->RemoveFreeElement( faces[iF] );
1922         }
1923       }
1924     }
1925
1926     // replace nodes in touched faces
1927
1928     // treat touched faces
1929     for ( size_t i = 0; i < touchedFaces.size(); ++i )
1930     {
1931       const CutFace& cf = *touchedFaces[i];
1932
1933       int index = cf.myInitFace->GetID(); // index in theNew2OldFaces
1934       if ( !theNew2OldFaces[ index ].first )
1935         continue; // already cut off
1936
1937       if ( !cf.ReplaceNodes( myRemove2KeepNodes ))
1938         continue; // just keep as is
1939
1940       if ( cf.myLinks.size() == 3 )
1941       {
1942         const SMDS_MeshElement* tria = myMesh->AddFace( cf.myLinks[0].myNode1,
1943                                                         cf.myLinks[1].myNode1,
1944                                                         cf.myLinks[2].myNode1 );
1945         new2OldTria = std::make_pair( tria, theNew2OldFaces[ index ].second );
1946         if ( tria->GetID() < (int)theNew2OldFaces.size() )
1947           theNew2OldFaces[ tria->GetID() ] = new2OldTria;
1948         else
1949           theNew2OldFaces.push_back( new2OldTria );
1950       }
1951       theNew2OldFaces[ index ].first = 0;
1952     }
1953
1954
1955     // add used new nodes to theNew2OldNodes
1956     SMESH_MeshAlgos::TNPairVec::value_type new2OldNode;
1957     new2OldNode.second = NULL;
1958     for ( cutLinksIt = myCutLinks.cbegin(); cutLinksIt != myCutLinks.cend(); ++cutLinksIt )
1959     {
1960       const CutLink& link = *cutLinksIt;
1961       if ( link.IntNode() ) // && link.IntNode()->NbInverseElements() > 0 )
1962       {
1963         new2OldNode.first = link.IntNode();
1964         theNew2OldNodes.push_back( new2OldNode );
1965       }
1966     }
1967
1968     return;
1969   }
1970
1971   //================================================================================
1972   /*!
1973    * \brief Debug
1974    */
1975   //================================================================================
1976
1977   void CutFace::Dump() const
1978   {
1979     std::cout << std::endl << "INI F " << myInitFace->GetID() << std::endl;
1980     for ( size_t i = 0; i < myLinks.size(); ++i )
1981       std::cout << "[" << i << "] ("
1982                 << char(( myLinks[i].IsInternal() ? 'j' : '0' ) + myLinks[i].myIndex ) << ") "
1983                 << myLinks[i].myNode1->GetID() << " - " << myLinks[i].myNode2->GetID()
1984                 << " " << ( myLinks[i].myFace ? 'F' : 'C' )
1985                 << ( myLinks[i].myFace ? myLinks[i].myFace->GetID() : 0 ) << " " << std::endl;
1986   }
1987
1988   //================================================================================
1989   /*!
1990    * \brief Add an edge cutting this face
1991    *  \param [in] p1 - start point of the edge
1992    *  \param [in] p2 - end point of the edge
1993    *  \param [in] cutter - a face producing the added cut edge.
1994    *  \param [in] nbOnPlane - nb of triangle nodes lying on the plane of the cutter face
1995    */
1996   //================================================================================
1997
1998   void CutFace::AddEdge( const CutLink&          p1,
1999                          const CutLink&          p2,
2000                          const SMDS_MeshElement* cutterFace,
2001                          const int               nbOnPlane,
2002                          const int               iNotOnPlane) const
2003   {
2004     int iN[2] = { myInitFace->GetNodeIndex( p1.IntNode() ),
2005                   myInitFace->GetNodeIndex( p2.IntNode() ) };
2006     if ( iN[0] >= 0 && iN[1] >= 0 )
2007     {
2008       // the cutting edge is a whole side
2009       if ((  cutterFace && nbOnPlane < 3 ) &&
2010           !( cutterFace->GetNodeIndex( p1.IntNode() ) >= 0 &&
2011              cutterFace->GetNodeIndex( p2.IntNode() ) >= 0 ))
2012       {
2013         InitLinks();
2014         myLinks[ Abs( iN[0] - iN[1] ) == 1 ? Min( iN[0], iN[1] ) : 2 ].myFace = cutterFace;
2015       }
2016       return;
2017     }
2018
2019     if ( p1.IntNode() == p2.IntNode() )
2020     {
2021       AddPoint( p1, p2, 1e-10 );
2022       return;
2023     }
2024
2025     InitLinks();
2026
2027     // cut side edges by a new one
2028
2029     int iEOnPlane = ( nbOnPlane == 2 ) ? ( iNotOnPlane + 1 ) % 3  :  -1;
2030
2031     double dist[2];
2032     for ( int is2nd = 0; is2nd < 2; ++is2nd )
2033     {
2034       const CutLink& p = is2nd ? p2 : p1;
2035       dist[ is2nd ] = 0;
2036       if ( iN[ is2nd ] >= 0 )
2037         continue;
2038
2039       int iE = Max( iEOnPlane, myInitFace->GetNodeIndex( p.Node1() ));
2040       if ( iE < 0 )
2041         continue; // link of other face
2042
2043       SMESH_NodeXYZ n0 = myLinks[iE].myNode1;
2044       dist[ is2nd ]    = ( n0 - p.myIntNode ).SquareModulus();
2045
2046       for ( size_t i = 0; i < myLinks.size(); ++i )
2047         if ( myLinks[i].myIndex == iE )
2048         {
2049           double d1 = n0.SquareDistance( myLinks[i].myNode1 );
2050           if ( d1 < dist[ is2nd ] )
2051           {
2052             double d2 = n0.SquareDistance( myLinks[i].myNode2 );
2053             if ( dist[ is2nd ] < d2 )
2054             {
2055               myLinks.push_back( myLinks[i] );
2056               myLinks.back().myNode1 = myLinks[i].myNode2 = p.IntNode();
2057               break;
2058             }
2059           }
2060         }
2061     }
2062
2063     int state = nbOnPlane == 3 ? EdgePart::_COPLANAR : EdgePart::_INTERNAL;
2064
2065     // look for an existing equal edge
2066     if ( nbOnPlane == 2 )
2067     {
2068       SMESH_NodeXYZ n0 = myLinks[ iEOnPlane ].myNode1;
2069       if ( iN[0] >= 0 ) dist[0] = ( n0 - p1.myIntNode ).SquareModulus();
2070       if ( iN[1] >= 0 ) dist[1] = ( n0 - p2.myIntNode ).SquareModulus();
2071       if ( dist[0] > dist[1] )
2072         std::swap( dist[0], dist[1] );
2073       for ( size_t i = 0; i < myLinks.size(); ++i )
2074       {
2075         if ( myLinks[i].myIndex != iEOnPlane )
2076           continue;
2077         gp_XYZ mid = 0.5 * ( SMESH_NodeXYZ( myLinks[i].myNode1 ) +
2078                              SMESH_NodeXYZ( myLinks[i].myNode2 ));
2079         double d = ( n0 - mid ).SquareModulus();
2080         if ( dist[0] < d && d < dist[1] )
2081           myLinks[i].myFace = cutterFace;
2082       }
2083       return;
2084     }
2085     else
2086     {
2087       EdgePart newEdge; newEdge.Set( p1.IntNode(), p2.IntNode(), cutterFace, state );
2088       for ( size_t i = 0; i < myLinks.size(); ++i )
2089       {
2090         if ( myLinks[i].IsSame( newEdge ))
2091         {
2092           // if ( !myLinks[i].IsInternal() )
2093           //   myLinks[ i ].myFace = cutterFace;
2094           // else
2095           myLinks[ i   ].ReplaceCoplanar( newEdge );
2096           myLinks[ i+1 ].ReplaceCoplanar( newEdge );
2097           return;
2098         }
2099         i += myLinks[i].IsInternal();
2100       }
2101     }
2102
2103     size_t  i = myLinks.size();
2104     myLinks.resize( i + 2 );
2105     myLinks[ i   ].Set( p1.IntNode(), p2.IntNode(), cutterFace, state );
2106     myLinks[ i+1 ].Set( p2.IntNode(), p1.IntNode(), cutterFace, state );
2107   }
2108
2109   //================================================================================
2110   /*!
2111    * \brief Add a point cutting this face
2112    */
2113   //================================================================================
2114
2115   void CutFace::AddPoint( const CutLink& p1, const CutLink& p2, double tol ) const
2116   {
2117     if ( myInitFace->GetNodeIndex( p1.IntNode() ) >= 0 ||
2118          myInitFace->GetNodeIndex( p2.IntNode() ) >= 0 )
2119       return;
2120
2121     InitLinks();
2122
2123     const CutLink* link = &p1;
2124     int iE = myInitFace->GetNodeIndex( link->Node1() );
2125     if ( iE < 0 )
2126     {
2127       link = &p2;
2128       iE = myInitFace->GetNodeIndex( link->Node1() );
2129     }
2130     if ( iE >= 0 )
2131     {
2132       // cut an existing edge by the point
2133       SMESH_NodeXYZ n0 = link->Node1();
2134       double         d = ( n0 - link->myIntNode ).SquareModulus();
2135
2136       for ( size_t i = 0; i < myLinks.size(); ++i )
2137         if ( myLinks[i].myIndex == iE )
2138         {
2139           double d1 = n0.SquareDistance( myLinks[i].myNode1 );
2140           if ( d1 < d )
2141           {
2142             double d2 = n0.SquareDistance( myLinks[i].myNode2 );
2143             if ( d < d2 )
2144             {
2145               myLinks.push_back( myLinks[i] );
2146               myLinks.back().myNode1 = myLinks[i].myNode2 = link->IntNode();
2147               return;
2148             }
2149           }
2150         }
2151     }
2152     else // point is inside the triangle
2153     {
2154       // // check if a point already added
2155       // for ( size_t i = 3; i < myLinks.size(); ++i )
2156       //   if ( myLinks[i].myNode1 == p1.IntNode() )
2157       //     return;
2158
2159       // // create a link between the point and the closest corner node
2160       // const SMDS_MeshNode* closeNode = myLinks[0].myNode1;
2161       // double minDist = p1.myIntNode.SquareDistance( closeNode );
2162       // for ( int i = 1; i < 3; ++i )
2163       // {
2164       //   double dist = p1.myIntNode.SquareDistance( myLinks[i].myNode1 );
2165       //   if ( dist < minDist )
2166       //   {
2167       //     minDist = dist;
2168       //     closeNode = myLinks[i].myNode1;
2169       //   }
2170       // }
2171       // if ( minDist > tol * tol )
2172       // {
2173       //   size_t i = myLinks.size();
2174       //   myLinks.resize( i + 2 );
2175       //   myLinks[ i   ].Set( p1.IntNode(), closeNode );
2176       //   myLinks[ i+1 ].Set( closeNode, p1.IntNode() );
2177       // }
2178     }
2179   }
2180
2181   //================================================================================
2182   /*!
2183    * \brief Perform node replacement
2184    */
2185   //================================================================================
2186
2187   bool CutFace::ReplaceNodes( const TNNMap& theRm2KeepMap ) const
2188   {
2189     bool replaced = false;
2190     for ( size_t i = 0; i < myLinks.size(); ++i )
2191     {
2192       while ( theRm2KeepMap.IsBound((Standard_Address) myLinks[i].myNode1 ))
2193         replaced = ( myLinks[i].myNode1 = theRm2KeepMap((Standard_Address) myLinks[i].myNode1 ));
2194
2195       while ( theRm2KeepMap.IsBound((Standard_Address) myLinks[i].myNode2 ))
2196         replaced = ( myLinks[i].myNode2 = theRm2KeepMap((Standard_Address) myLinks[i].myNode2 ));
2197     }
2198
2199     //if ( replaced ) // remove equal links
2200     {
2201       for ( size_t i1 = 0; i1 < myLinks.size(); ++i1 )
2202       {
2203         if ( myLinks[i1].myNode1 == myLinks[i1].myNode2 )
2204         {
2205           myLinks.erase( myLinks.begin() + i1,
2206                          myLinks.begin() + i1 + 1 + myLinks[i1].IsInternal() );
2207           --i1;
2208           continue;
2209         }
2210         size_t i2 = i1 + 1 + myLinks[i1].IsInternal();
2211         for ( ; i2 < myLinks.size(); ++i2 )
2212         {
2213           if ( !myLinks[i2].IsInternal() )
2214             continue;
2215           if ( myLinks[i1].IsSame( myLinks[i2] ))
2216           {
2217             myLinks[i1].  ReplaceCoplanar( myLinks[i2] );
2218             if ( myLinks[i1].IsInternal() )
2219               myLinks[i1+1].ReplaceCoplanar( myLinks[i2+1] );
2220             if ( !myLinks[i1].myFace && myLinks[i2].myFace )
2221             {
2222               myLinks[i1].  myFace = myLinks[i2].myFace;
2223               if ( myLinks[i1].IsInternal() )
2224                 myLinks[i1+1].myFace = myLinks[i2+1].myFace;
2225             }
2226             myLinks.erase( myLinks.begin() + i2,
2227                            myLinks.begin() + i2 + 2 );
2228             --i2;
2229             continue;
2230           }
2231           ++i2;
2232         }
2233         i1 += myLinks[i1].IsInternal();
2234       }
2235     }
2236
2237     return replaced;
2238   }
2239
2240   //================================================================================
2241   /*!
2242    * \brief Initialize myLinks with edges of myInitFace
2243    */
2244   //================================================================================
2245
2246   void CutFace::InitLinks() const
2247   {
2248     if ( !myLinks.empty() ) return;
2249
2250     int nbNodes = myInitFace->NbNodes();
2251     myLinks.reserve( nbNodes * 2 );
2252     myLinks.resize( nbNodes );
2253
2254     for ( int i = 0; i < nbNodes; ++i )
2255     {
2256       const SMDS_MeshNode* n1 = myInitFace->GetNode( i );
2257       const SMDS_MeshNode* n2 = myInitFace->GetNodeWrap( i + 1);
2258       myLinks[i].Set( n1, n2, 0, i );
2259     }
2260   }
2261
2262   //================================================================================
2263   /*!
2264    * \brief Return number of internal edges
2265    */
2266   //================================================================================
2267
2268   int CutFace::NbInternalEdges() const
2269   {
2270     int nb = 0;
2271     for ( size_t i = 3; i < myLinks.size(); ++i )
2272       nb += myLinks[i].IsInternal();
2273
2274     return nb / 2; // each internal edge encounters twice
2275   }
2276
2277   //================================================================================
2278   /*!
2279    * \brief Remove loops that are not connected to boundary edges of myFace by
2280    *        adding edges connecting these loops to the boundary
2281    */
2282   //================================================================================
2283
2284   bool CutFace::RemoveInternalLoops( EdgeLoopSet& theLoops ) const
2285   {
2286     size_t nbReachedLoops = 0;
2287
2288     // count loops including boundary EdgeParts
2289     for ( size_t iL = 0; iL < theLoops.myNbLoops; ++iL )
2290     {
2291       EdgeLoop& loop = theLoops.myLoops[ iL ];
2292
2293       for ( size_t iE = 0; iE < loop.myLinks.size(); ++iE )
2294         if ( !loop.myLinks[ iE ]->IsInternal() )
2295         {
2296           nbReachedLoops += loop.SetConnected();
2297           break;
2298         }
2299     }
2300     if ( nbReachedLoops == theLoops.myNbLoops )
2301       return false; // no unreachable loops
2302
2303
2304     // try to reach all loops by propagating via internal edges shared by loops
2305     size_t prevNbReached;
2306     do
2307     {
2308       prevNbReached = nbReachedLoops;
2309
2310       for ( size_t iL = 0; iL < theLoops.myNbLoops; ++iL )
2311       {
2312         EdgeLoop& loop = theLoops.myLoops[ iL ];
2313         if ( !loop.myIsBndConnected )
2314           continue;
2315
2316         for ( size_t iE = 0; iE < loop.myLinks.size(); ++iE )
2317           if ( loop.myLinks[ iE ]->IsInternal() )
2318           {
2319             const EdgePart* twinEdge = getTwin( loop.myLinks[ iE ]);
2320             EdgeLoop*          loop2 = theLoops.GetLoopOf( twinEdge );
2321             if ( loop2->SetConnected() && ++nbReachedLoops == theLoops.myNbLoops )
2322               return false; // no unreachable loops
2323           }
2324       }
2325     }
2326     while ( prevNbReached < nbReachedLoops );
2327
2328
2329     // add links connecting internal loops with the boundary ones
2330
2331     for ( size_t iL = 0; iL < theLoops.myNbLoops; ++iL )
2332     {
2333       EdgeLoop& loop = theLoops.myLoops[ iL ];
2334       if ( loop.myIsBndConnected )
2335         continue;
2336
2337       // find a pair of closest nodes
2338       const SMDS_MeshNode *closestNode1, *closestNode2;
2339       double minDist = 1e100;
2340       for ( size_t iE = 0; iE < loop.myLinks.size(); ++iE )
2341       {
2342         SMESH_NodeXYZ n1 = loop.myLinks[ iE ]->myNode1;
2343
2344         for ( size_t i = 0; i < myLinks.size(); ++i )
2345         {
2346           if ( !loop.Contains( myLinks[i].myNode1 ))
2347           {
2348             double dist = n1.SquareDistance( myLinks[i].myNode1 );
2349             if ( dist < minDist )
2350             {
2351               minDist = dist;
2352               closestNode1 = loop.myLinks[ iE ]->myNode1;
2353               closestNode2 = myLinks[i].myNode1;
2354             }
2355           }
2356           if ( myLinks[i].IsInternal() )
2357             ++i;
2358         }
2359       }
2360
2361       size_t i = myLinks.size();
2362       myLinks.resize( i + 2 );
2363       myLinks[ i   ].Set( closestNode1, closestNode2 );
2364       myLinks[ i+1 ].Set( closestNode2, closestNode1 );
2365     }
2366
2367     return true;
2368   }
2369
2370   //================================================================================
2371   /*!
2372    * \brief Return equal reversed edge
2373    */
2374   //================================================================================
2375
2376   EdgePart* CutFace::getTwin( const EdgePart* edge ) const
2377   {
2378     size_t i = edge - & myLinks[0];
2379
2380     if ( i > 2 && myLinks[ i-1 ].IsTwin( *edge ))
2381       return & myLinks[ i-1 ];
2382
2383     if ( i+1 < myLinks.size() &&
2384          myLinks[ i+1 ].IsTwin( *edge ))
2385       return & myLinks[ i+1 ];
2386
2387     return 0;
2388   }
2389
2390   //================================================================================
2391   /*!
2392    * \brief Fill loops of edges
2393    */
2394   //================================================================================
2395
2396   void CutFace::MakeLoops( EdgeLoopSet& theLoops, const gp_XYZ& theFaceNorm ) const
2397   {
2398     theLoops.Init( myLinks );
2399
2400     if ( myLinks.size() == 3 )
2401     {
2402       theLoops.AddNewLoop();
2403       theLoops.AddEdge( myLinks[0] );
2404       theLoops.AddEdge( myLinks[1] );
2405       theLoops.AddEdge( myLinks[2] );
2406       return;
2407     }
2408
2409     while ( !theLoops.AllEdgesUsed() )
2410     {
2411       theLoops.AddNewLoop();
2412
2413       // add 1st edge to a new loop
2414       size_t i1;
2415       for ( i1 = theLoops.myNbLoops - 1; i1 < myLinks.size(); ++i1 )
2416         if ( theLoops.AddEdge( myLinks[i1] ))
2417           break;
2418
2419       EdgePart*             lastEdge = & myLinks[ i1 ];
2420       EdgePart*             twinEdge = getTwin( lastEdge );
2421       const SMDS_MeshNode* firstNode = lastEdge->myNode1;
2422       const SMDS_MeshNode*  lastNode = lastEdge->myNode2;
2423
2424       do // add the rest edges
2425       {
2426         theLoops.myCandidates.clear(); // edges starting at lastNode
2427         int nbInternal = 0;
2428
2429         // find candidate edges
2430         for ( size_t i = i1 + 1; i < myLinks.size(); ++i )
2431           if ( myLinks[ i ].myNode1 == lastNode &&
2432                &myLinks[ i ] != twinEdge &&
2433                !theLoops.myIsUsedEdge[ i ])
2434           {
2435             theLoops.myCandidates.push_back( & myLinks[ i ]);
2436             nbInternal += myLinks[ i ].IsInternal();
2437           }
2438
2439         // choose among candidates
2440         if ( theLoops.myCandidates.size() == 0 )
2441         {
2442           theLoops.GetLoopOf( lastEdge )->myHasPending = true;
2443           lastEdge = twinEdge;
2444         }
2445         else if ( theLoops.myCandidates.size() == 1 )
2446         {
2447           lastEdge = theLoops.myCandidates[0];
2448         }
2449         else if ( nbInternal == 1 && !lastEdge->IsInternal() )
2450         {
2451           lastEdge = theLoops.myCandidates[ !theLoops.myCandidates[0]->IsInternal() ];
2452         }
2453         else
2454         {
2455           gp_Vec  lastVec = *lastEdge;
2456           double maxAngle = -2 * M_PI;
2457           for ( size_t i = 0; i < theLoops.myCandidates.size(); ++i )
2458           {
2459             double angle = lastVec.AngleWithRef( *theLoops.myCandidates[i], theFaceNorm );
2460             if ( angle > maxAngle )
2461             {
2462               maxAngle = angle;
2463               lastEdge = theLoops.myCandidates[i];
2464             }
2465           }
2466         }
2467         theLoops.AddEdge( *lastEdge );
2468         lastNode = lastEdge->myNode2;
2469         twinEdge = getTwin( lastEdge );
2470       }
2471       while ( lastNode != firstNode );
2472
2473     } // while ( !theLoops.AllEdgesUsed() )
2474
2475     return;
2476   }
2477
2478   //================================================================================
2479   /*!
2480    * \brief Erase loops that are cut off by face intersections
2481    */
2482   //================================================================================
2483
2484   void CutFace::CutOffLoops( EdgeLoopSet&                 theLoops,
2485                              const double                 theSign,
2486                              const std::vector< gp_XYZ >& theNormals,
2487                              std::vector< EdgePart >&     theCutOffLinks,
2488                              TLinkMap&                    theCutOffCoplanarLinks) const
2489   {
2490     EdgePart sideEdge;
2491     for ( size_t i = 0; i < myLinks.size(); ++i )
2492     {
2493       if ( !myLinks[i].myFace )
2494         continue;
2495
2496       EdgeLoop* loop = theLoops.GetLoopOf( & myLinks[i] );
2497       if ( !loop || loop->myLinks.empty() || loop->myHasPending )
2498         continue;
2499
2500       bool toErase, isCoplanar = ( myLinks[i].myIndex == EdgePart::_COPLANAR );
2501
2502       gp_Vec iniNorm = theNormals[ myInitFace->GetID() ];
2503       if ( isCoplanar )
2504       {
2505         toErase = ( myLinks[i].myFace->GetID() > myInitFace->GetID() );
2506
2507         const EdgePart* twin = getTwin( & myLinks[i] );
2508         if ( !twin || twin->myFace == myLinks[i].myFace )
2509         {
2510           // only one co-planar face includes myLinks[i]
2511           gp_Vec inFaceDir = iniNorm ^ myLinks[i];
2512           gp_XYZ   edgePnt = SMESH_NodeXYZ( myLinks[i].myNode1 );
2513           for ( int iN = 0; iN < 3; ++iN )
2514           {
2515             gp_Vec inCutFaceDir = ( SMESH_NodeXYZ( myLinks[i].myFace->GetNode( iN )) - edgePnt );
2516             if ( inCutFaceDir * inFaceDir < 0 )
2517             {
2518               toErase = false;
2519               break;
2520             }
2521           }
2522         }
2523       }
2524       else
2525       {
2526         gp_Vec   cutNorm = theNormals[ myLinks[i].myFace->GetID() ];
2527         gp_Vec inFaceDir = iniNorm ^ myLinks[i];
2528
2529         toErase = inFaceDir * cutNorm * theSign < 0;
2530         if ( !toErase )
2531         {
2532           // erase a neighboring loop
2533           loop = 0;
2534           if ( const EdgePart* twin = getTwin( & myLinks[i] ))
2535             loop = theLoops.GetLoopOf( twin );
2536           toErase = ( loop && !loop->myLinks.empty() );
2537         }
2538       }
2539
2540       if ( toErase )
2541       {
2542         if ( !isCoplanar )
2543         {
2544           // remember whole sides of myInitFace that are cut off
2545           for ( size_t iE = 0; iE < loop->myLinks.size(); ++iE )
2546           {
2547             if ( !loop->myLinks[ iE ]->myFace              &&
2548                  !loop->myLinks[ iE ]->IsInternal()     )//   &&
2549                  // !loop->myLinks[ iE ]->myNode1->isMarked() && // cut nodes are marked
2550                  // !loop->myLinks[ iE ]->myNode2->isMarked() )
2551             {
2552               int i = loop->myLinks[ iE ]->myIndex;
2553               sideEdge.Set( myInitFace->GetNode    ( i   ),
2554                             myInitFace->GetNodeWrap( i+1 ));
2555               theCutOffLinks.push_back( sideEdge );
2556
2557               if ( !sideEdge.IsSame( *loop->myLinks[ iE ] )) // nodes replaced
2558               {
2559                 theCutOffLinks.push_back( *loop->myLinks[ iE ] );
2560               }
2561             }
2562             else if ( IsCoplanar( loop->myLinks[ iE ]))
2563             {
2564               // propagate erasure to a co-planar face
2565               theCutOffLinks.push_back( *loop->myLinks[ iE ]);
2566             }
2567             else if ( loop->myLinks[ iE ]->myFace &&
2568                       loop->myLinks[ iE ]->IsInternal() )
2569               theCutOffLinks.push_back( *loop->myLinks[ iE ]);
2570           }
2571
2572           // clear the loop
2573           theLoops.Erase( loop );
2574         }
2575       }
2576     }
2577     return;
2578   }
2579
2580   //================================================================================
2581   /*!
2582    * \brief Check if the face has cut edges
2583    */
2584   //================================================================================
2585
2586   bool CutFace::IsCut() const
2587   {
2588     if ( myLinks.size() > 3 )
2589       return true;
2590
2591     if ( myLinks.size() == 3 )
2592       for ( size_t i = 0; i < 3; ++i )
2593         if ( myLinks[i].myFace )
2594           return true;
2595
2596     return false;
2597   }
2598
2599   //================================================================================
2600   /*!
2601    * \brief Check if an edge is produced by a co-planar cut
2602    */
2603   //================================================================================
2604
2605   bool CutFace::IsCoplanar( const EdgePart* edge ) const
2606   {
2607     if ( edge->myIndex == EdgePart::_COPLANAR )
2608     {
2609       const EdgePart* twin = getTwin( edge );
2610       return ( !twin || twin->myIndex == EdgePart::_COPLANAR );
2611     }
2612     return false;
2613   }
2614
2615   //================================================================================
2616   /*!
2617    * \brief Replace _COPLANAR cut edge by _INTERNAL oe vice versa
2618    */
2619   //================================================================================
2620
2621   bool EdgePart::ReplaceCoplanar( const EdgePart& e )
2622   {
2623     if ( myIndex + e.myIndex == _COPLANAR + _INTERNAL )
2624     {
2625       //check if the faces are connected
2626       int nbCommonNodes = SMESH_MeshAlgos::GetCommonNodes( e.myFace, myFace ).size();
2627       bool toReplace = (( myIndex == _INTERNAL && nbCommonNodes > 1 ) ||
2628                         ( myIndex == _COPLANAR && nbCommonNodes < 2 ));
2629       if ( toReplace )
2630       {
2631         myIndex = e.myIndex;
2632         myFace  = e.myFace;
2633         return true;
2634       }
2635     }
2636     return false;
2637   }
2638
2639 } // namespace
2640
2641 //================================================================================
2642 /*!
2643  * \brief Create an offsetMesh of given faces
2644  *  \param [in] faceIt - the input faces
2645  *  \param [out] new2OldFaces - history of faces
2646  *  \param [out] new2OldNodes - history of nodes
2647  *  \return SMDS_Mesh* - the new offset mesh, a caller should delete
2648  */
2649 //================================================================================
2650
2651 SMDS_Mesh* SMESH_MeshAlgos::MakeOffset( SMDS_ElemIteratorPtr theFaceIt,
2652                                         SMDS_Mesh&           theSrcMesh,
2653                                         const double         theOffset,
2654                                         const bool           theFixIntersections,
2655                                         TEPairVec&           theNew2OldFaces,
2656                                         TNPairVec&           theNew2OldNodes)
2657 {
2658   SMDS_Mesh* newMesh = new SMDS_Mesh;
2659   theNew2OldFaces.clear();
2660   theNew2OldNodes.clear();
2661   theNew2OldFaces.push_back
2662     ( std::make_pair(( const SMDS_MeshElement*) 0,
2663                      ( const SMDS_MeshElement*) 0)); // to have index == face->GetID()
2664
2665   if ( theSrcMesh.GetMeshInfo().NbFaces( ORDER_QUADRATIC ) > 0 )
2666     throw SALOME_Exception( "Offset of quadratic mesh not supported" );
2667   if ( theSrcMesh.GetMeshInfo().NbFaces() > theSrcMesh.GetMeshInfo().NbTriangles() )
2668     throw SALOME_Exception( "Offset of non-triangular mesh not supported" );
2669
2670   // copy input faces to the newMesh keeping IDs of nodes
2671
2672   double minNodeDist = 1e100;
2673
2674   std::vector< const SMDS_MeshNode* > nodes;
2675   while ( theFaceIt->more() )
2676   {
2677     const SMDS_MeshElement* face = theFaceIt->next();
2678     if ( face->GetType() != SMDSAbs_Face ) continue;
2679
2680     // copy nodes
2681     nodes.assign( face->begin_nodes(), face->end_nodes() );
2682     for ( size_t i = 0; i < nodes.size(); ++i )
2683     {
2684       const SMDS_MeshNode* newNode = newMesh->FindNode( nodes[i]->GetID() );
2685       if ( !newNode )
2686       {
2687         SMESH_NodeXYZ xyz( nodes[i] );
2688         newNode = newMesh->AddNodeWithID( xyz.X(), xyz.Y(), xyz.Z(), nodes[i]->GetID() );
2689         theNew2OldNodes.push_back( std::make_pair( newNode, nodes[i] ));
2690         nodes[i] = newNode;
2691       }
2692     }
2693     const SMDS_MeshElement* newFace = 0;
2694     switch ( face->GetEntityType() )
2695     {
2696     case SMDSEntity_Triangle:
2697       newFace = newMesh->AddFace( nodes[0],nodes[1],nodes[2] );
2698       break;
2699     case SMDSEntity_Quad_Triangle:
2700       newFace = newMesh->AddFace( nodes[0],nodes[1],nodes[2],
2701                                   nodes[3],nodes[4],nodes[5] );
2702       break;
2703     case SMDSEntity_BiQuad_Triangle:
2704       newFace = newMesh->AddFace( nodes[0],nodes[1],nodes[2],
2705                                   nodes[3],nodes[4],nodes[5],nodes[6] );
2706       break;
2707     case SMDSEntity_Quadrangle:
2708       newFace = newMesh->AddFace( nodes[0],nodes[1],nodes[2],nodes[3] );
2709       break;
2710     case SMDSEntity_Quad_Quadrangle:
2711       newFace = newMesh->AddFace( nodes[0],nodes[1],nodes[2],nodes[3],
2712                                   nodes[4],nodes[5],nodes[6],nodes[7] );
2713       break;
2714     case SMDSEntity_BiQuad_Quadrangle:
2715       newFace = newMesh->AddFace( nodes[0],nodes[1],nodes[2],nodes[3],nodes[4],
2716                                   nodes[5],nodes[6],nodes[7],nodes[8] );
2717       break;
2718     case SMDSEntity_Polygon:
2719       newFace = newMesh->AddPolygonalFace( nodes );
2720       break;
2721     case SMDSEntity_Quad_Polygon:
2722       newFace = newMesh->AddQuadPolygonalFace( nodes );
2723       break;
2724     default:
2725       continue;
2726     }
2727     theNew2OldFaces.push_back( std::make_pair( newFace, face ));
2728
2729     SMESH_NodeXYZ pPrev = nodes.back(), p;
2730     for ( size_t i = 0; i < nodes.size(); ++i )
2731     {
2732       p.Set( nodes[i] );
2733       double dist = ( pPrev - p ).SquareModulus();
2734       if ( dist > std::numeric_limits<double>::min() )
2735         minNodeDist = dist;
2736       pPrev = p;
2737     }
2738   } // while ( faceIt->more() )
2739
2740
2741   // compute normals to faces
2742   std::vector< gp_XYZ > normals( theNew2OldFaces.size() );
2743   for ( size_t i = 1; i < normals.size(); ++i )
2744   {
2745     if ( !SMESH_MeshAlgos::FaceNormal( theNew2OldFaces[i].second, normals[i] ))
2746       normals[i].SetCoord( 0,0,0 ); // TODO find norm by neighbors
2747   }
2748
2749   const double  tol = 1e-3 * Sqrt( minNodeDist );
2750   const double sign = ( theOffset < 0 ? -1 : +1 );
2751
2752   // translate new nodes by normal to input faces
2753   gp_XYZ newXYZ;
2754   std::vector< const SMDS_MeshNode* > multiNormalNodes;
2755   for ( size_t i = 0; i < theNew2OldNodes.size(); ++i )
2756   {
2757     const SMDS_MeshNode* newNode = theNew2OldNodes[i].first;
2758
2759     if ( getTranslatedPosition( newNode, theOffset, tol*10., sign, normals, theSrcMesh, newXYZ ))
2760       newMesh->MoveNode( newNode, newXYZ.X(), newXYZ.Y(), newXYZ.Z() );
2761     else
2762       multiNormalNodes.push_back( newNode );
2763   }
2764   // make multi-normal translation
2765   std::vector< SMESH_NodeXYZ > multiPos(10);
2766   for ( size_t i = 0; i < multiNormalNodes.size(); ++i )
2767   {
2768     const SMDS_MeshNode* newNode = multiNormalNodes[i];
2769     newNode->setIsMarked( true );
2770     SMESH_NodeXYZ oldXYZ = newNode;
2771     multiPos.clear();
2772     for ( SMDS_ElemIteratorPtr fIt = newNode->GetInverseElementIterator(); fIt->more(); )
2773     {
2774       const SMDS_MeshElement* newFace = fIt->next();
2775       const int             faceIndex = newFace->GetID();
2776       const gp_XYZ&           oldNorm = normals[ faceIndex ];
2777       const gp_XYZ             newXYZ = oldXYZ + oldNorm * theOffset;
2778       if ( multiPos.empty() )
2779       {
2780         newMesh->MoveNode( newNode, newXYZ.X(), newXYZ.Y(), newXYZ.Z() );
2781         multiPos.emplace_back( newNode );
2782       }
2783       else
2784       {
2785         newNode = 0;
2786         for ( size_t iP = 0; iP < multiPos.size() &&  !newNode; ++iP )
2787           if (( multiPos[iP] - newXYZ ).SquareModulus() < tol * tol )
2788             newNode = multiPos[iP].Node();
2789         if ( !newNode )
2790         {
2791           newNode = newMesh->AddNode( newXYZ.X(), newXYZ.Y(), newXYZ.Z() );
2792           newNode->setIsMarked( true );
2793           theNew2OldNodes.push_back( std::make_pair( newNode, theNew2OldNodes[i].second ));
2794           multiPos.emplace_back( newNode );
2795         }
2796       }
2797       if ( newNode != oldXYZ.Node() )
2798       {
2799         nodes.assign( newFace->begin_nodes(), newFace->end_nodes() );
2800         nodes[ newFace->GetNodeIndex( oldXYZ.Node() )] = newNode;
2801         newMesh->ChangeElementNodes( newFace, & nodes[0], nodes.size() );
2802       }
2803     }
2804   }
2805
2806   if ( !theFixIntersections )
2807     return newMesh;
2808
2809
2810   // remove new faces around concave nodes (they are marked) if the faces are inverted
2811   gp_XYZ faceNorm;
2812   for ( size_t i = 0; i < theNew2OldNodes.size(); ++i )
2813   {
2814     const SMDS_MeshNode* newNode = theNew2OldNodes[i].first;
2815     //const SMDS_MeshNode* oldNode = theNew2OldNodes[i].second;
2816     if ( newNode->isMarked() )
2817     {
2818       //gp_XYZ moveVec = sign * ( SMESH_NodeXYZ( newNode ) - SMESH_NodeXYZ( oldNode ));
2819
2820       //bool haveInverseFace = false;
2821       for ( SMDS_ElemIteratorPtr fIt = newNode->GetInverseElementIterator(); fIt->more(); )
2822       {
2823         const SMDS_MeshElement* newFace = fIt->next();
2824         const int             faceIndex = newFace->GetID();
2825         const gp_XYZ&           oldNorm = normals[ faceIndex ];
2826         if ( !SMESH_MeshAlgos::FaceNormal( newFace, faceNorm, /*normalize=*/false ) ||
2827              //faceNorm * moveVec < 0 )
2828              faceNorm * oldNorm < 0 )
2829         {
2830           //haveInverseFace = true;
2831           theNew2OldFaces[ faceIndex ].first = 0;
2832           newMesh->RemoveFreeElement( newFace );
2833           //break;
2834         }
2835       }
2836       // if ( haveInverseFace )
2837       // {
2838       //   newMesh->MoveNode( newNode, oldNode->X(), oldNode->Y(), oldNode->Z() );
2839
2840       //   for ( SMDS_ElemIteratorPtr fIt = newNode->GetInverseElementIterator(); fIt->more(); )
2841       //   {
2842       //     const SMDS_MeshElement* newFace = fIt->next();
2843       //     if ( !SMESH_MeshAlgos::FaceNormal( newFace, normals[ newFace->GetID() ] ))
2844       //       normals[i].SetCoord( 0,0,0 ); // TODO find norm by neighbors
2845       //   }
2846       // }
2847     }
2848     // mark all new nodes located closer than theOffset from theSrcMesh
2849   }
2850
2851   // ==================================================
2852   // find self-intersections of new faces and fix them
2853   // ==================================================
2854
2855   std::unique_ptr< SMESH_ElementSearcher > fSearcher
2856     ( SMESH_MeshAlgos::GetElementSearcher( *newMesh, tol ));
2857
2858   Intersector intersector( newMesh, tol, normals );
2859
2860   std::vector< const SMDS_MeshElement* > closeFaces;
2861   std::vector< const SMDS_MeshNode* >    faceNodes;
2862   Bnd_B3d faceBox;
2863   for ( size_t iF = 1; iF < theNew2OldFaces.size(); ++iF )
2864   {
2865     const SMDS_MeshElement* newFace = theNew2OldFaces[iF].first;
2866     if ( !newFace ) continue;
2867     faceNodes.assign( newFace->begin_nodes(), newFace->end_nodes() );
2868
2869     bool isConcaveNode1 = false;
2870     for ( size_t iN = 0; iN < faceNodes.size() && !isConcaveNode1; ++iN )
2871       isConcaveNode1 = faceNodes[iN]->isMarked();
2872
2873     // get faces close to a newFace
2874     closeFaces.clear();
2875     faceBox.Clear();
2876     for ( size_t i = 0; i < faceNodes.size(); ++i )
2877       faceBox.Add( SMESH_NodeXYZ( faceNodes[i] ));
2878     faceBox.Enlarge( tol );
2879
2880     fSearcher->GetElementsInBox( faceBox, SMDSAbs_Face, closeFaces );
2881
2882     // intersect the newFace with closeFaces
2883
2884     for ( size_t i = 0; i < closeFaces.size(); ++i )
2885     {
2886       const SMDS_MeshElement* closeFace = closeFaces[i];
2887       if ( closeFace->GetID() <= newFace->GetID() )
2888         continue; // this pair already treated
2889
2890       // do not intersect connected faces if they have no concave nodes
2891       int nbCommonNodes = 0;
2892       for ( size_t iN = 0; iN < faceNodes.size(); ++iN )
2893         nbCommonNodes += ( closeFace->GetNodeIndex( faceNodes[iN] ) >= 0 );
2894
2895       if ( !isConcaveNode1 )
2896       {
2897         bool isConcaveNode2 = false;
2898         for ( SMDS_ElemIteratorPtr nIt = closeFace->nodesIterator(); nIt->more(); )
2899           if (( isConcaveNode2 = nIt->next()->isMarked() ))
2900             break;
2901
2902         if ( !isConcaveNode2 && nbCommonNodes > 0 )
2903           continue;
2904       }
2905
2906       intersector.Cut( newFace, closeFace, nbCommonNodes );
2907     }
2908   }
2909   intersector.MakeNewFaces( theNew2OldFaces, theNew2OldNodes, sign );
2910
2911   return newMesh;
2912 }