Salome HOME
Set names for dockable windows.
[modules/shaper.git] / src / SketchSolver / PlaneGCSSolver / PlaneGCSSolver_Tools.cpp
1 // Copyright (C) 2014-2019  CEA/DEN, EDF R&D
2 //
3 // This library is free software; you can redistribute it and/or
4 // modify it under the terms of the GNU Lesser General Public
5 // License as published by the Free Software Foundation; either
6 // version 2.1 of the License, or (at your option) any later version.
7 //
8 // This library is distributed in the hope that it will be useful,
9 // but WITHOUT ANY WARRANTY; without even the implied warranty of
10 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
11 // Lesser General Public License for more details.
12 //
13 // You should have received a copy of the GNU Lesser General Public
14 // License along with this library; if not, write to the Free Software
15 // Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307 USA
16 //
17 // See http://www.salome-platform.org/ or email : webmaster.salome@opencascade.com
18 //
19
20 #include <PlaneGCSSolver_Tools.h>
21 #include <PlaneGCSSolver_EdgeWrapper.h>
22 #include <PlaneGCSSolver_PointWrapper.h>
23 #include <PlaneGCSSolver_ScalarWrapper.h>
24 #include <PlaneGCSSolver_ConstraintWrapper.h>
25
26 #include <SketchSolver_Constraint.h>
27 #include <SketchSolver_ConstraintAngle.h>
28 #include <SketchSolver_ConstraintCoincidence.h>
29 #include <SketchPlugin_ConstraintCoincidenceInternal.h>
30 #include <SketchSolver_ConstraintCollinear.h>
31 #include <SketchSolver_ConstraintDistance.h>
32 #include <SketchSolver_ConstraintEqual.h>
33 #include <SketchSolver_ConstraintFixed.h>
34 #include <SketchSolver_ConstraintLength.h>
35 #include <SketchSolver_ConstraintMiddle.h>
36 #include <SketchSolver_ConstraintMirror.h>
37 #include <SketchSolver_ConstraintPerpendicular.h>
38 #include <SketchSolver_ConstraintTangent.h>
39 #include <SketchSolver_ConstraintMultiRotation.h>
40 #include <SketchSolver_ConstraintMultiTranslation.h>
41
42 #include <SketchPlugin_ConstraintAngle.h>
43 #include <SketchPlugin_ConstraintCoincidence.h>
44 #include <SketchPlugin_ConstraintCollinear.h>
45 #include <SketchPlugin_ConstraintDistance.h>
46 #include <SketchPlugin_ConstraintDistanceHorizontal.h>
47 #include <SketchPlugin_ConstraintDistanceVertical.h>
48 #include <SketchPlugin_ConstraintEqual.h>
49 #include <SketchPlugin_ConstraintLength.h>
50 #include <SketchPlugin_ConstraintMiddle.h>
51 #include <SketchPlugin_ConstraintMirror.h>
52 #include <SketchPlugin_ConstraintRigid.h>
53 #include <SketchPlugin_ConstraintPerpendicular.h>
54 #include <SketchPlugin_ConstraintTangent.h>
55 #include <SketchPlugin_Line.h>
56 #include <SketchPlugin_MultiRotation.h>
57 #include <SketchPlugin_MultiTranslation.h>
58
59 #include <GeomAPI_Circ2d.h>
60 #include <GeomAPI_Dir2d.h>
61 #include <GeomAPI_Ellipse2d.h>
62 #include <GeomAPI_Lin2d.h>
63 #include <GeomAPI_Pnt2d.h>
64
65 #include <cmath>
66
67
68 #define GCS_EDGE_WRAPPER(x)   std::dynamic_pointer_cast<PlaneGCSSolver_EdgeWrapper>(x)
69 #define GCS_POINT_WRAPPER(x)  std::dynamic_pointer_cast<PlaneGCSSolver_PointWrapper>(x)
70 #define GCS_SCALAR_WRAPPER(x) std::dynamic_pointer_cast<PlaneGCSSolver_ScalarWrapper>(x)
71
72
73
74 static ConstraintWrapperPtr
75   createConstraintCoincidence(std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint1,
76                               std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint2);
77 static ConstraintWrapperPtr
78   createConstraintPointOnEntity(const SketchSolver_ConstraintType& theType,
79                                 std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint,
80                                 std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity);
81 static ConstraintWrapperPtr
82   createConstraintPointsCollinear(std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint1,
83                                   std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint2,
84                                   std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint3);
85 static ConstraintWrapperPtr
86   createConstraintDistancePointPoint(std::shared_ptr<PlaneGCSSolver_ScalarWrapper> theValue,
87                                      std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint1,
88                                      std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint2);
89 static ConstraintWrapperPtr
90   createConstraintDistancePointLine(std::shared_ptr<PlaneGCSSolver_ScalarWrapper> theValue,
91                                     std::shared_ptr<PlaneGCSSolver_PointWrapper>  thePoint,
92                                     std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity);
93 static ConstraintWrapperPtr
94   createConstraintHVDistance(const SketchSolver_ConstraintType& theType,
95                              std::shared_ptr<PlaneGCSSolver_ScalarWrapper> theValue,
96                              std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint1,
97                              std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint2);
98 static ConstraintWrapperPtr
99   createConstraintRadius(std::shared_ptr<PlaneGCSSolver_ScalarWrapper> theValue,
100                          std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity);
101 static ConstraintWrapperPtr
102   createConstraintAngle(ConstraintPtr theConstraint,
103                         std::shared_ptr<PlaneGCSSolver_ScalarWrapper> theValue,
104                         std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity1,
105                         std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity2);
106 static ConstraintWrapperPtr
107   createConstraintHorizVert(const SketchSolver_ConstraintType& theType,
108                             std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity);
109 static ConstraintWrapperPtr
110   createConstraintParallel(std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity1,
111                            std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity2);
112 static ConstraintWrapperPtr
113   createConstraintPerpendicular(std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity1,
114                                 std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity2);
115 static ConstraintWrapperPtr
116   createConstraintEqual(const SketchSolver_ConstraintType& theType,
117                         std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity1,
118                         std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity2,
119                         std::shared_ptr<PlaneGCSSolver_ScalarWrapper> theIntermed);
120 static ConstraintWrapperPtr
121   createConstraintMiddlePoint(std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint,
122                               std::shared_ptr<PlaneGCSSolver_EdgeWrapper>  theEntity,
123                               std::shared_ptr<PlaneGCSSolver_PointWrapper> theAuxParameters);
124 static ConstraintWrapperPtr
125   createConstraintAngleBetweenCurves(std::shared_ptr<PlaneGCSSolver_ScalarWrapper> theValue,
126                                      std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint,
127                                      std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity1,
128                                      std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity2);
129
130 static GCS::SET_pD scalarParameters(const ScalarWrapperPtr& theScalar);
131 static GCS::SET_pD pointParameters(const PointWrapperPtr& thePoint);
132 static GCS::SET_pD lineParameters(const EdgeWrapperPtr& theLine);
133 static GCS::SET_pD circleParameters(const EdgeWrapperPtr& theCircle);
134 static GCS::SET_pD arcParameters(const EdgeWrapperPtr& theArc);
135 static GCS::SET_pD ellipseParameters(const EdgeWrapperPtr& theEllipse);
136 static GCS::SET_pD ellipticArcParameters(const EdgeWrapperPtr& theEllipticArc);
137
138 static double distance(const GCS::Point& thePnt1, const GCS::Point& thePnt2);
139
140
141
142
143
144 SolverConstraintPtr PlaneGCSSolver_Tools::createConstraint(ConstraintPtr theConstraint)
145 {
146   if (theConstraint->getKind() == SketchPlugin_ConstraintCoincidence::ID() ||
147       theConstraint->getKind() == SketchPlugin_ConstraintCoincidenceInternal::ID()) {
148     return SolverConstraintPtr(new SketchSolver_ConstraintCoincidence(theConstraint));
149   } else if (theConstraint->getKind() == SketchPlugin_ConstraintCollinear::ID()) {
150     return SolverConstraintPtr(new SketchSolver_ConstraintCollinear(theConstraint));
151   } else if (theConstraint->getKind() == SketchPlugin_ConstraintDistance::ID() ||
152              theConstraint->getKind() == SketchPlugin_ConstraintDistanceHorizontal::ID() ||
153              theConstraint->getKind() == SketchPlugin_ConstraintDistanceVertical::ID()) {
154     return SolverConstraintPtr(new SketchSolver_ConstraintDistance(theConstraint));
155   } else if (theConstraint->getKind() == SketchPlugin_ConstraintEqual::ID()) {
156     return SolverConstraintPtr(new SketchSolver_ConstraintEqual(theConstraint));
157   } else if (theConstraint->getKind() == SketchPlugin_ConstraintLength::ID()) {
158     return SolverConstraintPtr(new SketchSolver_ConstraintLength(theConstraint));
159   } else if (theConstraint->getKind() == SketchPlugin_ConstraintMiddle::ID()) {
160     return SolverConstraintPtr(new SketchSolver_ConstraintMiddle(theConstraint));
161   } else if (theConstraint->getKind() == SketchPlugin_ConstraintMirror::ID()) {
162     return SolverConstraintPtr(new SketchSolver_ConstraintMirror(theConstraint));
163   } else if (theConstraint->getKind() == SketchPlugin_ConstraintTangent::ID()) {
164     return SolverConstraintPtr(new SketchSolver_ConstraintTangent(theConstraint));
165   } else if (theConstraint->getKind() == SketchPlugin_ConstraintRigid::ID()) {
166     return SolverConstraintPtr(new SketchSolver_ConstraintFixed(theConstraint));
167   } else if (theConstraint->getKind() == SketchPlugin_MultiTranslation::ID()) {
168     return SolverConstraintPtr(new SketchSolver_ConstraintMultiTranslation(theConstraint));
169   } else if (theConstraint->getKind() == SketchPlugin_MultiRotation::ID()) {
170     return SolverConstraintPtr(new SketchSolver_ConstraintMultiRotation(theConstraint));
171   } else if (theConstraint->getKind() == SketchPlugin_ConstraintAngle::ID()) {
172     return SolverConstraintPtr(new SketchSolver_ConstraintAngle(theConstraint));
173   } else if (theConstraint->getKind() == SketchPlugin_ConstraintPerpendicular::ID()) {
174     return SolverConstraintPtr(new SketchSolver_ConstraintPerpendicular(theConstraint));
175   }
176   // All other types of constraints
177   return SolverConstraintPtr(new SketchSolver_Constraint(theConstraint));
178 }
179
180 std::shared_ptr<SketchSolver_ConstraintMovement> PlaneGCSSolver_Tools::createMovementConstraint(
181     FeaturePtr theMovedFeature)
182 {
183   return std::shared_ptr<SketchSolver_ConstraintMovement>(
184       new SketchSolver_ConstraintMovement(theMovedFeature));
185 }
186
187 std::shared_ptr<SketchSolver_ConstraintMovement> PlaneGCSSolver_Tools::createMovementConstraint(
188     AttributePtr theMovedAttribute)
189 {
190   return std::shared_ptr<SketchSolver_ConstraintMovement>(
191       new SketchSolver_ConstraintMovement(theMovedAttribute));
192 }
193
194
195
196 ConstraintWrapperPtr PlaneGCSSolver_Tools::createConstraint(
197     ConstraintPtr theConstraint,
198     const SketchSolver_ConstraintType& theType,
199     const EntityWrapperPtr& theValue,
200     const EntityWrapperPtr& thePoint1,
201     const EntityWrapperPtr& thePoint2,
202     const EntityWrapperPtr& theEntity1,
203     const EntityWrapperPtr& theEntity2)
204 {
205   ConstraintWrapperPtr aResult;
206   ScalarWrapperPtr anIntermediate;
207
208   std::shared_ptr<PlaneGCSSolver_PointWrapper> aPoint1 = GCS_POINT_WRAPPER(thePoint1);
209   std::shared_ptr<PlaneGCSSolver_PointWrapper> aPoint2 = GCS_POINT_WRAPPER(thePoint2);
210   std::shared_ptr<PlaneGCSSolver_EdgeWrapper> anEntity1 = GCS_EDGE_WRAPPER(theEntity1);
211
212   switch (theType) {
213   case CONSTRAINT_PT_PT_COINCIDENT:
214     aResult = createConstraintCoincidence(aPoint1, aPoint2);
215     break;
216   case CONSTRAINT_PT_ON_CURVE:
217     aResult = anEntity1 ? createConstraintPointOnEntity(theType, aPoint1, anEntity1):
218               createConstraintPointsCollinear(aPoint1, aPoint2, GCS_POINT_WRAPPER(theEntity1));
219     break;
220   case CONSTRAINT_MIDDLE_POINT:
221     aResult = createConstraintMiddlePoint(aPoint1, GCS_EDGE_WRAPPER(theEntity1), aPoint2);
222     break;
223   case CONSTRAINT_PT_PT_DISTANCE:
224     aResult = createConstraintDistancePointPoint(GCS_SCALAR_WRAPPER(theValue), aPoint1, aPoint2);
225     break;
226   case CONSTRAINT_PT_LINE_DISTANCE:
227     aResult = createConstraintDistancePointLine(GCS_SCALAR_WRAPPER(theValue),
228                                                 aPoint1,
229                                                 anEntity1);
230     break;
231   case CONSTRAINT_HORIZONTAL_DISTANCE:
232   case CONSTRAINT_VERTICAL_DISTANCE:
233     aResult = createConstraintHVDistance(theType, GCS_SCALAR_WRAPPER(theValue), aPoint1, aPoint2);
234     break;
235   case CONSTRAINT_RADIUS:
236     aResult = createConstraintRadius(GCS_SCALAR_WRAPPER(theValue), anEntity1);
237     break;
238   case CONSTRAINT_ANGLE:
239     aResult = createConstraintAngle(theConstraint,
240                   GCS_SCALAR_WRAPPER(theValue),
241                   anEntity1, GCS_EDGE_WRAPPER(theEntity2));
242     break;
243   case CONSTRAINT_FIXED:
244     break;
245   case CONSTRAINT_HORIZONTAL:
246   case CONSTRAINT_VERTICAL:
247     aResult = createConstraintHorizVert(theType, anEntity1);
248     break;
249   case CONSTRAINT_PARALLEL:
250     aResult = createConstraintParallel(anEntity1, GCS_EDGE_WRAPPER(theEntity2));
251     break;
252   case CONSTRAINT_PERPENDICULAR:
253     aResult = createConstraintPerpendicular(anEntity1, GCS_EDGE_WRAPPER(theEntity2));
254     break;
255   case CONSTRAINT_PERPENDICULAR_CURVES:
256     aResult = createConstraintAngleBetweenCurves(GCS_SCALAR_WRAPPER(theValue),
257                   aPoint1, anEntity1, GCS_EDGE_WRAPPER(theEntity2));
258     break;
259   case CONSTRAINT_EQUAL_LINES:
260   case CONSTRAINT_EQUAL_ELLIPSES:
261     anIntermediate = GCS_SCALAR_WRAPPER(theValue); // parameter is used to store length of lines
262   case CONSTRAINT_EQUAL_LINE_ARC:
263   case CONSTRAINT_EQUAL_RADIUS:
264     aResult = createConstraintEqual(theType,
265                                     anEntity1,
266                                     GCS_EDGE_WRAPPER(theEntity2),
267                                     anIntermediate);
268     break;
269   default:
270     break;
271   }
272
273   return aResult;
274 }
275
276 std::shared_ptr<GeomAPI_Pnt2d> PlaneGCSSolver_Tools::point(EntityWrapperPtr theEntity)
277 {
278   if (theEntity->type() != ENTITY_POINT)
279     return std::shared_ptr<GeomAPI_Pnt2d>();
280
281   std::shared_ptr<PlaneGCSSolver_PointWrapper> aPointWrapper =
282       std::dynamic_pointer_cast<PlaneGCSSolver_PointWrapper>(theEntity);
283   const GCSPointPtr& aPoint = aPointWrapper->point();
284   return std::shared_ptr<GeomAPI_Pnt2d>(new GeomAPI_Pnt2d(*aPoint->x, *aPoint->y));
285 }
286
287 std::shared_ptr<GeomAPI_Lin2d> PlaneGCSSolver_Tools::line(EntityWrapperPtr theEntity)
288 {
289   if (theEntity->type() != ENTITY_LINE)
290     return std::shared_ptr<GeomAPI_Lin2d>();
291
292   std::shared_ptr<PlaneGCSSolver_EdgeWrapper> anEntity =
293       std::dynamic_pointer_cast<PlaneGCSSolver_EdgeWrapper>(theEntity);
294   std::shared_ptr<GCS::Line> aLine = std::dynamic_pointer_cast<GCS::Line>(anEntity->entity());
295   return std::shared_ptr<GeomAPI_Lin2d>(
296       new GeomAPI_Lin2d(*(aLine->p1.x), *(aLine->p1.y), *(aLine->p2.x), *(aLine->p2.y)));
297 }
298
299 std::shared_ptr<GeomAPI_Lin2d> PlaneGCSSolver_Tools::line(FeaturePtr theFeature)
300 {
301   if (theFeature->getKind() != SketchPlugin_Line::ID())
302     return std::shared_ptr<GeomAPI_Lin2d>();
303
304   AttributePoint2DPtr aStart = std::dynamic_pointer_cast<GeomDataAPI_Point2D>(
305       theFeature->attribute(SketchPlugin_Line::START_ID()));
306   AttributePoint2DPtr aEnd = std::dynamic_pointer_cast<GeomDataAPI_Point2D>(
307       theFeature->attribute(SketchPlugin_Line::END_ID()));
308
309   return std::shared_ptr<GeomAPI_Lin2d>(new GeomAPI_Lin2d(aStart->pnt(), aEnd->pnt()));
310 }
311
312 std::shared_ptr<GeomAPI_Circ2d> PlaneGCSSolver_Tools::circle(EntityWrapperPtr theEntity)
313 {
314   if (theEntity->type() != ENTITY_CIRCLE && theEntity->type() != ENTITY_ARC)
315     return std::shared_ptr<GeomAPI_Circ2d>();
316
317   std::shared_ptr<PlaneGCSSolver_EdgeWrapper> anEntity =
318     std::dynamic_pointer_cast<PlaneGCSSolver_EdgeWrapper>(theEntity);
319   std::shared_ptr<GCS::Circle> aCirc = std::dynamic_pointer_cast<GCS::Circle>(anEntity->entity());
320   return std::shared_ptr<GeomAPI_Circ2d>(
321     new GeomAPI_Circ2d(*(aCirc->center.x), *(aCirc->center.y), *(aCirc->rad)));
322 }
323
324 std::shared_ptr<GeomAPI_Ellipse2d> PlaneGCSSolver_Tools::ellipse(EntityWrapperPtr theEntity)
325 {
326   if (theEntity->type() != ENTITY_ELLIPSE && theEntity->type() != ENTITY_ELLIPTIC_ARC)
327     return std::shared_ptr<GeomAPI_Ellipse2d>();
328
329   std::shared_ptr<PlaneGCSSolver_EdgeWrapper> anEntity =
330     std::dynamic_pointer_cast<PlaneGCSSolver_EdgeWrapper>(theEntity);
331   std::shared_ptr<GCS::Ellipse> anEllipse =
332       std::dynamic_pointer_cast<GCS::Ellipse>(anEntity->entity());
333
334   std::shared_ptr<GeomAPI_Pnt2d> aCenter(
335       new GeomAPI_Pnt2d(*(anEllipse->center.x), *(anEllipse->center.y)));
336   std::shared_ptr<GeomAPI_Dir2d> anAxis(new GeomAPI_Dir2d(
337       *(anEllipse->focus1.x) - *(anEllipse->center.x),
338       *(anEllipse->focus1.y) - *(anEllipse->center.y)));
339
340   return std::shared_ptr<GeomAPI_Ellipse2d>(
341       new GeomAPI_Ellipse2d(aCenter, anAxis, anEllipse->getRadMaj(), *anEllipse->radmin));
342 }
343
344 void PlaneGCSSolver_Tools::recalculateArcParameters(EntityWrapperPtr theArc)
345 {
346   std::shared_ptr<PlaneGCSSolver_EdgeWrapper> anEdge =
347       std::dynamic_pointer_cast<PlaneGCSSolver_EdgeWrapper>(theArc);
348   if (!anEdge)
349     return;
350
351   if (anEdge->type() == ENTITY_ARC) {
352     std::shared_ptr<GCS::Arc> anArc = std::dynamic_pointer_cast<GCS::Arc>(anEdge->entity());
353
354     GCS::Point aCenter = anArc->center;
355     GCS::Point aStartPnt = anArc->start;
356     GCS::Point aEndPnt = anArc->end;
357
358     *anArc->rad = distance(aCenter, aStartPnt);
359
360     static GeomDir2dPtr OX(new GeomAPI_Dir2d(1.0, 0.0));
361
362     GeomDir2dPtr aDir(new GeomAPI_Dir2d(*aStartPnt.x - *aCenter.x, *aStartPnt.y - *aCenter.y));
363     *anArc->startAngle = OX->angle(aDir);
364
365     aDir.reset(new GeomAPI_Dir2d(*aEndPnt.x - *aCenter.x, *aEndPnt.y - *aCenter.y));
366     *anArc->endAngle = OX->angle(aDir);
367   }
368   else if (anEdge->type() == ENTITY_ELLIPTIC_ARC) {
369     std::shared_ptr<GCS::ArcOfEllipse> aEllArc =
370         std::dynamic_pointer_cast<GCS::ArcOfEllipse>(anEdge->entity());
371
372     GeomPnt2dPtr aCenter(new GeomAPI_Pnt2d(*aEllArc->center.x, *aEllArc->center.y));
373     GeomPnt2dPtr aStartPnt(new GeomAPI_Pnt2d(*aEllArc->start.x, *aEllArc->start.y));
374     GeomPnt2dPtr aEndPnt(new GeomAPI_Pnt2d(*aEllArc->end.x, *aEllArc->end.y));
375
376     GeomDir2dPtr anAxis(new GeomAPI_Dir2d(*aEllArc->focus1.x - aCenter->x(),
377                                           *aEllArc->focus1.y - aCenter->y()));
378     GeomAPI_Ellipse2d anEllipse(aCenter, anAxis, aEllArc->getRadMaj(), *aEllArc->radmin);
379     anEllipse.parameter(aStartPnt, 1.e-4, *aEllArc->startAngle);
380     anEllipse.parameter(aEndPnt, 1.e-4, *aEllArc->endAngle);
381   }
382 }
383
384
385
386 GCS::SET_pD PlaneGCSSolver_Tools::parameters(const EntityWrapperPtr& theEntity)
387 {
388   switch (theEntity->type()) {
389   case ENTITY_SCALAR:
390   case ENTITY_ANGLE:
391     return scalarParameters(GCS_SCALAR_WRAPPER(theEntity));
392   case ENTITY_POINT:
393     return pointParameters(GCS_POINT_WRAPPER(theEntity));
394   case ENTITY_LINE:
395     return lineParameters(GCS_EDGE_WRAPPER(theEntity));
396   case ENTITY_CIRCLE:
397     return circleParameters(GCS_EDGE_WRAPPER(theEntity));
398   case ENTITY_ARC:
399     return arcParameters(GCS_EDGE_WRAPPER(theEntity));
400   case ENTITY_ELLIPSE:
401     return ellipseParameters(GCS_EDGE_WRAPPER(theEntity));
402   case ENTITY_ELLIPTIC_ARC:
403     return ellipticArcParameters(GCS_EDGE_WRAPPER(theEntity));
404   default: break;
405   }
406   return GCS::SET_pD();
407 }
408
409
410
411
412
413
414 // ================   Auxiliary functions   ==========================
415 ConstraintWrapperPtr createConstraintCoincidence(
416     std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint1,
417     std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint2)
418 {
419   GCSPointPtr aPoint1 = thePoint1->point();
420   GCSPointPtr aPoint2 = thePoint2->point();
421
422   // Create equality constraint for corresponding attributes of the points
423   std::list<GCSConstraintPtr> aConstrList;
424   aConstrList.push_back(
425       GCSConstraintPtr(new GCS::ConstraintEqual(aPoint1->x, aPoint2->x)));
426   aConstrList.push_back(
427       GCSConstraintPtr(new GCS::ConstraintEqual(aPoint1->y, aPoint2->y)));
428
429   return ConstraintWrapperPtr(new PlaneGCSSolver_ConstraintWrapper(
430       aConstrList, CONSTRAINT_PT_PT_COINCIDENT));
431 }
432
433 ConstraintWrapperPtr createConstraintPointOnEntity(
434     const SketchSolver_ConstraintType& theType,
435     std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint,
436     std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity)
437 {
438   GCSConstraintPtr aNewConstr;
439
440   switch (theEntity->type()) {
441   case ENTITY_LINE: {
442     std::shared_ptr<GCS::Line> aLine = std::dynamic_pointer_cast<GCS::Line>(theEntity->entity());
443     aNewConstr = GCSConstraintPtr(new GCS::ConstraintPointOnLine(*(thePoint->point()), *aLine));
444     break;
445     }
446   case ENTITY_ARC:
447   case ENTITY_CIRCLE: {
448     std::shared_ptr<GCS::Circle> aCirc =
449       std::dynamic_pointer_cast<GCS::Circle>(theEntity->entity());
450     aNewConstr = GCSConstraintPtr(
451         new GCS::ConstraintP2PDistance(*(thePoint->point()), aCirc->center, aCirc->rad));
452     break;
453     }
454   case ENTITY_ELLIPSE:
455   case ENTITY_ELLIPTIC_ARC: {
456     std::shared_ptr<GCS::Ellipse> anEllipse =
457         std::dynamic_pointer_cast<GCS::Ellipse>(theEntity->entity());
458     aNewConstr = GCSConstraintPtr(
459         new GCS::ConstraintPointOnEllipse(*(thePoint->point()), *anEllipse));
460     break;
461     }
462   default:
463     return ConstraintWrapperPtr();
464   }
465
466   return ConstraintWrapperPtr(new PlaneGCSSolver_ConstraintWrapper(aNewConstr, theType));
467 }
468
469 ConstraintWrapperPtr createConstraintPointsCollinear(
470     std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint1,
471     std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint2,
472     std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint3)
473 {
474   GCSConstraintPtr aNewConstr(new GCS::ConstraintPointOnLine(
475       *(thePoint1->point()), *(thePoint2->point()), *(thePoint3->point())));
476   return ConstraintWrapperPtr(
477       new PlaneGCSSolver_ConstraintWrapper(aNewConstr, CONSTRAINT_PT_ON_CURVE));
478 }
479
480 template <typename ARCTYPE>
481 void createConstraintMiddlePointOnArc(ARCTYPE theArc,
482                                       GCSPointPtr thePoint,
483                                       std::shared_ptr<PlaneGCSSolver_PointWrapper> theAuxParameters,
484                                       std::list<GCSConstraintPtr>& theConstraints)
485 {
486   double* u = theAuxParameters->point()->x;
487   double* diff = theAuxParameters->point()->y;
488   *u = (*theArc->startAngle + *theArc->endAngle) * 0.5;
489   *diff = (*theArc->endAngle - *theArc->startAngle) * 0.5;
490
491   theConstraints.push_back(GCSConstraintPtr(
492       new GCS::ConstraintCurveValue(*thePoint, thePoint->x, *theArc, u)));
493   theConstraints.push_back(GCSConstraintPtr(
494       new GCS::ConstraintCurveValue(*thePoint, thePoint->y, *theArc, u)));
495   theConstraints.push_back(GCSConstraintPtr(
496       new GCS::ConstraintDifference(theArc->startAngle, u, diff)));
497   theConstraints.push_back(GCSConstraintPtr(
498       new GCS::ConstraintDifference(u, theArc->endAngle, diff)));
499 }
500
501 ConstraintWrapperPtr createConstraintMiddlePoint(
502     std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint,
503     std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity,
504     std::shared_ptr<PlaneGCSSolver_PointWrapper> theAuxParameters)
505 {
506   std::list<GCSConstraintPtr> aConstrList;
507
508   GCSPointPtr aPoint = thePoint->point();
509   std::shared_ptr<GCS::Line> aLine = std::dynamic_pointer_cast<GCS::Line>(theEntity->entity());
510   if (aLine) {
511     aConstrList.push_back(GCSConstraintPtr(new GCS::ConstraintPointOnLine(*aPoint, *aLine)));
512     aConstrList.push_back(
513         GCSConstraintPtr(new GCS::ConstraintPointOnPerpBisector(*aPoint, aLine->p1, aLine->p2)));
514   }
515   else {
516     std::shared_ptr<GCS::Arc> anArc = std::dynamic_pointer_cast<GCS::Arc>(theEntity->entity());
517     if (anArc)
518       createConstraintMiddlePointOnArc(anArc, aPoint, theAuxParameters, aConstrList);
519     else {
520       std::shared_ptr<GCS::ArcOfEllipse> aEllArc =
521           std::dynamic_pointer_cast<GCS::ArcOfEllipse>(theEntity->entity());
522       if (aEllArc)
523         createConstraintMiddlePointOnArc(aEllArc, aPoint, theAuxParameters, aConstrList);
524     }
525   }
526
527   return aConstrList.empty() ? ConstraintWrapperPtr() : ConstraintWrapperPtr(
528       new PlaneGCSSolver_ConstraintWrapper(aConstrList, CONSTRAINT_MIDDLE_POINT));
529 }
530
531
532 ConstraintWrapperPtr createConstraintDistancePointPoint(
533     std::shared_ptr<PlaneGCSSolver_ScalarWrapper> theValue,
534     std::shared_ptr<PlaneGCSSolver_PointWrapper>  thePoint1,
535     std::shared_ptr<PlaneGCSSolver_PointWrapper>  thePoint2)
536 {
537   GCSConstraintPtr aNewConstr(new GCS::ConstraintP2PDistance(
538       *(thePoint1->point()), *(thePoint2->point()), theValue->scalar()));
539   std::shared_ptr<PlaneGCSSolver_ConstraintWrapper> aResult(
540       new PlaneGCSSolver_ConstraintWrapper(aNewConstr, CONSTRAINT_PT_PT_DISTANCE));
541   aResult->setValueParameter(theValue);
542   return aResult;
543 }
544
545 ConstraintWrapperPtr createConstraintDistancePointLine(
546     std::shared_ptr<PlaneGCSSolver_ScalarWrapper> theValue,
547     std::shared_ptr<PlaneGCSSolver_PointWrapper>  thePoint,
548     std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity)
549 {
550   std::shared_ptr<GCS::Line> aLine = std::dynamic_pointer_cast<GCS::Line>(theEntity->entity());
551   GCSConstraintPtr aNewConstr(new GCS::ConstraintP2LDistance(
552       *(thePoint->point()), *(aLine), theValue->scalar()));
553   std::shared_ptr<PlaneGCSSolver_ConstraintWrapper> aResult(
554       new PlaneGCSSolver_ConstraintWrapper(aNewConstr, CONSTRAINT_PT_LINE_DISTANCE));
555   aResult->setValueParameter(theValue);
556   return aResult;
557 }
558
559 ConstraintWrapperPtr createConstraintHVDistance(
560     const SketchSolver_ConstraintType& theType,
561     std::shared_ptr<PlaneGCSSolver_ScalarWrapper> theValue,
562     std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint1,
563     std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint2)
564 {
565   GCSPointPtr aPoint1 = thePoint1->point();
566   GCSPointPtr aPoint2 = thePoint2->point();
567
568   double *aParam1, *aParam2;
569   if (theType == CONSTRAINT_HORIZONTAL_DISTANCE) {
570     aParam1 = aPoint1->x;
571     aParam2 = aPoint2->x;
572   } else if (theType == CONSTRAINT_VERTICAL_DISTANCE) {
573     aParam1 = aPoint1->y;
574     aParam2 = aPoint2->y;
575   }
576
577   GCSConstraintPtr aNewConstr(new GCS::ConstraintDifference(aParam1, aParam2, theValue->scalar()));
578
579   std::shared_ptr<PlaneGCSSolver_ConstraintWrapper> aResult(
580       new PlaneGCSSolver_ConstraintWrapper(aNewConstr, theType));
581   aResult->setValueParameter(theValue);
582   return aResult;
583 }
584
585 ConstraintWrapperPtr createConstraintRadius(
586     std::shared_ptr<PlaneGCSSolver_ScalarWrapper> theValue,
587     std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity)
588 {
589   std::shared_ptr<GCS::Circle> aCircle =
590     std::dynamic_pointer_cast<GCS::Circle>(theEntity->entity());
591   GCSConstraintPtr aNewConstr(new GCS::ConstraintEqual(aCircle->rad, theValue->scalar()));
592   std::shared_ptr<PlaneGCSSolver_ConstraintWrapper> aResult(
593       new PlaneGCSSolver_ConstraintWrapper(aNewConstr, CONSTRAINT_RADIUS));
594   aResult->setValueParameter(theValue);
595   return aResult;
596 }
597
598 ConstraintWrapperPtr createConstraintAngle(
599     ConstraintPtr theConstraint,
600     std::shared_ptr<PlaneGCSSolver_ScalarWrapper> theValue,
601     std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity1,
602     std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity2)
603 {
604   std::shared_ptr<GCS::Line> aLine1 = std::dynamic_pointer_cast<GCS::Line>(theEntity1->entity());
605   std::shared_ptr<GCS::Line> aLine2 = std::dynamic_pointer_cast<GCS::Line>(theEntity2->entity());
606
607   GCSConstraintPtr aNewConstr(new GCS::ConstraintL2LAngle(
608       aLine1->p1, aLine1->p2, aLine2->p1, aLine2->p2, theValue->scalar()));
609
610   std::shared_ptr<PlaneGCSSolver_ConstraintWrapper> aResult(
611       new PlaneGCSSolver_ConstraintWrapper(aNewConstr, CONSTRAINT_ANGLE));
612   aResult->setValueParameter(theValue);
613   return aResult;
614 }
615
616 ConstraintWrapperPtr createConstraintHorizVert(
617     const SketchSolver_ConstraintType& theType,
618     std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity)
619 {
620   std::shared_ptr<GCS::Line> aLine = std::dynamic_pointer_cast<GCS::Line>(theEntity->entity());
621   GCSConstraintPtr aNewConstr;
622   if (theType == CONSTRAINT_HORIZONTAL)
623     aNewConstr = GCSConstraintPtr(new GCS::ConstraintEqual(aLine->p1.y, aLine->p2.y));
624   else
625     aNewConstr = GCSConstraintPtr(new GCS::ConstraintEqual(aLine->p1.x, aLine->p2.x));
626
627   return ConstraintWrapperPtr(new PlaneGCSSolver_ConstraintWrapper(aNewConstr, theType));
628 }
629
630 ConstraintWrapperPtr createConstraintParallel(
631     std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity1,
632     std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity2)
633 {
634   std::shared_ptr<GCS::Line> aLine1 = std::dynamic_pointer_cast<GCS::Line>(theEntity1->entity());
635   std::shared_ptr<GCS::Line> aLine2 = std::dynamic_pointer_cast<GCS::Line>(theEntity2->entity());
636   GCSConstraintPtr aNewConstr(new GCS::ConstraintParallel(*(aLine1), *(aLine2)));
637
638   return ConstraintWrapperPtr(
639       new PlaneGCSSolver_ConstraintWrapper(aNewConstr, CONSTRAINT_PARALLEL));
640 }
641
642 ConstraintWrapperPtr createConstraintPerpendicular(
643     std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity1,
644     std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity2)
645 {
646   std::shared_ptr<GCS::Line> aLine1 = std::dynamic_pointer_cast<GCS::Line>(theEntity1->entity());
647   std::shared_ptr<GCS::Line> aLine2 = std::dynamic_pointer_cast<GCS::Line>(theEntity2->entity());
648
649   std::shared_ptr<GCS::Circle> aCirc1 =
650       std::dynamic_pointer_cast<GCS::Circle>(theEntity1->entity());
651   std::shared_ptr<GCS::Circle> aCirc2 =
652       std::dynamic_pointer_cast<GCS::Circle>(theEntity2->entity());
653
654   GCSConstraintPtr aNewConstr;
655   if (aLine1 && aLine2)
656     aNewConstr.reset(new GCS::ConstraintPerpendicular(*(aLine1), *(aLine2)));
657   else {
658     if (aLine1 && aCirc2)
659       aCirc1 = aCirc2;
660     else if (aLine2 && aCirc1)
661       aLine1 = aLine2;
662
663     aNewConstr.reset(new GCS::ConstraintPointOnLine(aCirc1->center, *aLine1));
664   }
665
666   return ConstraintWrapperPtr(
667       new PlaneGCSSolver_ConstraintWrapper(aNewConstr, CONSTRAINT_PERPENDICULAR));
668 }
669
670 ConstraintWrapperPtr createConstraintAngleBetweenCurves(
671     std::shared_ptr<PlaneGCSSolver_ScalarWrapper> theValue,
672     std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint,
673     std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity1,
674     std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity2)
675 {
676   GCSConstraintPtr aNewConstr(new GCS::ConstraintAngleViaPoint(
677       *theEntity1->entity(), *theEntity2->entity(), *thePoint->point(), theValue->scalar()));
678   return ConstraintWrapperPtr(
679       new PlaneGCSSolver_ConstraintWrapper(aNewConstr, CONSTRAINT_PERPENDICULAR_CURVES));
680 }
681
682 ConstraintWrapperPtr createConstraintEqual(
683     const SketchSolver_ConstraintType& theType,
684     std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity1,
685     std::shared_ptr<PlaneGCSSolver_EdgeWrapper> theEntity2,
686     std::shared_ptr<PlaneGCSSolver_ScalarWrapper> theIntermed)
687 {
688   if (theType == CONSTRAINT_EQUAL_LINE_ARC)
689     return ConstraintWrapperPtr(); // line-arc equivalence is not supported yet
690
691   std::list<GCSConstraintPtr> aConstrList;
692   if (theType == CONSTRAINT_EQUAL_LINES) {
693     std::shared_ptr<GCS::Line> aLine1 = std::dynamic_pointer_cast<GCS::Line>(theEntity1->entity());
694     std::shared_ptr<GCS::Line> aLine2 = std::dynamic_pointer_cast<GCS::Line>(theEntity2->entity());
695
696     aConstrList.push_back(GCSConstraintPtr(
697         new GCS::ConstraintP2PDistance(aLine1->p1, aLine1->p2, theIntermed->scalar())));
698     aConstrList.push_back(GCSConstraintPtr(
699         new GCS::ConstraintP2PDistance(aLine2->p1, aLine2->p2, theIntermed->scalar())));
700     // update value of intermediate parameter
701     theIntermed->setValue(distance(aLine1->p1, aLine1->p2));
702   }
703   else if (theType == CONSTRAINT_EQUAL_ELLIPSES) {
704     std::shared_ptr<GCS::Ellipse> anEllipse1 =
705         std::dynamic_pointer_cast<GCS::Ellipse>(theEntity1->entity());
706     std::shared_ptr<GCS::Ellipse> anEllipse2 =
707         std::dynamic_pointer_cast<GCS::Ellipse>(theEntity2->entity());
708
709     aConstrList.push_back(GCSConstraintPtr(
710         new GCS::ConstraintEqual(anEllipse1->radmin, anEllipse2->radmin)));
711     aConstrList.push_back(GCSConstraintPtr(new GCS::ConstraintP2PDistance(
712         anEllipse1->center, anEllipse1->focus1, theIntermed->scalar())));
713     aConstrList.push_back(GCSConstraintPtr(new GCS::ConstraintP2PDistance(
714         anEllipse2->center, anEllipse2->focus1, theIntermed->scalar())));
715     // update value of intermediate parameter
716     theIntermed->setValue(distance(anEllipse1->center, anEllipse1->focus1));
717   }
718   else {
719     std::shared_ptr<GCS::Circle> aCirc1 =
720         std::dynamic_pointer_cast<GCS::Circle>(theEntity1->entity());
721     std::shared_ptr<GCS::Circle> aCirc2 =
722         std::dynamic_pointer_cast<GCS::Circle>(theEntity2->entity());
723     aConstrList.push_back(GCSConstraintPtr(new GCS::ConstraintEqual(aCirc1->rad, aCirc2->rad)));
724   }
725
726   std::shared_ptr<PlaneGCSSolver_ConstraintWrapper> aResult(
727       new PlaneGCSSolver_ConstraintWrapper(aConstrList, theType));
728   if (theIntermed)
729     aResult->setValueParameter(theIntermed);
730   return aResult;
731 }
732
733 GCS::SET_pD scalarParameters(const ScalarWrapperPtr& theScalar)
734 {
735   GCS::SET_pD aParams;
736   aParams.insert(theScalar->scalar());
737   return aParams;
738 }
739
740 GCS::SET_pD pointParameters(const PointWrapperPtr& thePoint)
741 {
742   GCS::SET_pD aParams;
743   aParams.insert(thePoint->point()->x);
744   aParams.insert(thePoint->point()->y);
745   return aParams;
746 }
747
748 GCS::SET_pD lineParameters(const EdgeWrapperPtr& theLine)
749 {
750   GCS::SET_pD aParams;
751   std::shared_ptr<GCS::Line> aLine = std::dynamic_pointer_cast<GCS::Line>(theLine->entity());
752   aParams.insert(aLine->p1.x);
753   aParams.insert(aLine->p1.y);
754   aParams.insert(aLine->p2.x);
755   aParams.insert(aLine->p2.y);
756   return aParams;
757 }
758
759 GCS::SET_pD circleParameters(const EdgeWrapperPtr& theCircle)
760 {
761   GCS::SET_pD aParams;
762   std::shared_ptr<GCS::Circle> aCirc = std::dynamic_pointer_cast<GCS::Circle>(theCircle->entity());
763   aParams.insert(aCirc->center.x);
764   aParams.insert(aCirc->center.y);
765   aParams.insert(aCirc->rad);
766   return aParams;
767 }
768
769 GCS::SET_pD arcParameters(const EdgeWrapperPtr& theArc)
770 {
771   GCS::SET_pD aParams = circleParameters(theArc);
772   std::shared_ptr<GCS::Arc> anArc = std::dynamic_pointer_cast<GCS::Arc>(theArc->entity());
773   aParams.insert(anArc->start.x);
774   aParams.insert(anArc->start.y);
775   aParams.insert(anArc->end.x);
776   aParams.insert(anArc->end.y);
777   aParams.insert(anArc->startAngle);
778   aParams.insert(anArc->endAngle);
779   return aParams;
780 }
781
782 GCS::SET_pD ellipseParameters(const EdgeWrapperPtr& theEllipse)
783 {
784   GCS::SET_pD aParams;
785   std::shared_ptr<GCS::Ellipse> anEllipse =
786       std::dynamic_pointer_cast<GCS::Ellipse>(theEllipse->entity());
787   aParams.insert(anEllipse->center.x);
788   aParams.insert(anEllipse->center.y);
789   aParams.insert(anEllipse->focus1.x);
790   aParams.insert(anEllipse->focus1.y);
791   aParams.insert(anEllipse->radmin);
792   return aParams;
793 }
794
795 GCS::SET_pD ellipticArcParameters(const EdgeWrapperPtr& theEllipticArc)
796 {
797   GCS::SET_pD aParams = ellipseParameters(theEllipticArc);
798   std::shared_ptr<GCS::ArcOfEllipse> anArc =
799       std::dynamic_pointer_cast<GCS::ArcOfEllipse>(theEllipticArc->entity());
800   aParams.insert(anArc->start.x);
801   aParams.insert(anArc->start.y);
802   aParams.insert(anArc->end.x);
803   aParams.insert(anArc->end.y);
804   aParams.insert(anArc->startAngle);
805   aParams.insert(anArc->endAngle);
806   return aParams;
807 }
808
809 double distance(const GCS::Point& thePnt1, const GCS::Point& thePnt2)
810 {
811   double x = *thePnt1.x - *thePnt2.x;
812   double y = *thePnt1.y - *thePnt2.y;
813   return sqrt(x*x + y*y);
814 }