Salome HOME
303b4794b21a99aa3a2faf90f40739bec492f9a1
[modules/smesh.git] / src / StdMeshers / StdMeshers_Regular_1D.cxx
1 // Copyright (C) 2007-2013  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.
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
23 //  File   : StdMeshers_Regular_1D.cxx
24 //           Moved here from SMESH_Regular_1D.cxx
25 //  Author : Paul RASCLE, EDF
26 //  Module : SMESH
27 //
28 #include "StdMeshers_Regular_1D.hxx"
29 #include "StdMeshers_Distribution.hxx"
30
31 #include "StdMeshers_Arithmetic1D.hxx"
32 #include "StdMeshers_AutomaticLength.hxx"
33 #include "StdMeshers_Deflection1D.hxx"
34 #include "StdMeshers_LocalLength.hxx"
35 #include "StdMeshers_MaxLength.hxx"
36 #include "StdMeshers_NumberOfSegments.hxx"
37 #include "StdMeshers_Propagation.hxx"
38 #include "StdMeshers_SegmentLengthAroundVertex.hxx"
39 #include "StdMeshers_StartEndLength.hxx"
40
41 #include "SMESH_Gen.hxx"
42 #include "SMESH_Mesh.hxx"
43 #include "SMESH_HypoFilter.hxx"
44 #include "SMESH_subMesh.hxx"
45 #include "SMESH_subMeshEventListener.hxx"
46 #include "SMESH_Comment.hxx"
47
48 #include "SMDS_MeshElement.hxx"
49 #include "SMDS_MeshNode.hxx"
50
51 #include "Utils_SALOME_Exception.hxx"
52 #include "utilities.h"
53
54 #include <BRepAdaptor_Curve.hxx>
55 #include <BRep_Tool.hxx>
56 #include <GCPnts_AbscissaPoint.hxx>
57 #include <GCPnts_UniformAbscissa.hxx>
58 #include <GCPnts_UniformDeflection.hxx>
59 #include <Precision.hxx>
60 #include <TopExp.hxx>
61 #include <TopExp_Explorer.hxx>
62 #include <TopoDS.hxx>
63 #include <TopoDS_Edge.hxx>
64 #include <TopoDS_Vertex.hxx>
65
66 #include <string>
67 #include <limits>
68
69 using namespace std;
70
71 //=============================================================================
72 /*!
73  *  
74  */
75 //=============================================================================
76
77 StdMeshers_Regular_1D::StdMeshers_Regular_1D(int hypId, int studyId,
78         SMESH_Gen * gen):SMESH_1D_Algo(hypId, studyId, gen)
79 {
80         MESSAGE("StdMeshers_Regular_1D::StdMeshers_Regular_1D");
81         _name = "Regular_1D";
82         _shapeType = (1 << TopAbs_EDGE);
83         _fpHyp = 0;
84
85         _compatibleHypothesis.push_back("LocalLength");
86         _compatibleHypothesis.push_back("MaxLength");
87         _compatibleHypothesis.push_back("NumberOfSegments");
88         _compatibleHypothesis.push_back("StartEndLength");
89         _compatibleHypothesis.push_back("Deflection1D");
90         _compatibleHypothesis.push_back("Arithmetic1D");
91         _compatibleHypothesis.push_back("FixedPoints1D");
92         _compatibleHypothesis.push_back("AutomaticLength");
93
94         _compatibleHypothesis.push_back("QuadraticMesh"); // auxiliary !!!
95         _compatibleHypothesis.push_back("Propagation"); // auxiliary !!!
96 }
97
98 //=============================================================================
99 /*!
100  *  
101  */
102 //=============================================================================
103
104 StdMeshers_Regular_1D::~StdMeshers_Regular_1D()
105 {
106 }
107
108 //=============================================================================
109 /*!
110  *  
111  */
112 //=============================================================================
113
114 bool StdMeshers_Regular_1D::CheckHypothesis
115                          (SMESH_Mesh&                          aMesh,
116                           const TopoDS_Shape&                  aShape,
117                           SMESH_Hypothesis::Hypothesis_Status& aStatus)
118 {
119   _hypType = NONE;
120   _quadraticMesh = false;
121
122   const list <const SMESHDS_Hypothesis * > & hyps =
123     GetUsedHypothesis(aMesh, aShape, /*ignoreAuxiliaryHyps=*/false);
124
125   // find non-auxiliary hypothesis
126   const SMESHDS_Hypothesis *theHyp = 0;
127   list <const SMESHDS_Hypothesis * >::const_iterator h = hyps.begin();
128   for ( ; h != hyps.end(); ++h ) {
129     if ( static_cast<const SMESH_Hypothesis*>(*h)->IsAuxiliary() ) {
130       if ( strcmp( "QuadraticMesh", (*h)->GetName() ) == 0 )
131         _quadraticMesh = true;
132     }
133     else {
134       if ( !theHyp )
135         theHyp = *h; // use only the first non-auxiliary hypothesis
136     }
137   }
138
139   if ( !theHyp )
140   {
141     aStatus = SMESH_Hypothesis::HYP_MISSING;
142     return false;  // can't work without a hypothesis
143   }
144
145   string hypName = theHyp->GetName();
146
147   if (hypName == "LocalLength")
148   {
149     const StdMeshers_LocalLength * hyp =
150       dynamic_cast <const StdMeshers_LocalLength * >(theHyp);
151     ASSERT(hyp);
152     _value[ BEG_LENGTH_IND ] = hyp->GetLength();
153     _value[ PRECISION_IND ] = hyp->GetPrecision();
154     ASSERT( _value[ BEG_LENGTH_IND ] > 0 );
155     _hypType = LOCAL_LENGTH;
156     aStatus = SMESH_Hypothesis::HYP_OK;
157   }
158
159   else if (hypName == "MaxLength")
160   {
161     const StdMeshers_MaxLength * hyp =
162       dynamic_cast <const StdMeshers_MaxLength * >(theHyp);
163     ASSERT(hyp);
164     _value[ BEG_LENGTH_IND ] = hyp->GetLength();
165     if ( hyp->GetUsePreestimatedLength() ) {
166       if ( int nbSeg = aMesh.GetGen()->GetBoundaryBoxSegmentation() )
167         _value[ BEG_LENGTH_IND ] = aMesh.GetShapeDiagonalSize() / nbSeg;
168     }
169     ASSERT( _value[ BEG_LENGTH_IND ] > 0 );
170     _hypType = MAX_LENGTH;
171     aStatus = SMESH_Hypothesis::HYP_OK;
172   }
173
174   else if (hypName == "NumberOfSegments")
175   {
176     const StdMeshers_NumberOfSegments * hyp =
177       dynamic_cast <const StdMeshers_NumberOfSegments * >(theHyp);
178     ASSERT(hyp);
179     _ivalue[ NB_SEGMENTS_IND  ] = hyp->GetNumberOfSegments();
180     ASSERT( _ivalue[ NB_SEGMENTS_IND ] > 0 );
181     _ivalue[ DISTR_TYPE_IND ] = (int) hyp->GetDistrType();
182     switch (_ivalue[ DISTR_TYPE_IND ])
183     {
184     case StdMeshers_NumberOfSegments::DT_Scale:
185       _value[ SCALE_FACTOR_IND ] = hyp->GetScaleFactor();
186       _revEdgesIDs = hyp->GetReversedEdges();
187       break;
188     case StdMeshers_NumberOfSegments::DT_TabFunc:
189       _vvalue[ TAB_FUNC_IND ] = hyp->GetTableFunction();
190       _revEdgesIDs = hyp->GetReversedEdges();
191       break;
192     case StdMeshers_NumberOfSegments::DT_ExprFunc:
193       _svalue[ EXPR_FUNC_IND ] = hyp->GetExpressionFunction();
194       _revEdgesIDs = hyp->GetReversedEdges();
195       break;
196     case StdMeshers_NumberOfSegments::DT_Regular:
197       break;
198     default:
199       ASSERT(0);
200       break;
201     }
202     if (_ivalue[ DISTR_TYPE_IND ] == StdMeshers_NumberOfSegments::DT_TabFunc ||
203         _ivalue[ DISTR_TYPE_IND ] == StdMeshers_NumberOfSegments::DT_ExprFunc)
204         _ivalue[ CONV_MODE_IND ] = hyp->ConversionMode();
205     _hypType = NB_SEGMENTS;
206     aStatus = SMESH_Hypothesis::HYP_OK;
207   }
208
209   else if (hypName == "Arithmetic1D")
210   {
211     const StdMeshers_Arithmetic1D * hyp =
212       dynamic_cast <const StdMeshers_Arithmetic1D * >(theHyp);
213     ASSERT(hyp);
214     _value[ BEG_LENGTH_IND ] = hyp->GetLength( true );
215     _value[ END_LENGTH_IND ] = hyp->GetLength( false );
216     ASSERT( _value[ BEG_LENGTH_IND ] > 0 && _value[ END_LENGTH_IND ] > 0 );
217     _hypType = ARITHMETIC_1D;
218
219     _revEdgesIDs = hyp->GetReversedEdges();
220
221     aStatus = SMESH_Hypothesis::HYP_OK;
222   }
223
224   else if (hypName == "FixedPoints1D") {
225     _fpHyp = dynamic_cast <const StdMeshers_FixedPoints1D*>(theHyp);
226     ASSERT(_fpHyp);
227     _hypType = FIXED_POINTS_1D;
228
229     _revEdgesIDs = _fpHyp->GetReversedEdges();
230
231     aStatus = SMESH_Hypothesis::HYP_OK;
232   }
233
234   else if (hypName == "StartEndLength")
235   {
236     const StdMeshers_StartEndLength * hyp =
237       dynamic_cast <const StdMeshers_StartEndLength * >(theHyp);
238     ASSERT(hyp);
239     _value[ BEG_LENGTH_IND ] = hyp->GetLength( true );
240     _value[ END_LENGTH_IND ] = hyp->GetLength( false );
241     ASSERT( _value[ BEG_LENGTH_IND ] > 0 && _value[ END_LENGTH_IND ] > 0 );
242     _hypType = BEG_END_LENGTH;
243
244     _revEdgesIDs = hyp->GetReversedEdges();
245
246     aStatus = SMESH_Hypothesis::HYP_OK;
247   }
248
249   else if (hypName == "Deflection1D")
250   {
251     const StdMeshers_Deflection1D * hyp =
252       dynamic_cast <const StdMeshers_Deflection1D * >(theHyp);
253     ASSERT(hyp);
254     _value[ DEFLECTION_IND ] = hyp->GetDeflection();
255     ASSERT( _value[ DEFLECTION_IND ] > 0 );
256     _hypType = DEFLECTION;
257     aStatus = SMESH_Hypothesis::HYP_OK;
258   }
259
260   else if (hypName == "AutomaticLength")
261   {
262     StdMeshers_AutomaticLength * hyp = const_cast<StdMeshers_AutomaticLength *>
263       (dynamic_cast <const StdMeshers_AutomaticLength * >(theHyp));
264     ASSERT(hyp);
265     _value[ BEG_LENGTH_IND ] = _value[ END_LENGTH_IND ] = hyp->GetLength( &aMesh, aShape );
266 //     _value[ BEG_LENGTH_IND ] = hyp->GetLength( &aMesh, aShape );
267 //     _value[ END_LENGTH_IND ] = Precision::Confusion(); // ?? or set to zero?
268     ASSERT( _value[ BEG_LENGTH_IND ] > 0 );
269     _hypType = MAX_LENGTH;
270     aStatus = SMESH_Hypothesis::HYP_OK;
271   }
272   else
273     aStatus = SMESH_Hypothesis::HYP_INCOMPATIBLE;
274
275   return ( _hypType != NONE );
276 }
277
278 static bool computeParamByFunc(Adaptor3d_Curve& C3d, double first, double last,
279                                double length, bool theReverse,
280                                int nbSeg, Function& func,
281                                list<double>& theParams)
282 {
283   // never do this way
284   //OSD::SetSignal( true );
285
286   if (nbSeg <= 0)
287     return false;
288
289   MESSAGE( "computeParamByFunc" );
290
291   int nbPnt = 1 + nbSeg;
292   vector<double> x(nbPnt, 0.);
293
294   if (!buildDistribution(func, 0.0, 1.0, nbSeg, x, 1E-4))
295      return false;
296
297   MESSAGE( "Points:\n" );
298   char buf[1024];
299   for ( int i=0; i<=nbSeg; i++ )
300   {
301     sprintf(  buf, "%f\n", float(x[i] ) );
302     MESSAGE( buf );
303   }
304
305
306
307   // apply parameters in range [0,1] to the space of the curve
308   double prevU = first;
309   double sign = 1.;
310   if (theReverse)
311   {
312     prevU = last;
313     sign = -1.;
314   }
315   for( int i = 1; i < nbSeg; i++ )
316   {
317     double curvLength = length * (x[i] - x[i-1]) * sign;
318     GCPnts_AbscissaPoint Discret( C3d, curvLength, prevU );
319     if ( !Discret.IsDone() )
320       return false;
321     double U = Discret.Parameter();
322     if ( U > first && U < last )
323       theParams.push_back( U );
324     else
325       return false;
326     prevU = U;
327   }
328   if ( theReverse )
329     theParams.reverse();
330   return true;
331 }
332
333
334 //================================================================================
335 /*!
336  * \brief adjust internal node parameters so that the last segment length == an
337   * \param a1 - the first segment length
338   * \param an - the last segment length
339   * \param U1 - the first edge parameter
340   * \param Un - the last edge parameter
341   * \param length - the edge length
342   * \param C3d - the edge curve
343   * \param theParams - internal node parameters to adjust
344   * \param adjustNeighbors2an - to adjust length of segments next to the last one
345   *  and not to remove parameters
346  */
347 //================================================================================
348
349 static void compensateError(double a1, double an,
350                             double U1, double Un,
351                             double            length,
352                             Adaptor3d_Curve&  C3d,
353                             list<double> &    theParams,
354                             bool              adjustNeighbors2an = false)
355 {
356   int i, nPar = theParams.size();
357   if ( a1 + an <= length && nPar > 1 )
358   {
359     bool reverse = ( U1 > Un );
360     GCPnts_AbscissaPoint Discret(C3d, reverse ? an : -an, Un);
361     if ( !Discret.IsDone() )
362       return;
363     double Utgt = Discret.Parameter(); // target value of the last parameter
364     list<double>::reverse_iterator itU = theParams.rbegin();
365     double Ul = *itU++; // real value of the last parameter
366     double dUn = Utgt - Ul; // parametric error of <an>
367     if ( Abs(dUn) <= Precision::Confusion() )
368       return;
369     double dU = Abs( Ul - *itU ); // parametric length of the last but one segment
370     if ( adjustNeighbors2an || Abs(dUn) < 0.5 * dU ) { // last segment is a bit shorter than it should
371       // move the last parameter to the edge beginning
372     }
373     else {  // last segment is much shorter than it should -> remove the last param and
374       theParams.pop_back(); nPar--; // move the rest points toward the edge end
375       dUn = Utgt - theParams.back();
376     }
377
378     if ( !adjustNeighbors2an )
379     {
380       double q = dUn / ( Utgt - Un ); // (signed) factor of segment length change
381       for ( itU = theParams.rbegin(), i = 1; i < nPar; i++ ) {
382         double prevU = *itU;
383         (*itU) += dUn;
384         ++itU;
385         dUn = q * (*itU - prevU) * (prevU-U1)/(Un-U1);
386       }
387     }
388     else if ( nPar == 1 )
389     {
390       theParams.back() += dUn;
391     }
392     else
393     {
394       double q  = dUn / ( nPar - 1 );
395       theParams.back() += dUn;
396       double sign = reverse ? -1 : 1;
397       double prevU = theParams.back();
398       itU = theParams.rbegin();
399       for ( ++itU, i = 2; i < nPar; ++itU, i++ ) {
400         double newU = *itU + dUn;
401         if ( newU*sign < prevU*sign ) {
402           prevU = *itU = newU;
403           dUn -= q;
404         }
405         else { // set U between prevU and next valid param
406           list<double>::reverse_iterator itU2 = itU;
407           ++itU2;
408           int nb = 2;
409           while ( (*itU2)*sign > prevU*sign ) {
410             ++itU2; ++nb;
411           }
412           dU = ( *itU2 - prevU ) / nb;
413           while ( itU != itU2 ) {
414             *itU += dU; ++itU;
415           }
416           break;
417         }
418       }
419     }
420   }
421 }
422
423 //================================================================================
424 /*!
425  * \brief Class used to clean mesh on edges when 0D hyp modified.
426  * Common approach doesn't work when 0D algo is missing because the 0D hyp is
427  * considered as not participating in computation whereas it is used by 1D algo.
428  */
429 //================================================================================
430
431 // struct VertexEventListener : public SMESH_subMeshEventListener
432 // {
433 //   VertexEventListener():SMESH_subMeshEventListener(0) // won't be deleted by submesh
434 //   {}
435 //   /*!
436 //    * \brief Clean mesh on edges
437 //    * \param event - algo_event or compute_event itself (of SMESH_subMesh)
438 //    * \param eventType - ALGO_EVENT or COMPUTE_EVENT (of SMESH_subMesh)
439 //    * \param subMesh - the submesh where the event occures
440 //    */
441 //   void ProcessEvent(const int event, const int eventType, SMESH_subMesh* subMesh,
442 //                     EventListenerData*, const SMESH_Hypothesis*)
443 //   {
444 //     if ( eventType == SMESH_subMesh::ALGO_EVENT) // all algo events
445 //     {
446 //       subMesh->ComputeStateEngine( SMESH_subMesh::MODIF_ALGO_STATE );
447 //     }
448 //   }
449 // }; // struct VertexEventListener
450
451 //=============================================================================
452 /*!
453  * \brief Sets event listener to vertex submeshes
454  * \param subMesh - submesh where algo is set
455  *
456  * This method is called when a submesh gets HYP_OK algo_state.
457  * After being set, event listener is notified on each event of a submesh.
458  */
459 //=============================================================================
460
461 void StdMeshers_Regular_1D::SetEventListener(SMESH_subMesh* subMesh)
462 {
463   StdMeshers_Propagation::SetPropagationMgr( subMesh );
464 }
465
466 //=============================================================================
467 /*!
468  * \brief Do nothing
469  * \param subMesh - restored submesh
470  *
471  * This method is called only if a submesh has HYP_OK algo_state.
472  */
473 //=============================================================================
474
475 void StdMeshers_Regular_1D::SubmeshRestored(SMESH_subMesh* subMesh)
476 {
477 }
478
479 //=============================================================================
480 /*!
481  * \brief Return StdMeshers_SegmentLengthAroundVertex assigned to vertex
482  */
483 //=============================================================================
484
485 const StdMeshers_SegmentLengthAroundVertex*
486 StdMeshers_Regular_1D::getVertexHyp(SMESH_Mesh &          theMesh,
487                                     const TopoDS_Vertex & theV)
488 {
489   static SMESH_HypoFilter filter( SMESH_HypoFilter::HasName("SegmentAroundVertex_0D"));
490   if ( const SMESH_Hypothesis * h = theMesh.GetHypothesis( theV, filter, true ))
491   {
492     SMESH_Algo* algo = const_cast< SMESH_Algo* >( static_cast< const SMESH_Algo* > ( h ));
493     const list <const SMESHDS_Hypothesis *> & hypList = algo->GetUsedHypothesis( theMesh, theV, 0 );
494     if ( !hypList.empty() && string("SegmentLengthAroundVertex") == hypList.front()->GetName() )
495       return static_cast<const StdMeshers_SegmentLengthAroundVertex*>( hypList.front() );
496   }
497   return 0;
498 }
499
500 //================================================================================
501 /*!
502  * \brief Tune parameters to fit "SegmentLengthAroundVertex" hypothesis
503   * \param theC3d - wire curve
504   * \param theLength - curve length
505   * \param theParameters - internal nodes parameters to modify
506   * \param theVf - 1st vertex
507   * \param theVl - 2nd vertex
508  */
509 //================================================================================
510
511 void StdMeshers_Regular_1D::redistributeNearVertices (SMESH_Mesh &          theMesh,
512                                                       Adaptor3d_Curve &     theC3d,
513                                                       double                theLength,
514                                                       std::list< double > & theParameters,
515                                                       const TopoDS_Vertex & theVf,
516                                                       const TopoDS_Vertex & theVl)
517 {
518   double f = theC3d.FirstParameter(), l = theC3d.LastParameter();
519   int nPar = theParameters.size();
520   for ( int isEnd1 = 0; isEnd1 < 2; ++isEnd1 )
521   {
522     const TopoDS_Vertex & V = isEnd1 ? theVf : theVl;
523     const StdMeshers_SegmentLengthAroundVertex* hyp = getVertexHyp (theMesh, V );
524     if ( hyp ) {
525       double vertexLength = hyp->GetLength();
526       if ( vertexLength > theLength / 2.0 )
527         continue;
528       if ( isEnd1 ) { // to have a segment of interest at end of theParameters
529         theParameters.reverse();
530         std::swap( f, l );
531       }
532       if ( _hypType == NB_SEGMENTS )
533       {
534         compensateError(0, vertexLength, f, l, theLength, theC3d, theParameters, true );
535       }
536       else if ( nPar <= 3 )
537       {
538         if ( !isEnd1 )
539           vertexLength = -vertexLength;
540         GCPnts_AbscissaPoint Discret(theC3d, vertexLength, l);
541         if ( Discret.IsDone() ) {
542           if ( nPar == 0 )
543             theParameters.push_back( Discret.Parameter());
544           else {
545             double L = GCPnts_AbscissaPoint::Length( theC3d, theParameters.back(), l);
546             if ( vertexLength < L / 2.0 )
547               theParameters.push_back( Discret.Parameter());
548             else
549               compensateError(0, vertexLength, f, l, theLength, theC3d, theParameters, true );
550           }
551         }
552       }
553       else
554       {
555         // recompute params between the last segment and a middle one.
556         // find size of a middle segment
557         int nHalf = ( nPar-1 ) / 2;
558         list< double >::reverse_iterator itU = theParameters.rbegin();
559         std::advance( itU, nHalf );
560         double Um = *itU++;
561         double Lm = GCPnts_AbscissaPoint::Length( theC3d, Um, *itU);
562         double L = GCPnts_AbscissaPoint::Length( theC3d, *itU, l);
563         static StdMeshers_Regular_1D* auxAlgo = 0;
564         if ( !auxAlgo ) {
565           auxAlgo = new StdMeshers_Regular_1D( _gen->GetANewId(), _studyId, _gen );
566           auxAlgo->_hypType = BEG_END_LENGTH;
567         }
568         auxAlgo->_value[ BEG_LENGTH_IND ] = Lm;
569         auxAlgo->_value[ END_LENGTH_IND ] = vertexLength;
570         double from = *itU, to = l;
571         if ( isEnd1 ) {
572           std::swap( from, to );
573           std::swap( auxAlgo->_value[ BEG_LENGTH_IND ], auxAlgo->_value[ END_LENGTH_IND ]);
574         }
575         list<double> params;
576         if ( auxAlgo->computeInternalParameters( theMesh, theC3d, L, from, to, params, false ))
577         {
578           if ( isEnd1 ) params.reverse();
579           while ( 1 + nHalf-- )
580             theParameters.pop_back();
581           theParameters.splice( theParameters.end(), params );
582         }
583         else
584         {
585           compensateError(0, vertexLength, f, l, theLength, theC3d, theParameters, true );
586         }
587       }
588       if ( isEnd1 )
589         theParameters.reverse();
590     }
591   }
592 }
593
594 //=============================================================================
595 /*!
596  *  
597  */
598 //=============================================================================
599 bool StdMeshers_Regular_1D::computeInternalParameters(SMESH_Mesh &     theMesh,
600                                                       Adaptor3d_Curve& theC3d,
601                                                       double           theLength,
602                                                       double           theFirstU,
603                                                       double           theLastU,
604                                                       list<double> &   theParams,
605                                                       const bool       theReverse,
606                                                       bool             theConsiderPropagation)
607 {
608   theParams.clear();
609
610   double f = theFirstU, l = theLastU;
611
612   switch( _hypType )
613   {
614   case LOCAL_LENGTH:
615   case MAX_LENGTH:
616   case NB_SEGMENTS: {
617
618     double eltSize = 1;
619     int nbSegments;
620     if ( _hypType == MAX_LENGTH )
621     {
622       double nbseg = ceil(theLength / _value[ BEG_LENGTH_IND ]); // integer sup
623       if (nbseg <= 0)
624         nbseg = 1;                        // degenerated edge
625       eltSize = theLength / nbseg;
626       nbSegments = (int) nbseg;
627     }
628     else if ( _hypType == LOCAL_LENGTH )
629     {
630       // Local Length hypothesis
631       double nbseg = ceil(theLength / _value[ BEG_LENGTH_IND ]); // integer sup
632
633       // NPAL17873:
634       bool isFound = false;
635       if (theConsiderPropagation && !_mainEdge.IsNull()) // propagated from some other edge
636       {
637         // Advanced processing to assure equal number of segments in case of Propagation
638         SMESH_subMesh* sm = theMesh.GetSubMeshContaining(_mainEdge);
639         if (sm) {
640           bool computed = sm->IsMeshComputed();
641           if (!computed) {
642             if (sm->GetComputeState() == SMESH_subMesh::READY_TO_COMPUTE) {
643               _gen->Compute( theMesh, _mainEdge, /*anUpward=*/true);
644               computed = sm->IsMeshComputed();
645             }
646           }
647           if (computed) {
648             SMESHDS_SubMesh* smds = sm->GetSubMeshDS();
649             int nb_segments = smds->NbElements();
650             if (nbseg - 1 <= nb_segments && nb_segments <= nbseg + 1) {
651               isFound = true;
652               nbseg = nb_segments;
653             }
654           }
655         }
656       }
657       if (!isFound) // not found by meshed edge in the propagation chain, use precision
658       {
659         double aPrecision = _value[ PRECISION_IND ];
660         double nbseg_prec = ceil((theLength / _value[ BEG_LENGTH_IND ]) - aPrecision);
661         if (nbseg_prec == (nbseg - 1)) nbseg--;
662       }
663
664       if (nbseg <= 0)
665         nbseg = 1;                        // degenerated edge
666       eltSize = theLength / nbseg;
667       nbSegments = (int) nbseg;
668     }
669     else
670     {
671       // Number Of Segments hypothesis
672       nbSegments = _ivalue[ NB_SEGMENTS_IND ];
673       if ( nbSegments < 1 )  return false;
674       if ( nbSegments == 1 ) return true;
675
676       switch (_ivalue[ DISTR_TYPE_IND ])
677       {
678       case StdMeshers_NumberOfSegments::DT_Scale:
679         {
680           double scale = _value[ SCALE_FACTOR_IND ];
681
682           if (fabs(scale - 1.0) < Precision::Confusion()) {
683             // special case to avoid division by zero
684             for (int i = 1; i < nbSegments; i++) {
685               double param = f + (l - f) * i / nbSegments;
686               theParams.push_back( param );
687             }
688           } else {
689             // general case of scale distribution
690             if ( theReverse )
691               scale = 1.0 / scale;
692
693             double alpha = pow(scale, 1.0 / (nbSegments - 1));
694             double factor = (l - f) / (1.0 - pow(alpha, nbSegments));
695
696             for (int i = 1; i < nbSegments; i++) {
697               double param = f + factor * (1.0 - pow(alpha, i));
698               theParams.push_back( param );
699             }
700           }
701           const double lenFactor = theLength/(l-f);
702           list<double>::iterator u = theParams.begin(), uEnd = theParams.end();
703           for ( ; u != uEnd; ++u )
704           {
705             GCPnts_AbscissaPoint Discret( theC3d, ((*u)-f) * lenFactor, f );
706             if ( Discret.IsDone() )
707               *u = Discret.Parameter();
708           }
709           return true;
710         }
711         break;
712       case StdMeshers_NumberOfSegments::DT_TabFunc:
713         {
714           FunctionTable func(_vvalue[ TAB_FUNC_IND ], _ivalue[ CONV_MODE_IND ]);
715           return computeParamByFunc(theC3d, f, l, theLength, theReverse,
716                                     _ivalue[ NB_SEGMENTS_IND ], func,
717                                     theParams);
718         }
719         break;
720       case StdMeshers_NumberOfSegments::DT_ExprFunc:
721         {
722           FunctionExpr func(_svalue[ EXPR_FUNC_IND ].c_str(), _ivalue[ CONV_MODE_IND ]);
723           return computeParamByFunc(theC3d, f, l, theLength, theReverse,
724                                     _ivalue[ NB_SEGMENTS_IND ], func,
725                                     theParams);
726         }
727         break;
728       case StdMeshers_NumberOfSegments::DT_Regular:
729         eltSize = theLength / nbSegments;
730         break;
731       default:
732         return false;
733       }
734     }
735     GCPnts_UniformAbscissa Discret(theC3d, eltSize, f, l);
736     if ( !Discret.IsDone() )
737       return error( "GCPnts_UniformAbscissa failed");
738
739     int NbPoints = Min( Discret.NbPoints(), nbSegments + 1 );
740     for ( int i = 2; i < NbPoints; i++ ) // skip 1st and last points
741     {
742       double param = Discret.Parameter(i);
743       theParams.push_back( param );
744     }
745     compensateError( eltSize, eltSize, f, l, theLength, theC3d, theParams, true ); // for PAL9899
746     return true;
747   }
748
749   case BEG_END_LENGTH: {
750
751     // geometric progression: SUM(n) = ( a1 - an * q ) / ( 1 - q ) = theLength
752
753     double a1 = _value[ BEG_LENGTH_IND ];
754     double an = _value[ END_LENGTH_IND ];
755     double q  = ( theLength - a1 ) / ( theLength - an );
756     if ( q < theLength/1e6 || 1.01*theLength < a1 + an)
757       return error ( SMESH_Comment("Invalid segment lengths (")<<a1<<" and "<<an<<") "<<
758                      "for an edge of length "<<theLength);
759
760     double U1 = theReverse ? l : f;
761     double Un = theReverse ? f : l;
762     double param = U1;
763     double eltSize = theReverse ? -a1 : a1;
764     while ( 1 ) {
765       // computes a point on a curve <theC3d> at the distance <eltSize>
766       // from the point of parameter <param>.
767       GCPnts_AbscissaPoint Discret( theC3d, eltSize, param );
768       if ( !Discret.IsDone() ) break;
769       param = Discret.Parameter();
770       if ( f < param && param < l )
771         theParams.push_back( param );
772       else
773         break;
774       eltSize *= q;
775     }
776     compensateError( a1, an, U1, Un, theLength, theC3d, theParams );
777     if (theReverse) theParams.reverse(); // NPAL18025
778     return true;
779   }
780
781   case ARITHMETIC_1D: {
782
783     // arithmetic progression: SUM(n) = ( an - a1 + q ) * ( a1 + an ) / ( 2 * q ) = theLength
784
785     double a1 = _value[ BEG_LENGTH_IND ];
786     double an = _value[ END_LENGTH_IND ];
787     if ( 1.01*theLength < a1 + an)
788       return error ( SMESH_Comment("Invalid segment lengths (")<<a1<<" and "<<an<<") "<<
789                      "for an edge of length "<<theLength);
790
791     double  q = ( an - a1 ) / ( 2 *theLength/( a1 + an ) - 1 );
792     int n = int(fabs(q) > numeric_limits<double>::min() ? ( 1+( an-a1 )/q ) : ( 1+theLength/a1 ));
793
794     double U1 = theReverse ? l : f;
795     double Un = theReverse ? f : l;
796     double param = U1;
797     double eltSize = a1;
798     if ( theReverse ) {
799       eltSize = -eltSize;
800       q = -q;
801     }
802     while ( n-- > 0 && eltSize * ( Un - U1 ) > 0 ) {
803       // computes a point on a curve <theC3d> at the distance <eltSize>
804       // from the point of parameter <param>.
805       GCPnts_AbscissaPoint Discret( theC3d, eltSize, param );
806       if ( !Discret.IsDone() ) break;
807       param = Discret.Parameter();
808       if ( param > f && param < l )
809         theParams.push_back( param );
810       else
811         break;
812       eltSize += q;
813     }
814     compensateError( a1, an, U1, Un, theLength, theC3d, theParams );
815     if (theReverse) theParams.reverse(); // NPAL18025
816
817     return true;
818   }
819
820   case FIXED_POINTS_1D: {
821     const std::vector<double>& aPnts = _fpHyp->GetPoints();
822     const std::vector<int>& nbsegs = _fpHyp->GetNbSegments();
823     int i = 0;
824     TColStd_SequenceOfReal Params;
825     for(; i<aPnts.size(); i++) {
826       if( aPnts[i]<0.0001 || aPnts[i]>0.9999 ) continue;
827       int j=1;
828       bool IsExist = false;
829       for(; j<=Params.Length(); j++) {
830         if( fabs(aPnts[i]-Params.Value(j)) < 1e-4 ) {
831           IsExist = true;
832           break;
833         }
834         if( aPnts[i]<Params.Value(j) ) break;
835       }
836       if(!IsExist) Params.InsertBefore(j,aPnts[i]);
837     }
838     double par2, par1, lp;
839     par1 = f;
840     lp = l;
841     double sign = 1.0;
842     if(theReverse) {
843       par1 = l;
844       lp = f;
845       sign = -1.0;
846     }
847     double eltSize, segmentSize = 0.;
848     double currAbscissa = 0;
849     for(i=0; i<Params.Length(); i++) {
850       int nbseg = ( i > nbsegs.size()-1 ) ? nbsegs[0] : nbsegs[i];
851       segmentSize = Params.Value(i+1)*theLength - currAbscissa;
852       currAbscissa += segmentSize;
853       GCPnts_AbscissaPoint APnt(theC3d, sign*segmentSize, par1);
854       if( !APnt.IsDone() )
855         return error( "GCPnts_AbscissaPoint failed");
856       par2 = APnt.Parameter();
857       eltSize = segmentSize/nbseg;
858       GCPnts_UniformAbscissa Discret(theC3d, eltSize, par1, par2);
859       if(theReverse)
860         Discret.Initialize(theC3d, eltSize, par2, par1);
861       else
862         Discret.Initialize(theC3d, eltSize, par1, par2);
863       if ( !Discret.IsDone() )
864         return error( "GCPnts_UniformAbscissa failed");
865       int NbPoints = Discret.NbPoints();
866       list<double> tmpParams;
867       for(int i=2; i<NbPoints; i++) {
868         double param = Discret.Parameter(i);
869         tmpParams.push_back( param );
870       }
871       if (theReverse) {
872         compensateError( eltSize, eltSize, par2, par1, segmentSize, theC3d, tmpParams );
873         tmpParams.reverse();
874       }
875       else {
876         compensateError( eltSize, eltSize, par1, par2, segmentSize, theC3d, tmpParams );
877       }
878       list<double>::iterator itP = tmpParams.begin();
879       for(; itP != tmpParams.end(); itP++) {
880         theParams.push_back( *(itP) );
881       }
882       theParams.push_back( par2 );
883
884       par1 = par2;
885     }
886     // add for last
887     int nbseg = ( nbsegs.size() > Params.Length() ) ? nbsegs[Params.Length()] : nbsegs[0];
888     segmentSize = theLength - currAbscissa;
889     eltSize = segmentSize/nbseg;
890     GCPnts_UniformAbscissa Discret;
891     if(theReverse)
892       Discret.Initialize(theC3d, eltSize, par1, lp);
893     else
894       Discret.Initialize(theC3d, eltSize, lp, par1);
895     if ( !Discret.IsDone() )
896       return error( "GCPnts_UniformAbscissa failed");
897     int NbPoints = Discret.NbPoints();
898     list<double> tmpParams;
899     for(int i=2; i<NbPoints; i++) {
900       double param = Discret.Parameter(i);
901       tmpParams.push_back( param );
902     }
903     if (theReverse) {
904       compensateError( eltSize, eltSize, lp, par1, segmentSize, theC3d, tmpParams );
905       tmpParams.reverse();
906     }
907     else {
908       compensateError( eltSize, eltSize, par1, lp, segmentSize, theC3d, tmpParams );
909     }
910     list<double>::iterator itP = tmpParams.begin();
911     for(; itP != tmpParams.end(); itP++) {
912       theParams.push_back( *(itP) );
913     }
914
915     if (theReverse) {
916       theParams.reverse(); // NPAL18025
917     }
918     return true;
919   }
920
921   case DEFLECTION: {
922
923     GCPnts_UniformDeflection Discret(theC3d, _value[ DEFLECTION_IND ], f, l, true);
924     if ( !Discret.IsDone() )
925       return false;
926
927     int NbPoints = Discret.NbPoints();
928     for ( int i = 2; i < NbPoints; i++ )
929     {
930       double param = Discret.Parameter(i);
931       theParams.push_back( param );
932     }
933     return true;
934   }
935
936   default:;
937   }
938
939   return false;
940 }
941
942 //=============================================================================
943 /*!
944  *  
945  */
946 //=============================================================================
947
948 bool StdMeshers_Regular_1D::Compute(SMESH_Mesh & theMesh, const TopoDS_Shape & theShape)
949 {
950   if ( _hypType == NONE )
951     return false;
952
953   SMESHDS_Mesh * meshDS = theMesh.GetMeshDS();
954
955   const TopoDS_Edge & EE = TopoDS::Edge(theShape);
956   TopoDS_Edge E = TopoDS::Edge(EE.Oriented(TopAbs_FORWARD));
957   int shapeID = meshDS->ShapeToIndex( E );
958
959   double f, l;
960   Handle(Geom_Curve) Curve = BRep_Tool::Curve(E, f, l);
961
962   TopoDS_Vertex VFirst, VLast;
963   TopExp::Vertices(E, VFirst, VLast);   // Vfirst corresponds to f and Vlast to l
964
965   ASSERT(!VFirst.IsNull());
966   ASSERT(!VLast.IsNull());
967   const SMDS_MeshNode * idFirst = SMESH_Algo::VertexNode( VFirst, meshDS );
968   const SMDS_MeshNode * idLast = SMESH_Algo::VertexNode( VLast, meshDS );
969   if (!idFirst || !idLast)
970     return error( COMPERR_BAD_INPUT_MESH, "No node on vertex");
971
972   // remove elements created by e.g. patern mapping (PAL21999)
973   // CLEAN event is incorrectly ptopagated seemingly due to Propagation hyp
974   // so TEMPORARY solution is to clean the submesh manually
975   //theMesh.GetSubMesh(theShape)->ComputeStateEngine( SMESH_subMesh::CLEAN );
976   if (SMESHDS_SubMesh * subMeshDS = meshDS->MeshElements(theShape))
977   {
978     SMDS_ElemIteratorPtr ite = subMeshDS->GetElements();
979     while (ite->more())
980       meshDS->RemoveFreeElement(ite->next(), subMeshDS);
981     SMDS_NodeIteratorPtr itn = subMeshDS->GetNodes();
982     while (itn->more()) {
983       const SMDS_MeshNode * node = itn->next();
984       if ( node->NbInverseElements() == 0 )
985         meshDS->RemoveFreeNode(node, subMeshDS);
986       else
987         meshDS->RemoveNode(node);
988     }
989   }
990
991   if (!Curve.IsNull())
992   {
993     list< double > params;
994     bool reversed = false;
995     if ( theMesh.GetShapeToMesh().ShapeType() >= TopAbs_WIRE ) {
996       // if the shape to mesh is WIRE or EDGE
997       reversed = ( EE.Orientation() == TopAbs_REVERSED );
998     }
999     if ( !_mainEdge.IsNull() ) {
1000       // take into account reversing the edge the hypothesis is propagated from
1001       reversed = ( _mainEdge.Orientation() == TopAbs_REVERSED );
1002       int mainID = meshDS->ShapeToIndex(_mainEdge);
1003       if ( std::find( _revEdgesIDs.begin(), _revEdgesIDs.end(), mainID) != _revEdgesIDs.end())
1004         reversed = !reversed;
1005     }
1006     // take into account this edge reversing
1007     if ( std::find( _revEdgesIDs.begin(), _revEdgesIDs.end(), shapeID) != _revEdgesIDs.end())
1008       reversed = !reversed;
1009
1010     BRepAdaptor_Curve C3d( E );
1011     double length = EdgeLength( E );
1012     if ( ! computeInternalParameters( theMesh, C3d, length, f, l, params, reversed, true )) {
1013       return false;
1014     }
1015     redistributeNearVertices( theMesh, C3d, length, params, VFirst, VLast );
1016
1017     // edge extrema (indexes : 1 & NbPoints) already in SMDS (TopoDS_Vertex)
1018     // only internal nodes receive an edge position with param on curve
1019
1020     const SMDS_MeshNode * idPrev = idFirst;
1021     double parPrev = f;
1022     double parLast = l;
1023
1024     /* NPAL18025
1025     if (reversed) {
1026       idPrev = idLast;
1027       idLast = idFirst;
1028       idFirst = idPrev;
1029       parPrev = l;
1030       parLast = f;
1031     }
1032     */
1033     for (list<double>::iterator itU = params.begin(); itU != params.end(); itU++) {
1034       double param = *itU;
1035       gp_Pnt P = Curve->Value(param);
1036
1037       //Add the Node in the DataStructure
1038       SMDS_MeshNode * node = meshDS->AddNode(P.X(), P.Y(), P.Z());
1039       meshDS->SetNodeOnEdge(node, shapeID, param);
1040
1041       if(_quadraticMesh) {
1042         // create medium node
1043         double prm = ( parPrev + param )/2;
1044         gp_Pnt PM = Curve->Value(prm);
1045         SMDS_MeshNode * NM = meshDS->AddNode(PM.X(), PM.Y(), PM.Z());
1046         meshDS->SetNodeOnEdge(NM, shapeID, prm);
1047         SMDS_MeshEdge * edge = meshDS->AddEdge(idPrev, node, NM);
1048         meshDS->SetMeshElementOnShape(edge, shapeID);
1049       }
1050       else {
1051         SMDS_MeshEdge * edge = meshDS->AddEdge(idPrev, node);
1052         meshDS->SetMeshElementOnShape(edge, shapeID);
1053       }
1054
1055       idPrev = node;
1056       parPrev = param;
1057     }
1058     if(_quadraticMesh) {
1059       double prm = ( parPrev + parLast )/2;
1060       gp_Pnt PM = Curve->Value(prm);
1061       SMDS_MeshNode * NM = meshDS->AddNode(PM.X(), PM.Y(), PM.Z());
1062       meshDS->SetNodeOnEdge(NM, shapeID, prm);
1063       SMDS_MeshEdge * edge = meshDS->AddEdge(idPrev, idLast, NM);
1064       meshDS->SetMeshElementOnShape(edge, shapeID);
1065     }
1066     else {
1067       SMDS_MeshEdge* edge = meshDS->AddEdge(idPrev, idLast);
1068       meshDS->SetMeshElementOnShape(edge, shapeID);
1069     }
1070   }
1071   else
1072   {
1073     //MESSAGE("************* Degenerated edge! *****************");
1074
1075     // Edge is a degenerated Edge : We put n = 5 points on the edge.
1076     const int NbPoints = 5;
1077     BRep_Tool::Range( E, f, l ); // PAL15185
1078     double du = (l - f) / (NbPoints - 1);
1079
1080     gp_Pnt P = BRep_Tool::Pnt(VFirst);
1081
1082     const SMDS_MeshNode * idPrev = idFirst;
1083     for (int i = 2; i < NbPoints; i++) {
1084       double param = f + (i - 1) * du;
1085       SMDS_MeshNode * node = meshDS->AddNode(P.X(), P.Y(), P.Z());
1086       if(_quadraticMesh) {
1087         // create medium node
1088         double prm = param - du/2.;
1089         SMDS_MeshNode * NM = meshDS->AddNode(P.X(), P.Y(), P.Z());
1090         meshDS->SetNodeOnEdge(NM, shapeID, prm);
1091         SMDS_MeshEdge * edge = meshDS->AddEdge(idPrev, node, NM);
1092         meshDS->SetMeshElementOnShape(edge, shapeID);
1093       }
1094       else {
1095         SMDS_MeshEdge * edge = meshDS->AddEdge(idPrev, node);
1096         meshDS->SetMeshElementOnShape(edge, shapeID);
1097       }
1098       meshDS->SetNodeOnEdge(node, shapeID, param);
1099       idPrev = node;
1100     }
1101     if(_quadraticMesh) {
1102       // create medium node
1103       double prm = l - du/2.;
1104       SMDS_MeshNode * NM = meshDS->AddNode(P.X(), P.Y(), P.Z());
1105       meshDS->SetNodeOnEdge(NM, shapeID, prm);
1106       SMDS_MeshEdge * edge = meshDS->AddEdge(idPrev, idLast, NM);
1107       meshDS->SetMeshElementOnShape(edge, shapeID);
1108     }
1109     else {
1110       SMDS_MeshEdge * edge = meshDS->AddEdge(idPrev, idLast);
1111       meshDS->SetMeshElementOnShape(edge, shapeID);
1112     }
1113   }
1114   return true;
1115 }
1116
1117
1118 //=============================================================================
1119 /*!
1120  *  
1121  */
1122 //=============================================================================
1123
1124 bool StdMeshers_Regular_1D::Evaluate(SMESH_Mesh & theMesh,
1125                                      const TopoDS_Shape & theShape,
1126                                      MapShapeNbElems& aResMap)
1127 {
1128   if ( _hypType == NONE )
1129     return false;
1130
1131   //SMESHDS_Mesh * meshDS = theMesh.GetMeshDS();
1132
1133   const TopoDS_Edge & EE = TopoDS::Edge(theShape);
1134   TopoDS_Edge E = TopoDS::Edge(EE.Oriented(TopAbs_FORWARD));
1135   //  int shapeID = meshDS->ShapeToIndex( E );
1136
1137   double f, l;
1138   Handle(Geom_Curve) Curve = BRep_Tool::Curve(E, f, l);
1139
1140   TopoDS_Vertex VFirst, VLast;
1141   TopExp::Vertices(E, VFirst, VLast);   // Vfirst corresponds to f and Vlast to l
1142
1143   ASSERT(!VFirst.IsNull());
1144   ASSERT(!VLast.IsNull());
1145
1146   std::vector<int> aVec(SMDSEntity_Last,0);
1147
1148   if (!Curve.IsNull()) {
1149     list< double > params;
1150
1151     BRepAdaptor_Curve C3d( E );
1152     double length = EdgeLength( E );
1153     if ( ! computeInternalParameters( theMesh, C3d, length, f, l, params, false, true )) {
1154       SMESH_subMesh * sm = theMesh.GetSubMesh(theShape);
1155       aResMap.insert(std::make_pair(sm,aVec));
1156       SMESH_ComputeErrorPtr& smError = sm->GetComputeError();
1157       smError.reset( new SMESH_ComputeError(COMPERR_ALGO_FAILED,"Submesh can not be evaluated",this));
1158       return false;
1159     }
1160     redistributeNearVertices( theMesh, C3d, length, params, VFirst, VLast );
1161
1162     if(_quadraticMesh) {
1163       aVec[SMDSEntity_Node] = 2*params.size() + 1;
1164       aVec[SMDSEntity_Quad_Edge] = params.size() + 1;
1165     }
1166     else {
1167       aVec[SMDSEntity_Node] = params.size();
1168       aVec[SMDSEntity_Edge] = params.size() + 1;
1169     }
1170     
1171   }
1172   else {
1173     //MESSAGE("************* Degenerated edge! *****************");
1174     // Edge is a degenerated Edge : We put n = 5 points on the edge.
1175     if(_quadraticMesh) {
1176       aVec[SMDSEntity_Node] = 11;
1177       aVec[SMDSEntity_Quad_Edge] = 6;
1178     }
1179     else {
1180       aVec[SMDSEntity_Node] = 5;
1181       aVec[SMDSEntity_Edge] = 6;
1182     }
1183   }
1184
1185   SMESH_subMesh * sm = theMesh.GetSubMesh(theShape);
1186   aResMap.insert(std::make_pair(sm,aVec));
1187
1188   return true;
1189 }
1190
1191
1192 //=============================================================================
1193 /*!
1194  *  See comments in SMESH_Algo.cxx
1195  */
1196 //=============================================================================
1197
1198 const list <const SMESHDS_Hypothesis *> &
1199 StdMeshers_Regular_1D::GetUsedHypothesis(SMESH_Mesh &         aMesh,
1200                                          const TopoDS_Shape & aShape,
1201                                          const bool           ignoreAuxiliary)
1202 {
1203   _usedHypList.clear();
1204   _mainEdge.Nullify();
1205
1206   SMESH_HypoFilter auxiliaryFilter, compatibleFilter;
1207   auxiliaryFilter.Init( SMESH_HypoFilter::IsAuxiliary() );
1208   InitCompatibleHypoFilter( compatibleFilter, /*ignoreAux=*/true );
1209
1210   // get non-auxiliary assigned directly to aShape
1211   int nbHyp = aMesh.GetHypotheses( aShape, compatibleFilter, _usedHypList, false );
1212
1213   if (nbHyp == 0 && aShape.ShapeType() == TopAbs_EDGE)
1214   {
1215     // Check, if propagated from some other edge
1216     _mainEdge = StdMeshers_Propagation::GetPropagationSource( aMesh, aShape );
1217     if ( !_mainEdge.IsNull() )
1218     {
1219       // Propagation of 1D hypothesis from <aMainEdge> on this edge;
1220       // get non-auxiliary assigned to _mainEdge
1221       nbHyp = aMesh.GetHypotheses( _mainEdge, compatibleFilter, _usedHypList, true );
1222     }
1223   }
1224
1225   if (nbHyp == 0) // nothing propagated nor assigned to aShape
1226   {
1227     SMESH_Algo::GetUsedHypothesis( aMesh, aShape, ignoreAuxiliary );
1228     nbHyp = _usedHypList.size();
1229   }
1230   else
1231   {
1232     // get auxiliary hyps from aShape
1233     aMesh.GetHypotheses( aShape, auxiliaryFilter, _usedHypList, true );
1234   }
1235   if ( nbHyp > 1 && ignoreAuxiliary )
1236     _usedHypList.clear(); //only one compatible non-auxiliary hypothesis allowed
1237
1238   return _usedHypList;
1239 }