src/SketchSolver/PlaneGCSSolver/PlaneGCSSolver_Tools.cpp

   1 // Copyright (C) 2014-20xx CEA/DEN, EDF R&D
   2
   3 // File:    SketchSolver_Builder.cpp
   4 // Created: 25 Mar 2015
   5 // Author:  Artem ZHIDKOV
   6
   7 #include <PlaneGCSSolver_Tools.h>
   8 #include <PlaneGCSSolver_EntityWrapper.h>
   9 #include <PlaneGCSSolver_PointWrapper.h>
  10 #include <PlaneGCSSolver_ScalarWrapper.h>
  11 #include <PlaneGCSSolver_ConstraintWrapper.h>
  12
  13 #include <SketchSolver_Constraint.h>
  14 #include <SketchSolver_ConstraintAngle.h>
  15 #include <SketchSolver_ConstraintCoincidence.h>
  16 #include <SketchSolver_ConstraintCollinear.h>
  17 #include <SketchSolver_ConstraintDistance.h>
  18 #include <SketchSolver_ConstraintEqual.h>
  19 #include <SketchSolver_ConstraintFixed.h>
  20 #include <SketchSolver_ConstraintLength.h>
  21 #include <SketchSolver_ConstraintMiddle.h>
  22 #include <SketchSolver_ConstraintMirror.h>
  23 #include <SketchSolver_ConstraintTangent.h>
  24 #include <SketchSolver_ConstraintMultiRotation.h>
  25 #include <SketchSolver_ConstraintMultiTranslation.h>
  26
  27 #include <SketchPlugin_ConstraintAngle.h>
  28 #include <SketchPlugin_ConstraintCoincidence.h>
  29 #include <SketchPlugin_ConstraintCollinear.h>
  30 #include <SketchPlugin_ConstraintDistance.h>
  31 #include <SketchPlugin_ConstraintEqual.h>
  32 #include <SketchPlugin_ConstraintLength.h>
  33 #include <SketchPlugin_ConstraintMiddle.h>
  34 #include <SketchPlugin_ConstraintMirror.h>
  35 #include <SketchPlugin_ConstraintRigid.h>
  36 #include <SketchPlugin_ConstraintTangent.h>
  37 #include <SketchPlugin_Line.h>
  38 #include <SketchPlugin_MultiRotation.h>
  39 #include <SketchPlugin_MultiTranslation.h>
  40
  41 #include <cmath>
  42
  43
  44 #define GCS_ENTITY_WRAPPER(x) std::dynamic_pointer_cast<PlaneGCSSolver_EntityWrapper>(x)
  45 #define GCS_POINT_WRAPPER(x)  std::dynamic_pointer_cast<PlaneGCSSolver_PointWrapper>(x)
  46 #define GCS_SCALAR_WRAPPER(x) std::dynamic_pointer_cast<PlaneGCSSolver_ScalarWrapper>(x)
  47
  48
  49
  50 static ConstraintWrapperPtr
  51   createConstraintCoincidence(std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint1,
  52                               std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint2);
  53 static ConstraintWrapperPtr
  54   createConstraintPointOnEntity(const SketchSolver_ConstraintType& theType,
  55                                 std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint,
  56                                 std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity);
  57 static ConstraintWrapperPtr
  58   createConstraintDistancePointPoint(std::shared_ptr<PlaneGCSSolver_ScalarWrapper> theValue,
  59                                      std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint1,
  60                                      std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint2);
  61 static ConstraintWrapperPtr
  62   createConstraintDistancePointLine(std::shared_ptr<PlaneGCSSolver_ScalarWrapper> theValue,
  63                                     std::shared_ptr<PlaneGCSSolver_PointWrapper>  thePoint,
  64                                     std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity);
  65 static ConstraintWrapperPtr
  66   createConstraintRadius(std::shared_ptr<PlaneGCSSolver_ScalarWrapper> theValue,
  67                          std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity);
  68 static ConstraintWrapperPtr
  69   createConstraintAngle(ConstraintPtr theConstraint,
  70                         std::shared_ptr<PlaneGCSSolver_ScalarWrapper> theValue,
  71                         std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity1,
  72                         std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity2);
  73 static ConstraintWrapperPtr
  74   createConstraintHorizVert(const SketchSolver_ConstraintType& theType,
  75                             std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity);
  76 static ConstraintWrapperPtr
  77   createConstraintParallel(std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity1,
  78                            std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity2);
  79 static ConstraintWrapperPtr
  80   createConstraintPerpendicular(std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity1,
  81                                 std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity2);
  82 static ConstraintWrapperPtr
  83   createConstraintEqual(const SketchSolver_ConstraintType& theType,
  84                         std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity1,
  85                         std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity2,
  86                         std::shared_ptr<PlaneGCSSolver_ScalarWrapper> theIntermed);
  87 static ConstraintWrapperPtr
  88   createConstraintTangent(const SketchSolver_ConstraintType& theType,
  89                           std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity1,
  90                           std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity2);
  91 static ConstraintWrapperPtr
  92   createConstraintCollinear(ConstraintPtr theConstraint,
  93                            std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity1,
  94                            std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity2);
  95 static ConstraintWrapperPtr
  96   createConstraintMiddlePoint(std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint,
  97                               std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity);
  98
  99
 100
 101
 102
 103 SolverConstraintPtr PlaneGCSSolver_Tools::createConstraint(ConstraintPtr theConstraint)
 104 {
 105   if (theConstraint->getKind() == SketchPlugin_ConstraintCoincidence::ID()) {
 106     return SolverConstraintPtr(new SketchSolver_ConstraintCoincidence(theConstraint));
 107   } else if (theConstraint->getKind() == SketchPlugin_ConstraintCollinear::ID()) {
 108     return SolverConstraintPtr(new SketchSolver_ConstraintCollinear(theConstraint));
 109   } else if (theConstraint->getKind() == SketchPlugin_ConstraintDistance::ID()) {
 110     return SolverConstraintPtr(new SketchSolver_ConstraintDistance(theConstraint));
 111   } else if (theConstraint->getKind() == SketchPlugin_ConstraintEqual::ID()) {
 112     return SolverConstraintPtr(new SketchSolver_ConstraintEqual(theConstraint));
 113   } else if (theConstraint->getKind() == SketchPlugin_ConstraintLength::ID()) {
 114     return SolverConstraintPtr(new SketchSolver_ConstraintLength(theConstraint));
 115   } else if (theConstraint->getKind() == SketchPlugin_ConstraintMiddle::ID()) {
 116     return SolverConstraintPtr(new SketchSolver_ConstraintMiddle(theConstraint));
 117   } else if (theConstraint->getKind() == SketchPlugin_ConstraintMirror::ID()) {
 118     return SolverConstraintPtr(new SketchSolver_ConstraintMirror(theConstraint));
 119   } else if (theConstraint->getKind() == SketchPlugin_ConstraintTangent::ID()) {
 120     return SolverConstraintPtr(new SketchSolver_ConstraintTangent(theConstraint));
 121   } else if (theConstraint->getKind() == SketchPlugin_ConstraintRigid::ID()) {
 122     return SolverConstraintPtr(new SketchSolver_ConstraintFixed(theConstraint));
 123   } else if (theConstraint->getKind() == SketchPlugin_MultiTranslation::ID()) {
 124     return SolverConstraintPtr(new SketchSolver_ConstraintMultiTranslation(theConstraint));
 125   } else if (theConstraint->getKind() == SketchPlugin_MultiRotation::ID()) {
 126     return SolverConstraintPtr(new SketchSolver_ConstraintMultiRotation(theConstraint));
 127   } else if (theConstraint->getKind() == SketchPlugin_ConstraintAngle::ID()) {
 128     return SolverConstraintPtr(new SketchSolver_ConstraintAngle(theConstraint));
 129   }
 130   // All other types of constraints
 131   return SolverConstraintPtr(new SketchSolver_Constraint(theConstraint));
 132 }
 133
 134 SolverConstraintPtr PlaneGCSSolver_Tools::createMovementConstraint(FeaturePtr theMovedFeature)
 135 {
 136   return SolverConstraintPtr(new SketchSolver_ConstraintFixed(theMovedFeature));
 137 }
 138
 139
 140
 141 ConstraintWrapperPtr PlaneGCSSolver_Tools::createConstraint(
 142     ConstraintPtr theConstraint,
 143     const SketchSolver_ConstraintType& theType,
 144     const EntityWrapperPtr& theValue,
 145     const EntityWrapperPtr& thePoint1,
 146     const EntityWrapperPtr& thePoint2,
 147     const EntityWrapperPtr& theEntity1,
 148     const EntityWrapperPtr& theEntity2)
 149 {
 150   ConstraintWrapperPtr aResult;
 151   ScalarWrapperPtr anIntermediate;
 152
 153   std::shared_ptr<PlaneGCSSolver_PointWrapper> aPoint1 = GCS_POINT_WRAPPER(thePoint1);
 154   std::shared_ptr<PlaneGCSSolver_PointWrapper> aPoint2 = GCS_POINT_WRAPPER(thePoint2);
 155
 156   switch (theType) {
 157   case CONSTRAINT_PT_PT_COINCIDENT:
 158     aResult = createConstraintCoincidence(aPoint1, aPoint2);
 159     break;
 160   case CONSTRAINT_PT_ON_LINE:
 161   case CONSTRAINT_PT_ON_CIRCLE:
 162     aResult = createConstraintPointOnEntity(theType, aPoint1, GCS_ENTITY_WRAPPER(theEntity1));
 163     break;
 164   case CONSTRAINT_MIDDLE_POINT:
 165     aResult = createConstraintMiddlePoint(aPoint1, GCS_ENTITY_WRAPPER(theEntity1));
 166     break;
 167   case CONSTRAINT_PT_PT_DISTANCE:
 168     aResult = createConstraintDistancePointPoint(GCS_SCALAR_WRAPPER(theValue), aPoint1, aPoint2);
 169     break;
 170   case CONSTRAINT_PT_LINE_DISTANCE:
 171     aResult = createConstraintDistancePointLine(GCS_SCALAR_WRAPPER(theValue),
 172                                                 aPoint1,
 173                                                 GCS_ENTITY_WRAPPER(theEntity1));
 174     break;
 175   case CONSTRAINT_RADIUS:
 176     aResult = createConstraintRadius(GCS_SCALAR_WRAPPER(theValue),
 177                                      GCS_ENTITY_WRAPPER(theEntity1));
 178     break;
 179   case CONSTRAINT_ANGLE:
 180     aResult = createConstraintAngle(theConstraint,
 181                   GCS_SCALAR_WRAPPER(theValue),
 182                   GCS_ENTITY_WRAPPER(theEntity1), GCS_ENTITY_WRAPPER(theEntity2));
 183     break;
 184   case CONSTRAINT_FIXED:
 185     break;
 186   case CONSTRAINT_HORIZONTAL:
 187   case CONSTRAINT_VERTICAL:
 188     aResult = createConstraintHorizVert(theType, GCS_ENTITY_WRAPPER(theEntity1));
 189     break;
 190   case CONSTRAINT_PARALLEL:
 191     aResult = createConstraintParallel(GCS_ENTITY_WRAPPER(theEntity1),
 192                                        GCS_ENTITY_WRAPPER(theEntity2));
 193     break;
 194   case CONSTRAINT_PERPENDICULAR:
 195     aResult = createConstraintPerpendicular(GCS_ENTITY_WRAPPER(theEntity1),
 196                                             GCS_ENTITY_WRAPPER(theEntity2));
 197     break;
 198   case CONSTRAINT_EQUAL_LINES:
 199     anIntermediate = GCS_SCALAR_WRAPPER(theValue); // parameter is used to store length of lines
 200   case CONSTRAINT_EQUAL_LINE_ARC:
 201   case CONSTRAINT_EQUAL_RADIUS:
 202     aResult = createConstraintEqual(theType,
 203                                     GCS_ENTITY_WRAPPER(theEntity1),
 204                                     GCS_ENTITY_WRAPPER(theEntity2),
 205                                     anIntermediate);
 206     break;
 207   case CONSTRAINT_TANGENT_ARC_LINE:
 208   case CONSTRAINT_TANGENT_CIRCLE_LINE:
 209   case CONSTRAINT_TANGENT_ARC_ARC:
 210     aResult = createConstraintTangent(theType,
 211                                       GCS_ENTITY_WRAPPER(theEntity1),
 212                                       GCS_ENTITY_WRAPPER(theEntity2));
 213     break;
 214   case CONSTRAINT_COLLINEAR:
 215     aResult = createConstraintCollinear(theConstraint,
 216                   GCS_ENTITY_WRAPPER(theEntity1), GCS_ENTITY_WRAPPER(theEntity2));
 217     break;
 218   case CONSTRAINT_MULTI_TRANSLATION:
 219   case CONSTRAINT_MULTI_ROTATION:
 220   case CONSTRAINT_SYMMETRIC:
 221   default:
 222     break;
 223   }
 224
 225   return aResult;
 226 }
 227
 228 std::shared_ptr<GeomAPI_Pnt2d> PlaneGCSSolver_Tools::point(EntityWrapperPtr theEntity)
 229 {
 230   if (theEntity->type() != ENTITY_POINT)
 231     return std::shared_ptr<GeomAPI_Pnt2d>();
 232
 233   std::shared_ptr<PlaneGCSSolver_PointWrapper> aPointWrapper =
 234       std::dynamic_pointer_cast<PlaneGCSSolver_PointWrapper>(theEntity);
 235   const GCSPointPtr& aPoint = aPointWrapper->point();
 236   return std::shared_ptr<GeomAPI_Pnt2d>(new GeomAPI_Pnt2d(*aPoint->x, *aPoint->y));
 237 }
 238
 239 std::shared_ptr<GeomAPI_Lin2d> PlaneGCSSolver_Tools::line(EntityWrapperPtr theEntity)
 240 {
 241   if (theEntity->type() != ENTITY_LINE)
 242     return std::shared_ptr<GeomAPI_Lin2d>();
 243
 244   std::shared_ptr<PlaneGCSSolver_EntityWrapper> anEntity =
 245       std::dynamic_pointer_cast<PlaneGCSSolver_EntityWrapper>(theEntity);
 246   std::shared_ptr<GCS::Line> aLine = std::dynamic_pointer_cast<GCS::Line>(anEntity->entity());
 247   return std::shared_ptr<GeomAPI_Lin2d>(
 248       new GeomAPI_Lin2d(*(aLine->p1.x), *(aLine->p1.y), *(aLine->p2.x), *(aLine->p2.y)));
 249 }
 250
 251 std::shared_ptr<GeomAPI_Lin2d> PlaneGCSSolver_Tools::line(FeaturePtr theFeature)
 252 {
 253   if (theFeature->getKind() != SketchPlugin_Line::ID())
 254     return std::shared_ptr<GeomAPI_Lin2d>();
 255
 256   AttributePoint2DPtr aStart = std::dynamic_pointer_cast<GeomDataAPI_Point2D>(
 257       theFeature->attribute(SketchPlugin_Line::START_ID()));
 258   AttributePoint2DPtr aEnd = std::dynamic_pointer_cast<GeomDataAPI_Point2D>(
 259       theFeature->attribute(SketchPlugin_Line::END_ID()));
 260
 261   return std::shared_ptr<GeomAPI_Lin2d>(new GeomAPI_Lin2d(aStart->pnt(), aEnd->pnt()));
 262 }
 263
 264
 265
 266
 267
 268 // ================   Auxiliary functions   ==========================
 269 ConstraintWrapperPtr createConstraintCoincidence(
 270     std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint1,
 271     std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint2)
 272 {
 273   GCSPointPtr aPoint1 = thePoint1->point();
 274   GCSPointPtr aPoint2 = thePoint2->point();
 275
 276   // Create equality constraint for corresponding attributes of the points
 277   std::list<GCSConstraintPtr> aConstrList;
 278   aConstrList.push_back(
 279       GCSConstraintPtr(new GCS::ConstraintEqual(aPoint1->x, aPoint2->x)));
 280   aConstrList.push_back(
 281       GCSConstraintPtr(new GCS::ConstraintEqual(aPoint1->y, aPoint2->y)));
 282
 283   return ConstraintWrapperPtr(new PlaneGCSSolver_ConstraintWrapper(
 284       aConstrList, CONSTRAINT_PT_PT_COINCIDENT));
 285 }
 286
 287 ConstraintWrapperPtr createConstraintPointOnEntity(
 288     const SketchSolver_ConstraintType& theType,
 289     std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint,
 290     std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity)
 291 {
 292   GCSConstraintPtr aNewConstr;
 293
 294   switch (theEntity->type()) {
 295   case ENTITY_LINE: {
 296     std::shared_ptr<GCS::Line> aLine = std::dynamic_pointer_cast<GCS::Line>(theEntity->entity());
 297     aNewConstr = GCSConstraintPtr(new GCS::ConstraintPointOnLine(*(thePoint->point()), *aLine));
 298     break;
 299     }
 300   case ENTITY_ARC:
 301   case ENTITY_CIRCLE: {
 302     std::shared_ptr<GCS::Circle> aCirc =
 303       std::dynamic_pointer_cast<GCS::Circle>(theEntity->entity());
 304     aNewConstr = GCSConstraintPtr(
 305         new GCS::ConstraintP2PDistance(*(thePoint->point()), aCirc->center, aCirc->rad));
 306     break;
 307     }
 308   default:
 309     return ConstraintWrapperPtr();
 310   }
 311
 312   return ConstraintWrapperPtr(new PlaneGCSSolver_ConstraintWrapper(aNewConstr, theType));
 313 }
 314
 315 ConstraintWrapperPtr createConstraintMiddlePoint(
 316     std::shared_ptr<PlaneGCSSolver_PointWrapper> thePoint,
 317     std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity)
 318 {
 319   GCSPointPtr aPoint = thePoint->point();
 320   std::shared_ptr<GCS::Line> aLine = std::dynamic_pointer_cast<GCS::Line>(theEntity->entity());
 321   if (!aLine)
 322     return ConstraintWrapperPtr();
 323
 324   std::list<GCSConstraintPtr> aConstrList;
 325   aConstrList.push_back(
 326       GCSConstraintPtr(new GCS::ConstraintPointOnPerpBisector(*aPoint, aLine->p1, aLine->p2)));
 327   aConstrList.push_back(GCSConstraintPtr(new GCS::ConstraintPointOnLine(*aPoint, *aLine)));
 328
 329   return ConstraintWrapperPtr(
 330       new PlaneGCSSolver_ConstraintWrapper(aConstrList, CONSTRAINT_MIDDLE_POINT));
 331 }
 332
 333
 334 ConstraintWrapperPtr createConstraintDistancePointPoint(
 335     std::shared_ptr<PlaneGCSSolver_ScalarWrapper> theValue,
 336     std::shared_ptr<PlaneGCSSolver_PointWrapper>  thePoint1,
 337     std::shared_ptr<PlaneGCSSolver_PointWrapper>  thePoint2)
 338 {
 339   GCSConstraintPtr aNewConstr(new GCS::ConstraintP2PDistance(
 340       *(thePoint1->point()), *(thePoint2->point()), theValue->scalar()));
 341   std::shared_ptr<PlaneGCSSolver_ConstraintWrapper> aResult(
 342       new PlaneGCSSolver_ConstraintWrapper(aNewConstr, CONSTRAINT_PT_PT_DISTANCE));
 343   aResult->setValueParameter(theValue);
 344   return aResult;
 345 }
 346
 347 ConstraintWrapperPtr createConstraintDistancePointLine(
 348     std::shared_ptr<PlaneGCSSolver_ScalarWrapper> theValue,
 349     std::shared_ptr<PlaneGCSSolver_PointWrapper>  thePoint,
 350     std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity)
 351 {
 352   std::shared_ptr<GCS::Line> aLine = std::dynamic_pointer_cast<GCS::Line>(theEntity->entity());
 353   GCSConstraintPtr aNewConstr(new GCS::ConstraintP2LDistance(
 354       *(thePoint->point()), *(aLine), theValue->scalar()));
 355   std::shared_ptr<PlaneGCSSolver_ConstraintWrapper> aResult(
 356       new PlaneGCSSolver_ConstraintWrapper(aNewConstr, CONSTRAINT_PT_LINE_DISTANCE));
 357   aResult->setValueParameter(theValue);
 358   return aResult;
 359 }
 360
 361 ConstraintWrapperPtr createConstraintRadius(
 362     std::shared_ptr<PlaneGCSSolver_ScalarWrapper> theValue,
 363     std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity)
 364 {
 365   std::shared_ptr<GCS::Circle> aCircle =
 366     std::dynamic_pointer_cast<GCS::Circle>(theEntity->entity());
 367   GCSConstraintPtr aNewConstr(new GCS::ConstraintEqual(aCircle->rad, theValue->scalar()));
 368   std::shared_ptr<PlaneGCSSolver_ConstraintWrapper> aResult(
 369       new PlaneGCSSolver_ConstraintWrapper(aNewConstr, CONSTRAINT_RADIUS));
 370   aResult->setValueParameter(theValue);
 371   return aResult;
 372 }
 373
 374 ConstraintWrapperPtr createConstraintAngle(
 375     ConstraintPtr theConstraint,
 376     std::shared_ptr<PlaneGCSSolver_ScalarWrapper> theValue,
 377     std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity1,
 378     std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity2)
 379 {
 380   std::shared_ptr<GCS::Line> aLine1 = std::dynamic_pointer_cast<GCS::Line>(theEntity1->entity());
 381   bool isLine1Rev = theConstraint->boolean(
 382       SketchPlugin_ConstraintAngle::ANGLE_REVERSED_FIRST_LINE_ID())->value();
 383   GCS::Point aLine1Pt1 = isLine1Rev ? aLine1->p2 : aLine1->p1;
 384   GCS::Point aLine1Pt2 = isLine1Rev ? aLine1->p1 : aLine1->p2;
 385
 386   std::shared_ptr<GCS::Line> aLine2 = std::dynamic_pointer_cast<GCS::Line>(theEntity2->entity());
 387   bool isLine2Rev = theConstraint->boolean(
 388       SketchPlugin_ConstraintAngle::ANGLE_REVERSED_SECOND_LINE_ID())->value();
 389   GCS::Point aLine2Pt1 = isLine2Rev ? aLine2->p2 : aLine2->p1;
 390   GCS::Point aLine2Pt2 = isLine2Rev ? aLine2->p1 : aLine2->p2;
 391
 392   GCSConstraintPtr aNewConstr(new GCS::ConstraintL2LAngle(
 393       aLine1Pt1, aLine1Pt2, aLine2Pt1, aLine2Pt2, theValue->scalar()));
 394
 395   std::shared_ptr<PlaneGCSSolver_ConstraintWrapper> aResult(
 396       new PlaneGCSSolver_ConstraintWrapper(aNewConstr, CONSTRAINT_ANGLE));
 397   aResult->setValueParameter(theValue);
 398   return aResult;
 399 }
 400
 401 ConstraintWrapperPtr createConstraintHorizVert(
 402     const SketchSolver_ConstraintType& theType,
 403     std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity)
 404 {
 405   std::shared_ptr<GCS::Line> aLine = std::dynamic_pointer_cast<GCS::Line>(theEntity->entity());
 406   GCSConstraintPtr aNewConstr;
 407   if (theType == CONSTRAINT_HORIZONTAL)
 408     aNewConstr = GCSConstraintPtr(new GCS::ConstraintEqual(aLine->p1.y, aLine->p2.y));
 409   else
 410     aNewConstr = GCSConstraintPtr(new GCS::ConstraintEqual(aLine->p1.x, aLine->p2.x));
 411
 412   return ConstraintWrapperPtr(new PlaneGCSSolver_ConstraintWrapper(aNewConstr, theType));
 413 }
 414
 415 ConstraintWrapperPtr createConstraintCollinear(
 416     ConstraintPtr theConstraint,
 417     std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity1,
 418     std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity2)
 419 {
 420   std::shared_ptr<GCS::Line> aLine1 = std::dynamic_pointer_cast<GCS::Line>(theEntity1->entity());
 421   std::shared_ptr<GCS::Line> aLine2 = std::dynamic_pointer_cast<GCS::Line>(theEntity2->entity());
 422
 423   // create two point-on-line constraints
 424   std::list<GCSConstraintPtr> aConstrList;
 425   aConstrList.push_back( GCSConstraintPtr(new GCS::ConstraintPointOnLine(aLine2->p1, *aLine1)) );
 426   aConstrList.push_back( GCSConstraintPtr(new GCS::ConstraintPointOnLine(aLine2->p2, *aLine1)) );
 427
 428   return ConstraintWrapperPtr(
 429       new PlaneGCSSolver_ConstraintWrapper(aConstrList, CONSTRAINT_COLLINEAR));
 430 }
 431
 432 ConstraintWrapperPtr createConstraintParallel(
 433     std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity1,
 434     std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity2)
 435 {
 436   std::shared_ptr<GCS::Line> aLine1 = std::dynamic_pointer_cast<GCS::Line>(theEntity1->entity());
 437   std::shared_ptr<GCS::Line> aLine2 = std::dynamic_pointer_cast<GCS::Line>(theEntity2->entity());
 438   GCSConstraintPtr aNewConstr(new GCS::ConstraintParallel(*(aLine1), *(aLine2)));
 439
 440   return ConstraintWrapperPtr(
 441       new PlaneGCSSolver_ConstraintWrapper(aNewConstr, CONSTRAINT_PARALLEL));
 442 }
 443
 444 ConstraintWrapperPtr createConstraintPerpendicular(
 445     std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity1,
 446     std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity2)
 447 {
 448   std::shared_ptr<GCS::Line> aLine1 = std::dynamic_pointer_cast<GCS::Line>(theEntity1->entity());
 449   std::shared_ptr<GCS::Line> aLine2 = std::dynamic_pointer_cast<GCS::Line>(theEntity2->entity());
 450   GCSConstraintPtr aNewConstr(new GCS::ConstraintPerpendicular(*(aLine1), *(aLine2)));
 451
 452   return ConstraintWrapperPtr(
 453       new PlaneGCSSolver_ConstraintWrapper(aNewConstr, CONSTRAINT_PERPENDICULAR));
 454 }
 455
 456 ConstraintWrapperPtr createConstraintEqual(
 457     const SketchSolver_ConstraintType& theType,
 458     std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity1,
 459     std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity2,
 460     std::shared_ptr<PlaneGCSSolver_ScalarWrapper> theIntermed)
 461 {
 462   if (theType == CONSTRAINT_EQUAL_LINE_ARC)
 463     return ConstraintWrapperPtr(); // line-arc equivalence is not supported yet
 464
 465   std::list<GCSConstraintPtr> aConstrList;
 466   if (theType == CONSTRAINT_EQUAL_LINES) {
 467     std::shared_ptr<GCS::Line> aLine1 = std::dynamic_pointer_cast<GCS::Line>(theEntity1->entity());
 468     std::shared_ptr<GCS::Line> aLine2 = std::dynamic_pointer_cast<GCS::Line>(theEntity2->entity());
 469
 470     aConstrList.push_back(GCSConstraintPtr(
 471         new GCS::ConstraintP2PDistance(aLine1->p1, aLine1->p2, theIntermed->scalar())));
 472     aConstrList.push_back(GCSConstraintPtr(
 473         new GCS::ConstraintP2PDistance(aLine2->p1, aLine2->p2, theIntermed->scalar())));
 474     // update value of intermediate parameter
 475     double x = *aLine1->p1.x - *aLine1->p2.x;
 476     double y = *aLine1->p1.y - *aLine1->p2.y;
 477     double aLen = sqrt(x*x + y*y);
 478     theIntermed->setValue(aLen);
 479   } else {
 480     std::shared_ptr<GCS::Circle> aCirc1 =
 481         std::dynamic_pointer_cast<GCS::Circle>(theEntity1->entity());
 482     std::shared_ptr<GCS::Circle> aCirc2 =
 483         std::dynamic_pointer_cast<GCS::Circle>(theEntity2->entity());
 484
 485     aConstrList.push_back(GCSConstraintPtr(new GCS::ConstraintEqual(aCirc1->rad, aCirc2->rad)));
 486   }
 487
 488   std::shared_ptr<PlaneGCSSolver_ConstraintWrapper> aResult(
 489       new PlaneGCSSolver_ConstraintWrapper(aConstrList, theType));
 490   if (theIntermed)
 491     aResult->setValueParameter(theIntermed);
 492   return aResult;
 493 }
 494
 495 ConstraintWrapperPtr createConstraintTangent(
 496     const SketchSolver_ConstraintType& theType,
 497     std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity1,
 498     std::shared_ptr<PlaneGCSSolver_EntityWrapper> theEntity2)
 499 {
 500   GCSConstraintPtr aNewConstr;
 501   if (theType == CONSTRAINT_TANGENT_ARC_LINE || theType == CONSTRAINT_TANGENT_CIRCLE_LINE) {
 502     std::shared_ptr<GCS::Circle> aCirc =
 503       std::dynamic_pointer_cast<GCS::Circle>(theEntity1->entity());
 504     std::shared_ptr<GCS::Line> aLine =
 505       std::dynamic_pointer_cast<GCS::Line>(theEntity2->entity());
 506
 507     aNewConstr =
 508       GCSConstraintPtr(new GCS::ConstraintP2LDistance(aCirc->center, *aLine, aCirc->rad));
 509   } else {
 510     std::shared_ptr<GCS::Circle> aCirc1 =
 511       std::dynamic_pointer_cast<GCS::Circle>(theEntity1->entity());
 512     std::shared_ptr<GCS::Circle> aCirc2 =
 513       std::dynamic_pointer_cast<GCS::Circle>(theEntity2->entity());
 514
 515     double aDX = *(aCirc1->center.x) - *(aCirc2->center.x);
 516     double aDY = *(aCirc1->center.y) - *(aCirc2->center.y);
 517     double aDist = sqrt(aDX * aDX + aDY * aDY);
 518     aNewConstr = GCSConstraintPtr(new GCS::ConstraintTangentCircumf(aCirc1->center, aCirc2->center,
 519         aCirc1->rad, aCirc2->rad, (aDist < *(aCirc1->rad) || aDist < *(aCirc2->rad))));
 520   }
 521
 522   return ConstraintWrapperPtr(new PlaneGCSSolver_ConstraintWrapper(aNewConstr, theType));
 523 }
 524
 525 bool PlaneGCSSolver_Tools::isArcArcTangencyInternal(
 526     EntityWrapperPtr theArc1, EntityWrapperPtr theArc2)
 527 {
 528   std::shared_ptr<GCS::Circle> aCirc1 = std::dynamic_pointer_cast<GCS::Circle>(
 529       GCS_ENTITY_WRAPPER(theArc1)->entity());
 530   std::shared_ptr<GCS::Circle> aCirc2 = std::dynamic_pointer_cast<GCS::Circle>(
 531       GCS_ENTITY_WRAPPER(theArc2)->entity());
 532
 533   if (!aCirc1 || !aCirc2)
 534     return false;
 535
 536   double aDX = *(aCirc1->center.x) - *(aCirc2->center.x);
 537   double aDY = *(aCirc1->center.y) - *(aCirc2->center.y);
 538   double aDist = sqrt(aDX * aDX + aDY * aDY);
 539
 540   return (aDist < *(aCirc1->rad) || aDist < *(aCirc2->rad));
 541 }