1 // Created on: 1992-01-02
2 // Created by: Remi GILET
3 // Copyright (c) 1992-1999 Matra Datavision
4 // Copyright (c) 1999-2014 OPEN CASCADE SAS
6 // This file is part of Open CASCADE Technology software library.
8 // This library is free software; you can redistribute it and / or modify it
9 // under the terms of the GNU Lesser General Public version 2.1 as published
10 // by the Free Software Foundation, with special exception defined in the file
11 // OCCT_LGPL_EXCEPTION.txt. Consult the file LICENSE_LGPL_21.txt included in OCCT
12 // distribution for complete text of the license and disclaimer of any warranty.
14 // Alternatively, this file may be used under the terms of Open CASCADE
15 // commercial license or contractual agreement.
17 #include <GccAna_Circ2d2TanOn.jxx>
20 #include <gp_Dir2d.hxx>
21 #include <gp_Ax2d.hxx>
22 #include <IntAna2d_AnaIntersection.hxx>
23 #include <IntAna2d_IntPoint.hxx>
24 #include <GccAna_Circ2dBisec.hxx>
25 #include <GccInt_IType.hxx>
26 #include <GccInt_BCirc.hxx>
27 #include <GccInt_BLine.hxx>
28 #include <IntAna2d_Conic.hxx>
29 #include <TColStd_Array1OfReal.hxx>
30 #include <GccEnt_BadQualifier.hxx>
32 //=========================================================================
33 // Creation of a circle tangent to two circles C1 and C2. +
34 // centered on a circle. +
35 // We start with distinguishing various boundary cases that will be +
36 // processed separately. +
37 // In the general case: +
38 // ==================== +
39 // We calculate bissectrices to C1 and C2 that give us all +
40 // possible locations of centers of all circles tangent to C1 and C2. +
41 // We intersect these bissectrices with circle OnCirc which gives us +
42 // points among which we choose the solutions. +
43 // The choice is made basing in Qualifiers of C1 and C2. +
44 //=========================================================================
47 GccAna_Circ2d2TanOn (const GccEnt_QualifiedCirc& Qualified1 ,
48 const GccEnt_QualifiedCirc& Qualified2 ,
49 const gp_Circ2d& OnCirc ,
50 const Standard_Real Tolerance ):
67 WellDone = Standard_False;
69 if (!(Qualified1.IsEnclosed() || Qualified1.IsEnclosing() ||
70 Qualified1.IsOutside() || Qualified1.IsUnqualified()) ||
71 !(Qualified2.IsEnclosed() || Qualified2.IsEnclosing() ||
72 Qualified2.IsOutside() || Qualified2.IsUnqualified())) {
73 GccEnt_BadQualifier::Raise();
76 Standard_Real Tol= Abs(Tolerance);
77 gp_Circ2d C1 = Qualified1.Qualified();
78 gp_Circ2d C2 = Qualified2.Qualified();
80 TColStd_Array1OfReal Radius(1,2);
81 TColStd_Array1OfReal Rradius(1,2);
82 gp_Pnt2d center1(C1.Location());
83 gp_Pnt2d center2(C2.Location());
85 Standard_Real R1 = C1.Radius();
86 Standard_Real R2 = C2.Radius();
88 //=========================================================================
89 // Processing of boundary cases. +
90 //=========================================================================
92 Standard_Integer nbsol1 = 1;
93 Standard_Integer nbsol2 = 0;
94 Standard_Real Ron = OnCirc.Radius();
95 Standard_Real distcco = OnCirc.Location().Distance(center1);
96 gp_Dir2d dircc(OnCirc.Location().XY()-center1.XY());
97 gp_Pnt2d pinterm(center1.XY()+(distcco-Ron)*dircc.XY());
98 Standard_Real distcc2 =pinterm.Distance(center2);
99 Standard_Real distcc1 =pinterm.Distance(center1);
100 Standard_Real d1 = Abs(distcc2-R2-Abs(distcc1-R1));
101 Standard_Real d2 = Abs(distcc2+R2-Abs(distcc1-R1));
102 Standard_Real d3 = Abs(distcc2-R2-(distcc1+R1));
103 Standard_Real d4 = Abs(distcc2+R2-(distcc1+R1));
104 if ( d1 > Tol || d2 > Tol || d3 > Tol || d4 > Tol) {
105 pinterm = gp_Pnt2d(center1.XY()+(distcco+Ron)*dircc.XY());
106 distcc2 =pinterm.Distance(center2);
107 distcc1 =pinterm.Distance(center1);
108 d1 = Abs(distcc2-R2-Abs(distcc1-R1));
109 d2 = Abs(distcc2+R2-Abs(distcc1-R1));
110 d3 = Abs(distcc2-R2-(distcc1+R1));
111 d4 = Abs(distcc2+R2-(distcc1+R1));
112 if ( d1 > Tol || d2 > Tol || d3 > Tol || d4 > Tol) { nbsol1 = 0; }
115 if (Qualified1.IsEnclosed() || Qualified1.IsOutside()) {
117 Radius(1) = Abs(distcc1-R1);
119 else if (Qualified1.IsEnclosing()) {
121 Radius(1) = R1+distcc1;
123 else if (Qualified1.IsUnqualified()) {
125 Radius(1) = Abs(distcc1-R1);
126 Radius(2) = R1+distcc1;
128 if (Qualified2.IsEnclosed() || Qualified2.IsOutside()) {
130 Rradius(1) = Abs(distcc2-R2);
132 else if (Qualified2.IsEnclosing()) {
134 Rradius(1) = R2+distcc2;
136 else if (Qualified2.IsUnqualified()) {
138 Rradius(1) = Abs(distcc2-R2);
139 Rradius(2) = R2+distcc2;
141 for (Standard_Integer i = 1 ; i <= nbsol1 ; i++) {
142 for (Standard_Integer j = 1 ; j <= nbsol2 ; j++) {
143 if (Abs(Radius(i)-Rradius(j)) <= Tol) {
144 WellDone = Standard_True;
146 cirsol(NbrSol) = gp_Circ2d(gp_Ax2d(pinterm,dirx),Radius(i));
147 // ===========================================================
148 gp_Dir2d dc1(center1.XY()-pinterm.XY());
149 gp_Dir2d dc2(center2.XY()-pinterm.XY());
150 distcc1 = pinterm.Distance(center1);
151 distcc2 = pinterm.Distance(center2);
152 if (!Qualified1.IsUnqualified()) {
153 qualifier1(NbrSol) = Qualified1.Qualifier();
155 else if (Abs(distcc1+Radius(i)-R1) < Tol) {
156 qualifier1(NbrSol) = GccEnt_enclosed;
158 else if (Abs(distcc1-R1-Radius(i)) < Tol) {
159 qualifier1(NbrSol) = GccEnt_outside;
161 else { qualifier1(NbrSol) = GccEnt_enclosing; }
162 if (!Qualified2.IsUnqualified()) {
163 qualifier2(NbrSol) = Qualified2.Qualifier();
165 else if (Abs(distcc2+Radius(i)-R2) < Tol) {
166 qualifier2(NbrSol) = GccEnt_enclosed;
168 else if (Abs(distcc2-R2-Radius(i)) < Tol) {
169 qualifier2(NbrSol) = GccEnt_outside;
171 else { qualifier2(NbrSol) = GccEnt_enclosing; }
172 pnttg1sol(NbrSol) = gp_Pnt2d(pinterm.XY()+Radius(i)*dc1.XY());
173 pnttg2sol(NbrSol) = gp_Pnt2d(pinterm.XY()+Radius(i)*dc2.XY());
174 pntcen(NbrSol) = cirsol(NbrSol).Location();
175 par1sol(NbrSol)=ElCLib::Parameter(cirsol(NbrSol),pnttg1sol(NbrSol));
176 pararg1(NbrSol)=ElCLib::Parameter(C1,pnttg1sol(NbrSol));
177 par2sol(NbrSol)=ElCLib::Parameter(cirsol(NbrSol),pnttg2sol(NbrSol));
178 pararg2(NbrSol)=ElCLib::Parameter(C2,pnttg2sol(NbrSol));
179 parcen3(NbrSol)=ElCLib::Parameter(OnCirc,pntcen(NbrSol));
183 if (WellDone) { return; }
186 //=========================================================================
188 //=========================================================================
190 GccAna_Circ2dBisec Bis(C1,C2);
192 TColStd_Array1OfReal Rbid(1,2);
193 TColStd_Array1OfReal RBid(1,2);
194 Standard_Integer nbsolution = Bis.NbSolutions();
195 for (Standard_Integer i = 1 ; i <= nbsolution ; i++) {
196 Handle(GccInt_Bisec) Sol = Bis.ThisSolution(i);
197 GccInt_IType typ = Sol->ArcType();
198 IntAna2d_AnaIntersection Intp;
199 if (typ == GccInt_Cir) {
200 Intp.Perform(OnCirc,Sol->Circle());
202 else if (typ == GccInt_Lin) {
203 Intp.Perform(Sol->Line(),OnCirc);
205 else if (typ == GccInt_Hpr) {
206 Intp.Perform(OnCirc,IntAna2d_Conic(Sol->Hyperbola()));
208 else if (typ == GccInt_Ell) {
209 Intp.Perform(OnCirc,IntAna2d_Conic(Sol->Ellipse()));
212 if ((!Intp.IsEmpty())&&(!Intp.ParallelElements())&&
213 (!Intp.IdenticalElements())) {
214 for (Standard_Integer j = 1 ; j <= Intp.NbPoints() ; j++) {
215 gp_Pnt2d Center(Intp.Point(j).Value());
216 Standard_Real dist1 = Center.Distance(center1);
217 Standard_Real dist2 = Center.Distance(center2);
218 Standard_Integer nbsol = 0;
219 Standard_Integer nsol = 0;
220 Standard_Integer nnsol = 0;
223 if (Qualified1.IsEnclosed()) {
224 if (dist1-R1 < Tol) {
226 Rbid(1) = Abs(R1-dist1);
229 else if (Qualified1.IsOutside()) {
230 if (R1-dist1 < Tol) {
232 Rbid(1) = Abs(dist1-R1);
235 else if (Qualified1.IsEnclosing()) {
239 else if (Qualified1.IsUnqualified()) {
242 Rbid(1) = Abs(dist1-R1);
244 if (Qualified2.IsEnclosed() && nbsol != 0) {
245 if (dist2-R2 < Tol) {
247 RBid(1) = Abs(R2-dist2);
250 else if (Qualified2.IsOutside() && nbsol != 0) {
251 if (R2-dist2 < Tol) {
253 RBid(1) = Abs(R2-dist2);
256 else if (Qualified2.IsEnclosing() && nbsol != 0) {
260 else if (Qualified2.IsUnqualified() && nbsol != 0) {
263 RBid(2) = Abs(R2-dist2);
265 for (Standard_Integer isol = 1; isol <= nbsol ; isol++) {
266 for (Standard_Integer jsol = 1; jsol <= nsol ; jsol++) {
267 if (Abs(Rbid(isol)-RBid(jsol)) <= Tol) {
269 Radius(nnsol) = (RBid(jsol)+Rbid(isol))/2.;
274 for (Standard_Integer k = 1 ; k <= nnsol ; k++) {
276 cirsol(NbrSol) = gp_Circ2d(gp_Ax2d(Center,dirx),Radius(k));
277 // ==========================================================
278 distcc1 = Center.Distance(center1);
279 distcc2 = Center.Distance(center2);
280 if (!Qualified1.IsUnqualified()) {
281 qualifier1(NbrSol) = Qualified1.Qualifier();
283 else if (Abs(distcc1+Radius(k)-R1) < Tol) {
284 qualifier1(NbrSol) = GccEnt_enclosed;
286 else if (Abs(distcc1-R1-Radius(k)) < Tol) {
287 qualifier1(NbrSol) = GccEnt_outside;
289 else { qualifier1(NbrSol) = GccEnt_enclosing; }
290 if (!Qualified2.IsUnqualified()) {
291 qualifier2(NbrSol) = Qualified2.Qualifier();
293 else if (Abs(distcc2+Radius(k)-R2) < Tol) {
294 qualifier2(NbrSol) = GccEnt_enclosed;
296 else if (Abs(distcc2-R2-Radius(k)) < Tol) {
297 qualifier2(NbrSol) = GccEnt_outside;
299 else { qualifier2(NbrSol) = GccEnt_enclosing; }
300 if (Center.Distance(center1) <= Tolerance &&
301 Abs(Radius(k)-C1.Radius()) <= Tolerance) {
302 TheSame1(NbrSol) = 1;
305 TheSame1(NbrSol) = 0;
306 gp_Dir2d dc1(center1.XY()-Center.XY());
307 pnttg1sol(NbrSol)=gp_Pnt2d(Center.XY()+Radius(k)*dc1.XY());
308 par1sol(NbrSol)=ElCLib::Parameter(cirsol(NbrSol),
310 pararg1(NbrSol)=ElCLib::Parameter(C1,pnttg1sol(NbrSol));
312 if (Center.Distance(center2) <= Tolerance &&
313 Abs(Radius(k)-C2.Radius()) <= Tolerance) {
314 TheSame2(NbrSol) = 1;
317 TheSame2(NbrSol) = 0;
318 gp_Dir2d dc2(center2.XY()-Center.XY());
319 pnttg2sol(NbrSol)=gp_Pnt2d(Center.XY()+Radius(k)*dc2.XY());
320 par2sol(NbrSol)=ElCLib::Parameter(cirsol(NbrSol),
322 pararg2(NbrSol)=ElCLib::Parameter(C2,pnttg2sol(NbrSol));
324 pntcen(NbrSol) = Center;
325 parcen3(NbrSol)=ElCLib::Parameter(OnCirc,pntcen(NbrSol));
330 WellDone = Standard_True;