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