| [1963] | 1 | |
|---|
| 2 | /* |
|---|
| 3 | * Box-Box collision detection re-distributed under the ZLib license with permission from Russell L. Smith |
|---|
| 4 | * Original version is from Open Dynamics Engine, Copyright (C) 2001,2002 Russell L. Smith. |
|---|
| 5 | * All rights reserved. Email: russ@q12.org Web: www.q12.org |
|---|
| 6 | Bullet Continuous Collision Detection and Physics Library |
|---|
| 7 | Bullet is Copyright (c) 2003-2006 Erwin Coumans http://continuousphysics.com/Bullet/ |
|---|
| 8 | |
|---|
| 9 | This software is provided 'as-is', without any express or implied warranty. |
|---|
| 10 | In no event will the authors be held liable for any damages arising from the use of this software. |
|---|
| 11 | Permission is granted to anyone to use this software for any purpose, |
|---|
| 12 | including commercial applications, and to alter it and redistribute it freely, |
|---|
| 13 | subject to the following restrictions: |
|---|
| 14 | |
|---|
| 15 | 1. The origin of this software must not be misrepresented; you must not claim that you wrote the original software. If you use this software in a product, an acknowledgment in the product documentation would be appreciated but is not required. |
|---|
| 16 | 2. Altered source versions must be plainly marked as such, and must not be misrepresented as being the original software. |
|---|
| 17 | 3. This notice may not be removed or altered from any source distribution. |
|---|
| 18 | */ |
|---|
| 19 | |
|---|
| 20 | ///ODE box-box collision detection is adapted to work with Bullet |
|---|
| 21 | |
|---|
| 22 | #include "btBoxBoxDetector.h" |
|---|
| 23 | #include "BulletCollision/CollisionShapes/btBoxShape.h" |
|---|
| 24 | |
|---|
| 25 | #include <float.h> |
|---|
| 26 | #include <string.h> |
|---|
| 27 | |
|---|
| 28 | btBoxBoxDetector::btBoxBoxDetector(btBoxShape* box1,btBoxShape* box2) |
|---|
| 29 | : m_box1(box1), |
|---|
| 30 | m_box2(box2) |
|---|
| 31 | { |
|---|
| 32 | |
|---|
| 33 | } |
|---|
| 34 | |
|---|
| 35 | |
|---|
| 36 | // given two boxes (p1,R1,side1) and (p2,R2,side2), collide them together and |
|---|
| 37 | // generate contact points. this returns 0 if there is no contact otherwise |
|---|
| 38 | // it returns the number of contacts generated. |
|---|
| 39 | // `normal' returns the contact normal. |
|---|
| 40 | // `depth' returns the maximum penetration depth along that normal. |
|---|
| 41 | // `return_code' returns a number indicating the type of contact that was |
|---|
| 42 | // detected: |
|---|
| 43 | // 1,2,3 = box 2 intersects with a face of box 1 |
|---|
| 44 | // 4,5,6 = box 1 intersects with a face of box 2 |
|---|
| 45 | // 7..15 = edge-edge contact |
|---|
| 46 | // `maxc' is the maximum number of contacts allowed to be generated, i.e. |
|---|
| 47 | // the size of the `contact' array. |
|---|
| 48 | // `contact' and `skip' are the contact array information provided to the |
|---|
| 49 | // collision functions. this function only fills in the position and depth |
|---|
| 50 | // fields. |
|---|
| 51 | struct dContactGeom; |
|---|
| 52 | #define dDOTpq(a,b,p,q) ((a)[0]*(b)[0] + (a)[p]*(b)[q] + (a)[2*(p)]*(b)[2*(q)]) |
|---|
| 53 | #define dInfinity FLT_MAX |
|---|
| 54 | |
|---|
| 55 | |
|---|
| 56 | /*PURE_INLINE btScalar dDOT (const btScalar *a, const btScalar *b) { return dDOTpq(a,b,1,1); } |
|---|
| 57 | PURE_INLINE btScalar dDOT13 (const btScalar *a, const btScalar *b) { return dDOTpq(a,b,1,3); } |
|---|
| 58 | PURE_INLINE btScalar dDOT31 (const btScalar *a, const btScalar *b) { return dDOTpq(a,b,3,1); } |
|---|
| 59 | PURE_INLINE btScalar dDOT33 (const btScalar *a, const btScalar *b) { return dDOTpq(a,b,3,3); } |
|---|
| 60 | */ |
|---|
| 61 | static btScalar dDOT (const btScalar *a, const btScalar *b) { return dDOTpq(a,b,1,1); } |
|---|
| 62 | static btScalar dDOT44 (const btScalar *a, const btScalar *b) { return dDOTpq(a,b,4,4); } |
|---|
| 63 | static btScalar dDOT41 (const btScalar *a, const btScalar *b) { return dDOTpq(a,b,4,1); } |
|---|
| 64 | static btScalar dDOT14 (const btScalar *a, const btScalar *b) { return dDOTpq(a,b,1,4); } |
|---|
| 65 | #define dMULTIPLYOP1_331(A,op,B,C) \ |
|---|
| 66 | {\ |
|---|
| 67 | (A)[0] op dDOT41((B),(C)); \ |
|---|
| 68 | (A)[1] op dDOT41((B+1),(C)); \ |
|---|
| 69 | (A)[2] op dDOT41((B+2),(C)); \ |
|---|
| 70 | } |
|---|
| 71 | |
|---|
| 72 | #define dMULTIPLYOP0_331(A,op,B,C) \ |
|---|
| 73 | { \ |
|---|
| 74 | (A)[0] op dDOT((B),(C)); \ |
|---|
| 75 | (A)[1] op dDOT((B+4),(C)); \ |
|---|
| 76 | (A)[2] op dDOT((B+8),(C)); \ |
|---|
| 77 | } |
|---|
| 78 | |
|---|
| 79 | #define dMULTIPLY1_331(A,B,C) dMULTIPLYOP1_331(A,=,B,C) |
|---|
| 80 | #define dMULTIPLY0_331(A,B,C) dMULTIPLYOP0_331(A,=,B,C) |
|---|
| 81 | |
|---|
| 82 | typedef btScalar dMatrix3[4*3]; |
|---|
| 83 | |
|---|
| 84 | void dLineClosestApproach (const btVector3& pa, const btVector3& ua, |
|---|
| 85 | const btVector3& pb, const btVector3& ub, |
|---|
| 86 | btScalar *alpha, btScalar *beta); |
|---|
| 87 | void dLineClosestApproach (const btVector3& pa, const btVector3& ua, |
|---|
| 88 | const btVector3& pb, const btVector3& ub, |
|---|
| 89 | btScalar *alpha, btScalar *beta) |
|---|
| 90 | { |
|---|
| 91 | btVector3 p; |
|---|
| 92 | p[0] = pb[0] - pa[0]; |
|---|
| 93 | p[1] = pb[1] - pa[1]; |
|---|
| 94 | p[2] = pb[2] - pa[2]; |
|---|
| 95 | btScalar uaub = dDOT(ua,ub); |
|---|
| 96 | btScalar q1 = dDOT(ua,p); |
|---|
| 97 | btScalar q2 = -dDOT(ub,p); |
|---|
| 98 | btScalar d = 1-uaub*uaub; |
|---|
| 99 | if (d <= btScalar(0.0001f)) { |
|---|
| 100 | // @@@ this needs to be made more robust |
|---|
| 101 | *alpha = 0; |
|---|
| 102 | *beta = 0; |
|---|
| 103 | } |
|---|
| 104 | else { |
|---|
| 105 | d = 1.f/d; |
|---|
| 106 | *alpha = (q1 + uaub*q2)*d; |
|---|
| 107 | *beta = (uaub*q1 + q2)*d; |
|---|
| 108 | } |
|---|
| 109 | } |
|---|
| 110 | |
|---|
| 111 | |
|---|
| 112 | |
|---|
| 113 | // find all the intersection points between the 2D rectangle with vertices |
|---|
| 114 | // at (+/-h[0],+/-h[1]) and the 2D quadrilateral with vertices (p[0],p[1]), |
|---|
| 115 | // (p[2],p[3]),(p[4],p[5]),(p[6],p[7]). |
|---|
| 116 | // |
|---|
| 117 | // the intersection points are returned as x,y pairs in the 'ret' array. |
|---|
| 118 | // the number of intersection points is returned by the function (this will |
|---|
| 119 | // be in the range 0 to 8). |
|---|
| 120 | |
|---|
| 121 | static int intersectRectQuad2 (btScalar h[2], btScalar p[8], btScalar ret[16]) |
|---|
| 122 | { |
|---|
| 123 | // q (and r) contain nq (and nr) coordinate points for the current (and |
|---|
| 124 | // chopped) polygons |
|---|
| 125 | int nq=4,nr=0; |
|---|
| 126 | btScalar buffer[16]; |
|---|
| 127 | btScalar *q = p; |
|---|
| 128 | btScalar *r = ret; |
|---|
| 129 | for (int dir=0; dir <= 1; dir++) { |
|---|
| 130 | // direction notation: xy[0] = x axis, xy[1] = y axis |
|---|
| 131 | for (int sign=-1; sign <= 1; sign += 2) { |
|---|
| 132 | // chop q along the line xy[dir] = sign*h[dir] |
|---|
| 133 | btScalar *pq = q; |
|---|
| 134 | btScalar *pr = r; |
|---|
| 135 | nr = 0; |
|---|
| 136 | for (int i=nq; i > 0; i--) { |
|---|
| 137 | // go through all points in q and all lines between adjacent points |
|---|
| 138 | if (sign*pq[dir] < h[dir]) { |
|---|
| 139 | // this point is inside the chopping line |
|---|
| 140 | pr[0] = pq[0]; |
|---|
| 141 | pr[1] = pq[1]; |
|---|
| 142 | pr += 2; |
|---|
| 143 | nr++; |
|---|
| 144 | if (nr & 8) { |
|---|
| 145 | q = r; |
|---|
| 146 | goto done; |
|---|
| 147 | } |
|---|
| 148 | } |
|---|
| 149 | btScalar *nextq = (i > 1) ? pq+2 : q; |
|---|
| 150 | if ((sign*pq[dir] < h[dir]) ^ (sign*nextq[dir] < h[dir])) { |
|---|
| 151 | // this line crosses the chopping line |
|---|
| 152 | pr[1-dir] = pq[1-dir] + (nextq[1-dir]-pq[1-dir]) / |
|---|
| 153 | (nextq[dir]-pq[dir]) * (sign*h[dir]-pq[dir]); |
|---|
| 154 | pr[dir] = sign*h[dir]; |
|---|
| 155 | pr += 2; |
|---|
| 156 | nr++; |
|---|
| 157 | if (nr & 8) { |
|---|
| 158 | q = r; |
|---|
| 159 | goto done; |
|---|
| 160 | } |
|---|
| 161 | } |
|---|
| 162 | pq += 2; |
|---|
| 163 | } |
|---|
| 164 | q = r; |
|---|
| 165 | r = (q==ret) ? buffer : ret; |
|---|
| 166 | nq = nr; |
|---|
| 167 | } |
|---|
| 168 | } |
|---|
| 169 | done: |
|---|
| 170 | if (q != ret) memcpy (ret,q,nr*2*sizeof(btScalar)); |
|---|
| 171 | return nr; |
|---|
| 172 | } |
|---|
| 173 | |
|---|
| 174 | |
|---|
| 175 | #define M__PI 3.14159265f |
|---|
| 176 | |
|---|
| 177 | // given n points in the plane (array p, of size 2*n), generate m points that |
|---|
| 178 | // best represent the whole set. the definition of 'best' here is not |
|---|
| 179 | // predetermined - the idea is to select points that give good box-box |
|---|
| 180 | // collision detection behavior. the chosen point indexes are returned in the |
|---|
| 181 | // array iret (of size m). 'i0' is always the first entry in the array. |
|---|
| 182 | // n must be in the range [1..8]. m must be in the range [1..n]. i0 must be |
|---|
| 183 | // in the range [0..n-1]. |
|---|
| 184 | |
|---|
| 185 | void cullPoints2 (int n, btScalar p[], int m, int i0, int iret[]); |
|---|
| 186 | void cullPoints2 (int n, btScalar p[], int m, int i0, int iret[]) |
|---|
| 187 | { |
|---|
| 188 | // compute the centroid of the polygon in cx,cy |
|---|
| 189 | int i,j; |
|---|
| 190 | btScalar a,cx,cy,q; |
|---|
| 191 | if (n==1) { |
|---|
| 192 | cx = p[0]; |
|---|
| 193 | cy = p[1]; |
|---|
| 194 | } |
|---|
| 195 | else if (n==2) { |
|---|
| 196 | cx = btScalar(0.5)*(p[0] + p[2]); |
|---|
| 197 | cy = btScalar(0.5)*(p[1] + p[3]); |
|---|
| 198 | } |
|---|
| 199 | else { |
|---|
| 200 | a = 0; |
|---|
| 201 | cx = 0; |
|---|
| 202 | cy = 0; |
|---|
| 203 | for (i=0; i<(n-1); i++) { |
|---|
| 204 | q = p[i*2]*p[i*2+3] - p[i*2+2]*p[i*2+1]; |
|---|
| 205 | a += q; |
|---|
| 206 | cx += q*(p[i*2]+p[i*2+2]); |
|---|
| 207 | cy += q*(p[i*2+1]+p[i*2+3]); |
|---|
| 208 | } |
|---|
| 209 | q = p[n*2-2]*p[1] - p[0]*p[n*2-1]; |
|---|
| [2430] | 210 | if (btFabs(a+q) > SIMD_EPSILON) |
|---|
| 211 | { |
|---|
| 212 | a = 1.f/(btScalar(3.0)*(a+q)); |
|---|
| 213 | } else |
|---|
| 214 | { |
|---|
| 215 | a=1e30f; |
|---|
| 216 | } |
|---|
| [1963] | 217 | cx = a*(cx + q*(p[n*2-2]+p[0])); |
|---|
| 218 | cy = a*(cy + q*(p[n*2-1]+p[1])); |
|---|
| 219 | } |
|---|
| 220 | |
|---|
| 221 | // compute the angle of each point w.r.t. the centroid |
|---|
| 222 | btScalar A[8]; |
|---|
| 223 | for (i=0; i<n; i++) A[i] = btAtan2(p[i*2+1]-cy,p[i*2]-cx); |
|---|
| 224 | |
|---|
| 225 | // search for points that have angles closest to A[i0] + i*(2*pi/m). |
|---|
| 226 | int avail[8]; |
|---|
| 227 | for (i=0; i<n; i++) avail[i] = 1; |
|---|
| 228 | avail[i0] = 0; |
|---|
| 229 | iret[0] = i0; |
|---|
| 230 | iret++; |
|---|
| 231 | for (j=1; j<m; j++) { |
|---|
| 232 | a = btScalar(j)*(2*M__PI/m) + A[i0]; |
|---|
| 233 | if (a > M__PI) a -= 2*M__PI; |
|---|
| 234 | btScalar maxdiff=1e9,diff; |
|---|
| 235 | |
|---|
| 236 | *iret = i0; // iret is not allowed to keep this value, but it sometimes does, when diff=#QNAN0 |
|---|
| 237 | |
|---|
| 238 | for (i=0; i<n; i++) { |
|---|
| 239 | if (avail[i]) { |
|---|
| 240 | diff = btFabs (A[i]-a); |
|---|
| 241 | if (diff > M__PI) diff = 2*M__PI - diff; |
|---|
| 242 | if (diff < maxdiff) { |
|---|
| 243 | maxdiff = diff; |
|---|
| 244 | *iret = i; |
|---|
| 245 | } |
|---|
| 246 | } |
|---|
| 247 | } |
|---|
| 248 | #if defined(DEBUG) || defined (_DEBUG) |
|---|
| 249 | btAssert (*iret != i0); // ensure iret got set |
|---|
| 250 | #endif |
|---|
| 251 | avail[*iret] = 0; |
|---|
| 252 | iret++; |
|---|
| 253 | } |
|---|
| 254 | } |
|---|
| 255 | |
|---|
| 256 | |
|---|
| 257 | |
|---|
| 258 | int dBoxBox2 (const btVector3& p1, const dMatrix3 R1, |
|---|
| 259 | const btVector3& side1, const btVector3& p2, |
|---|
| 260 | const dMatrix3 R2, const btVector3& side2, |
|---|
| 261 | btVector3& normal, btScalar *depth, int *return_code, |
|---|
| 262 | int maxc, dContactGeom * /*contact*/, int /*skip*/,btDiscreteCollisionDetectorInterface::Result& output); |
|---|
| 263 | int dBoxBox2 (const btVector3& p1, const dMatrix3 R1, |
|---|
| 264 | const btVector3& side1, const btVector3& p2, |
|---|
| 265 | const dMatrix3 R2, const btVector3& side2, |
|---|
| 266 | btVector3& normal, btScalar *depth, int *return_code, |
|---|
| 267 | int maxc, dContactGeom * /*contact*/, int /*skip*/,btDiscreteCollisionDetectorInterface::Result& output) |
|---|
| 268 | { |
|---|
| 269 | const btScalar fudge_factor = btScalar(1.05); |
|---|
| 270 | btVector3 p,pp,normalC; |
|---|
| 271 | const btScalar *normalR = 0; |
|---|
| 272 | btScalar A[3],B[3],R11,R12,R13,R21,R22,R23,R31,R32,R33, |
|---|
| 273 | Q11,Q12,Q13,Q21,Q22,Q23,Q31,Q32,Q33,s,s2,l; |
|---|
| 274 | int i,j,invert_normal,code; |
|---|
| 275 | |
|---|
| 276 | // get vector from centers of box 1 to box 2, relative to box 1 |
|---|
| 277 | p = p2 - p1; |
|---|
| 278 | dMULTIPLY1_331 (pp,R1,p); // get pp = p relative to body 1 |
|---|
| 279 | |
|---|
| 280 | // get side lengths / 2 |
|---|
| 281 | A[0] = side1[0]*btScalar(0.5); |
|---|
| 282 | A[1] = side1[1]*btScalar(0.5); |
|---|
| 283 | A[2] = side1[2]*btScalar(0.5); |
|---|
| 284 | B[0] = side2[0]*btScalar(0.5); |
|---|
| 285 | B[1] = side2[1]*btScalar(0.5); |
|---|
| 286 | B[2] = side2[2]*btScalar(0.5); |
|---|
| 287 | |
|---|
| 288 | // Rij is R1'*R2, i.e. the relative rotation between R1 and R2 |
|---|
| 289 | R11 = dDOT44(R1+0,R2+0); R12 = dDOT44(R1+0,R2+1); R13 = dDOT44(R1+0,R2+2); |
|---|
| 290 | R21 = dDOT44(R1+1,R2+0); R22 = dDOT44(R1+1,R2+1); R23 = dDOT44(R1+1,R2+2); |
|---|
| 291 | R31 = dDOT44(R1+2,R2+0); R32 = dDOT44(R1+2,R2+1); R33 = dDOT44(R1+2,R2+2); |
|---|
| 292 | |
|---|
| 293 | Q11 = btFabs(R11); Q12 = btFabs(R12); Q13 = btFabs(R13); |
|---|
| 294 | Q21 = btFabs(R21); Q22 = btFabs(R22); Q23 = btFabs(R23); |
|---|
| 295 | Q31 = btFabs(R31); Q32 = btFabs(R32); Q33 = btFabs(R33); |
|---|
| 296 | |
|---|
| 297 | // for all 15 possible separating axes: |
|---|
| 298 | // * see if the axis separates the boxes. if so, return 0. |
|---|
| 299 | // * find the depth of the penetration along the separating axis (s2) |
|---|
| 300 | // * if this is the largest depth so far, record it. |
|---|
| 301 | // the normal vector will be set to the separating axis with the smallest |
|---|
| 302 | // depth. note: normalR is set to point to a column of R1 or R2 if that is |
|---|
| 303 | // the smallest depth normal so far. otherwise normalR is 0 and normalC is |
|---|
| 304 | // set to a vector relative to body 1. invert_normal is 1 if the sign of |
|---|
| 305 | // the normal should be flipped. |
|---|
| 306 | |
|---|
| 307 | #define TST(expr1,expr2,norm,cc) \ |
|---|
| 308 | s2 = btFabs(expr1) - (expr2); \ |
|---|
| 309 | if (s2 > 0) return 0; \ |
|---|
| 310 | if (s2 > s) { \ |
|---|
| 311 | s = s2; \ |
|---|
| 312 | normalR = norm; \ |
|---|
| 313 | invert_normal = ((expr1) < 0); \ |
|---|
| 314 | code = (cc); \ |
|---|
| 315 | } |
|---|
| 316 | |
|---|
| 317 | s = -dInfinity; |
|---|
| 318 | invert_normal = 0; |
|---|
| 319 | code = 0; |
|---|
| 320 | |
|---|
| 321 | // separating axis = u1,u2,u3 |
|---|
| 322 | TST (pp[0],(A[0] + B[0]*Q11 + B[1]*Q12 + B[2]*Q13),R1+0,1); |
|---|
| 323 | TST (pp[1],(A[1] + B[0]*Q21 + B[1]*Q22 + B[2]*Q23),R1+1,2); |
|---|
| 324 | TST (pp[2],(A[2] + B[0]*Q31 + B[1]*Q32 + B[2]*Q33),R1+2,3); |
|---|
| 325 | |
|---|
| 326 | // separating axis = v1,v2,v3 |
|---|
| 327 | TST (dDOT41(R2+0,p),(A[0]*Q11 + A[1]*Q21 + A[2]*Q31 + B[0]),R2+0,4); |
|---|
| 328 | TST (dDOT41(R2+1,p),(A[0]*Q12 + A[1]*Q22 + A[2]*Q32 + B[1]),R2+1,5); |
|---|
| 329 | TST (dDOT41(R2+2,p),(A[0]*Q13 + A[1]*Q23 + A[2]*Q33 + B[2]),R2+2,6); |
|---|
| 330 | |
|---|
| 331 | // note: cross product axes need to be scaled when s is computed. |
|---|
| 332 | // normal (n1,n2,n3) is relative to box 1. |
|---|
| 333 | #undef TST |
|---|
| 334 | #define TST(expr1,expr2,n1,n2,n3,cc) \ |
|---|
| 335 | s2 = btFabs(expr1) - (expr2); \ |
|---|
| 336 | if (s2 > 0) return 0; \ |
|---|
| 337 | l = btSqrt((n1)*(n1) + (n2)*(n2) + (n3)*(n3)); \ |
|---|
| 338 | if (l > 0) { \ |
|---|
| 339 | s2 /= l; \ |
|---|
| 340 | if (s2*fudge_factor > s) { \ |
|---|
| 341 | s = s2; \ |
|---|
| 342 | normalR = 0; \ |
|---|
| 343 | normalC[0] = (n1)/l; normalC[1] = (n2)/l; normalC[2] = (n3)/l; \ |
|---|
| 344 | invert_normal = ((expr1) < 0); \ |
|---|
| 345 | code = (cc); \ |
|---|
| 346 | } \ |
|---|
| 347 | } |
|---|
| 348 | |
|---|
| 349 | // separating axis = u1 x (v1,v2,v3) |
|---|
| 350 | TST(pp[2]*R21-pp[1]*R31,(A[1]*Q31+A[2]*Q21+B[1]*Q13+B[2]*Q12),0,-R31,R21,7); |
|---|
| 351 | TST(pp[2]*R22-pp[1]*R32,(A[1]*Q32+A[2]*Q22+B[0]*Q13+B[2]*Q11),0,-R32,R22,8); |
|---|
| 352 | TST(pp[2]*R23-pp[1]*R33,(A[1]*Q33+A[2]*Q23+B[0]*Q12+B[1]*Q11),0,-R33,R23,9); |
|---|
| 353 | |
|---|
| 354 | // separating axis = u2 x (v1,v2,v3) |
|---|
| 355 | TST(pp[0]*R31-pp[2]*R11,(A[0]*Q31+A[2]*Q11+B[1]*Q23+B[2]*Q22),R31,0,-R11,10); |
|---|
| 356 | TST(pp[0]*R32-pp[2]*R12,(A[0]*Q32+A[2]*Q12+B[0]*Q23+B[2]*Q21),R32,0,-R12,11); |
|---|
| 357 | TST(pp[0]*R33-pp[2]*R13,(A[0]*Q33+A[2]*Q13+B[0]*Q22+B[1]*Q21),R33,0,-R13,12); |
|---|
| 358 | |
|---|
| 359 | // separating axis = u3 x (v1,v2,v3) |
|---|
| 360 | TST(pp[1]*R11-pp[0]*R21,(A[0]*Q21+A[1]*Q11+B[1]*Q33+B[2]*Q32),-R21,R11,0,13); |
|---|
| 361 | TST(pp[1]*R12-pp[0]*R22,(A[0]*Q22+A[1]*Q12+B[0]*Q33+B[2]*Q31),-R22,R12,0,14); |
|---|
| 362 | TST(pp[1]*R13-pp[0]*R23,(A[0]*Q23+A[1]*Q13+B[0]*Q32+B[1]*Q31),-R23,R13,0,15); |
|---|
| 363 | |
|---|
| 364 | #undef TST |
|---|
| 365 | |
|---|
| 366 | if (!code) return 0; |
|---|
| 367 | |
|---|
| 368 | // if we get to this point, the boxes interpenetrate. compute the normal |
|---|
| 369 | // in global coordinates. |
|---|
| 370 | if (normalR) { |
|---|
| 371 | normal[0] = normalR[0]; |
|---|
| 372 | normal[1] = normalR[4]; |
|---|
| 373 | normal[2] = normalR[8]; |
|---|
| 374 | } |
|---|
| 375 | else { |
|---|
| 376 | dMULTIPLY0_331 (normal,R1,normalC); |
|---|
| 377 | } |
|---|
| 378 | if (invert_normal) { |
|---|
| 379 | normal[0] = -normal[0]; |
|---|
| 380 | normal[1] = -normal[1]; |
|---|
| 381 | normal[2] = -normal[2]; |
|---|
| 382 | } |
|---|
| 383 | *depth = -s; |
|---|
| 384 | |
|---|
| 385 | // compute contact point(s) |
|---|
| 386 | |
|---|
| 387 | if (code > 6) { |
|---|
| 388 | // an edge from box 1 touches an edge from box 2. |
|---|
| 389 | // find a point pa on the intersecting edge of box 1 |
|---|
| 390 | btVector3 pa; |
|---|
| 391 | btScalar sign; |
|---|
| 392 | for (i=0; i<3; i++) pa[i] = p1[i]; |
|---|
| 393 | for (j=0; j<3; j++) { |
|---|
| 394 | sign = (dDOT14(normal,R1+j) > 0) ? btScalar(1.0) : btScalar(-1.0); |
|---|
| 395 | for (i=0; i<3; i++) pa[i] += sign * A[j] * R1[i*4+j]; |
|---|
| 396 | } |
|---|
| 397 | |
|---|
| 398 | // find a point pb on the intersecting edge of box 2 |
|---|
| 399 | btVector3 pb; |
|---|
| 400 | for (i=0; i<3; i++) pb[i] = p2[i]; |
|---|
| 401 | for (j=0; j<3; j++) { |
|---|
| 402 | sign = (dDOT14(normal,R2+j) > 0) ? btScalar(-1.0) : btScalar(1.0); |
|---|
| 403 | for (i=0; i<3; i++) pb[i] += sign * B[j] * R2[i*4+j]; |
|---|
| 404 | } |
|---|
| 405 | |
|---|
| 406 | btScalar alpha,beta; |
|---|
| 407 | btVector3 ua,ub; |
|---|
| 408 | for (i=0; i<3; i++) ua[i] = R1[((code)-7)/3 + i*4]; |
|---|
| 409 | for (i=0; i<3; i++) ub[i] = R2[((code)-7)%3 + i*4]; |
|---|
| 410 | |
|---|
| 411 | dLineClosestApproach (pa,ua,pb,ub,&alpha,&beta); |
|---|
| 412 | for (i=0; i<3; i++) pa[i] += ua[i]*alpha; |
|---|
| 413 | for (i=0; i<3; i++) pb[i] += ub[i]*beta; |
|---|
| 414 | |
|---|
| 415 | { |
|---|
| 416 | |
|---|
| 417 | //contact[0].pos[i] = btScalar(0.5)*(pa[i]+pb[i]); |
|---|
| 418 | //contact[0].depth = *depth; |
|---|
| 419 | btVector3 pointInWorld; |
|---|
| 420 | |
|---|
| 421 | #ifdef USE_CENTER_POINT |
|---|
| 422 | for (i=0; i<3; i++) |
|---|
| 423 | pointInWorld[i] = (pa[i]+pb[i])*btScalar(0.5); |
|---|
| 424 | output.addContactPoint(-normal,pointInWorld,-*depth); |
|---|
| 425 | #else |
|---|
| 426 | output.addContactPoint(-normal,pb,-*depth); |
|---|
| 427 | #endif // |
|---|
| 428 | *return_code = code; |
|---|
| 429 | } |
|---|
| 430 | return 1; |
|---|
| 431 | } |
|---|
| 432 | |
|---|
| 433 | // okay, we have a face-something intersection (because the separating |
|---|
| 434 | // axis is perpendicular to a face). define face 'a' to be the reference |
|---|
| 435 | // face (i.e. the normal vector is perpendicular to this) and face 'b' to be |
|---|
| 436 | // the incident face (the closest face of the other box). |
|---|
| 437 | |
|---|
| 438 | const btScalar *Ra,*Rb,*pa,*pb,*Sa,*Sb; |
|---|
| 439 | if (code <= 3) { |
|---|
| 440 | Ra = R1; |
|---|
| 441 | Rb = R2; |
|---|
| 442 | pa = p1; |
|---|
| 443 | pb = p2; |
|---|
| 444 | Sa = A; |
|---|
| 445 | Sb = B; |
|---|
| 446 | } |
|---|
| 447 | else { |
|---|
| 448 | Ra = R2; |
|---|
| 449 | Rb = R1; |
|---|
| 450 | pa = p2; |
|---|
| 451 | pb = p1; |
|---|
| 452 | Sa = B; |
|---|
| 453 | Sb = A; |
|---|
| 454 | } |
|---|
| 455 | |
|---|
| 456 | // nr = normal vector of reference face dotted with axes of incident box. |
|---|
| 457 | // anr = absolute values of nr. |
|---|
| 458 | btVector3 normal2,nr,anr; |
|---|
| 459 | if (code <= 3) { |
|---|
| 460 | normal2[0] = normal[0]; |
|---|
| 461 | normal2[1] = normal[1]; |
|---|
| 462 | normal2[2] = normal[2]; |
|---|
| 463 | } |
|---|
| 464 | else { |
|---|
| 465 | normal2[0] = -normal[0]; |
|---|
| 466 | normal2[1] = -normal[1]; |
|---|
| 467 | normal2[2] = -normal[2]; |
|---|
| 468 | } |
|---|
| 469 | dMULTIPLY1_331 (nr,Rb,normal2); |
|---|
| 470 | anr[0] = btFabs (nr[0]); |
|---|
| 471 | anr[1] = btFabs (nr[1]); |
|---|
| 472 | anr[2] = btFabs (nr[2]); |
|---|
| 473 | |
|---|
| 474 | // find the largest compontent of anr: this corresponds to the normal |
|---|
| 475 | // for the indident face. the other axis numbers of the indicent face |
|---|
| 476 | // are stored in a1,a2. |
|---|
| 477 | int lanr,a1,a2; |
|---|
| 478 | if (anr[1] > anr[0]) { |
|---|
| 479 | if (anr[1] > anr[2]) { |
|---|
| 480 | a1 = 0; |
|---|
| 481 | lanr = 1; |
|---|
| 482 | a2 = 2; |
|---|
| 483 | } |
|---|
| 484 | else { |
|---|
| 485 | a1 = 0; |
|---|
| 486 | a2 = 1; |
|---|
| 487 | lanr = 2; |
|---|
| 488 | } |
|---|
| 489 | } |
|---|
| 490 | else { |
|---|
| 491 | if (anr[0] > anr[2]) { |
|---|
| 492 | lanr = 0; |
|---|
| 493 | a1 = 1; |
|---|
| 494 | a2 = 2; |
|---|
| 495 | } |
|---|
| 496 | else { |
|---|
| 497 | a1 = 0; |
|---|
| 498 | a2 = 1; |
|---|
| 499 | lanr = 2; |
|---|
| 500 | } |
|---|
| 501 | } |
|---|
| 502 | |
|---|
| 503 | // compute center point of incident face, in reference-face coordinates |
|---|
| 504 | btVector3 center; |
|---|
| 505 | if (nr[lanr] < 0) { |
|---|
| 506 | for (i=0; i<3; i++) center[i] = pb[i] - pa[i] + Sb[lanr] * Rb[i*4+lanr]; |
|---|
| 507 | } |
|---|
| 508 | else { |
|---|
| 509 | for (i=0; i<3; i++) center[i] = pb[i] - pa[i] - Sb[lanr] * Rb[i*4+lanr]; |
|---|
| 510 | } |
|---|
| 511 | |
|---|
| 512 | // find the normal and non-normal axis numbers of the reference box |
|---|
| 513 | int codeN,code1,code2; |
|---|
| 514 | if (code <= 3) codeN = code-1; else codeN = code-4; |
|---|
| 515 | if (codeN==0) { |
|---|
| 516 | code1 = 1; |
|---|
| 517 | code2 = 2; |
|---|
| 518 | } |
|---|
| 519 | else if (codeN==1) { |
|---|
| 520 | code1 = 0; |
|---|
| 521 | code2 = 2; |
|---|
| 522 | } |
|---|
| 523 | else { |
|---|
| 524 | code1 = 0; |
|---|
| 525 | code2 = 1; |
|---|
| 526 | } |
|---|
| 527 | |
|---|
| 528 | // find the four corners of the incident face, in reference-face coordinates |
|---|
| 529 | btScalar quad[8]; // 2D coordinate of incident face (x,y pairs) |
|---|
| 530 | btScalar c1,c2,m11,m12,m21,m22; |
|---|
| 531 | c1 = dDOT14 (center,Ra+code1); |
|---|
| 532 | c2 = dDOT14 (center,Ra+code2); |
|---|
| 533 | // optimize this? - we have already computed this data above, but it is not |
|---|
| 534 | // stored in an easy-to-index format. for now it's quicker just to recompute |
|---|
| 535 | // the four dot products. |
|---|
| 536 | m11 = dDOT44 (Ra+code1,Rb+a1); |
|---|
| 537 | m12 = dDOT44 (Ra+code1,Rb+a2); |
|---|
| 538 | m21 = dDOT44 (Ra+code2,Rb+a1); |
|---|
| 539 | m22 = dDOT44 (Ra+code2,Rb+a2); |
|---|
| 540 | { |
|---|
| 541 | btScalar k1 = m11*Sb[a1]; |
|---|
| 542 | btScalar k2 = m21*Sb[a1]; |
|---|
| 543 | btScalar k3 = m12*Sb[a2]; |
|---|
| 544 | btScalar k4 = m22*Sb[a2]; |
|---|
| 545 | quad[0] = c1 - k1 - k3; |
|---|
| 546 | quad[1] = c2 - k2 - k4; |
|---|
| 547 | quad[2] = c1 - k1 + k3; |
|---|
| 548 | quad[3] = c2 - k2 + k4; |
|---|
| 549 | quad[4] = c1 + k1 + k3; |
|---|
| 550 | quad[5] = c2 + k2 + k4; |
|---|
| 551 | quad[6] = c1 + k1 - k3; |
|---|
| 552 | quad[7] = c2 + k2 - k4; |
|---|
| 553 | } |
|---|
| 554 | |
|---|
| 555 | // find the size of the reference face |
|---|
| 556 | btScalar rect[2]; |
|---|
| 557 | rect[0] = Sa[code1]; |
|---|
| 558 | rect[1] = Sa[code2]; |
|---|
| 559 | |
|---|
| 560 | // intersect the incident and reference faces |
|---|
| 561 | btScalar ret[16]; |
|---|
| 562 | int n = intersectRectQuad2 (rect,quad,ret); |
|---|
| 563 | if (n < 1) return 0; // this should never happen |
|---|
| 564 | |
|---|
| 565 | // convert the intersection points into reference-face coordinates, |
|---|
| 566 | // and compute the contact position and depth for each point. only keep |
|---|
| 567 | // those points that have a positive (penetrating) depth. delete points in |
|---|
| 568 | // the 'ret' array as necessary so that 'point' and 'ret' correspond. |
|---|
| 569 | btScalar point[3*8]; // penetrating contact points |
|---|
| 570 | btScalar dep[8]; // depths for those points |
|---|
| 571 | btScalar det1 = 1.f/(m11*m22 - m12*m21); |
|---|
| 572 | m11 *= det1; |
|---|
| 573 | m12 *= det1; |
|---|
| 574 | m21 *= det1; |
|---|
| 575 | m22 *= det1; |
|---|
| 576 | int cnum = 0; // number of penetrating contact points found |
|---|
| 577 | for (j=0; j < n; j++) { |
|---|
| 578 | btScalar k1 = m22*(ret[j*2]-c1) - m12*(ret[j*2+1]-c2); |
|---|
| 579 | btScalar k2 = -m21*(ret[j*2]-c1) + m11*(ret[j*2+1]-c2); |
|---|
| 580 | for (i=0; i<3; i++) point[cnum*3+i] = |
|---|
| 581 | center[i] + k1*Rb[i*4+a1] + k2*Rb[i*4+a2]; |
|---|
| 582 | dep[cnum] = Sa[codeN] - dDOT(normal2,point+cnum*3); |
|---|
| 583 | if (dep[cnum] >= 0) { |
|---|
| 584 | ret[cnum*2] = ret[j*2]; |
|---|
| 585 | ret[cnum*2+1] = ret[j*2+1]; |
|---|
| 586 | cnum++; |
|---|
| 587 | } |
|---|
| 588 | } |
|---|
| 589 | if (cnum < 1) return 0; // this should never happen |
|---|
| 590 | |
|---|
| 591 | // we can't generate more contacts than we actually have |
|---|
| 592 | if (maxc > cnum) maxc = cnum; |
|---|
| 593 | if (maxc < 1) maxc = 1; |
|---|
| 594 | |
|---|
| 595 | if (cnum <= maxc) { |
|---|
| 596 | // we have less contacts than we need, so we use them all |
|---|
| 597 | for (j=0; j < cnum; j++) { |
|---|
| 598 | |
|---|
| 599 | //AddContactPoint... |
|---|
| 600 | |
|---|
| 601 | //dContactGeom *con = CONTACT(contact,skip*j); |
|---|
| 602 | //for (i=0; i<3; i++) con->pos[i] = point[j*3+i] + pa[i]; |
|---|
| 603 | //con->depth = dep[j]; |
|---|
| 604 | |
|---|
| 605 | btVector3 pointInWorld; |
|---|
| 606 | for (i=0; i<3; i++) |
|---|
| 607 | pointInWorld[i] = point[j*3+i] + pa[i]; |
|---|
| 608 | output.addContactPoint(-normal,pointInWorld,-dep[j]); |
|---|
| 609 | |
|---|
| 610 | } |
|---|
| 611 | } |
|---|
| 612 | else { |
|---|
| 613 | // we have more contacts than are wanted, some of them must be culled. |
|---|
| 614 | // find the deepest point, it is always the first contact. |
|---|
| 615 | int i1 = 0; |
|---|
| 616 | btScalar maxdepth = dep[0]; |
|---|
| 617 | for (i=1; i<cnum; i++) { |
|---|
| 618 | if (dep[i] > maxdepth) { |
|---|
| 619 | maxdepth = dep[i]; |
|---|
| 620 | i1 = i; |
|---|
| 621 | } |
|---|
| 622 | } |
|---|
| 623 | |
|---|
| 624 | int iret[8]; |
|---|
| 625 | cullPoints2 (cnum,ret,maxc,i1,iret); |
|---|
| 626 | |
|---|
| 627 | for (j=0; j < maxc; j++) { |
|---|
| 628 | // dContactGeom *con = CONTACT(contact,skip*j); |
|---|
| 629 | // for (i=0; i<3; i++) con->pos[i] = point[iret[j]*3+i] + pa[i]; |
|---|
| 630 | // con->depth = dep[iret[j]]; |
|---|
| 631 | |
|---|
| 632 | btVector3 posInWorld; |
|---|
| 633 | for (i=0; i<3; i++) |
|---|
| 634 | posInWorld[i] = point[iret[j]*3+i] + pa[i]; |
|---|
| 635 | output.addContactPoint(-normal,posInWorld,-dep[iret[j]]); |
|---|
| 636 | } |
|---|
| 637 | cnum = maxc; |
|---|
| 638 | } |
|---|
| 639 | |
|---|
| 640 | *return_code = code; |
|---|
| 641 | return cnum; |
|---|
| 642 | } |
|---|
| 643 | |
|---|
| 644 | void btBoxBoxDetector::getClosestPoints(const ClosestPointInput& input,Result& output,class btIDebugDraw* /*debugDraw*/,bool /*swapResults*/) |
|---|
| 645 | { |
|---|
| 646 | |
|---|
| 647 | const btTransform& transformA = input.m_transformA; |
|---|
| 648 | const btTransform& transformB = input.m_transformB; |
|---|
| 649 | |
|---|
| 650 | int skip = 0; |
|---|
| 651 | dContactGeom *contact = 0; |
|---|
| 652 | |
|---|
| 653 | dMatrix3 R1; |
|---|
| 654 | dMatrix3 R2; |
|---|
| 655 | |
|---|
| 656 | for (int j=0;j<3;j++) |
|---|
| 657 | { |
|---|
| 658 | R1[0+4*j] = transformA.getBasis()[j].x(); |
|---|
| 659 | R2[0+4*j] = transformB.getBasis()[j].x(); |
|---|
| 660 | |
|---|
| 661 | R1[1+4*j] = transformA.getBasis()[j].y(); |
|---|
| 662 | R2[1+4*j] = transformB.getBasis()[j].y(); |
|---|
| 663 | |
|---|
| 664 | |
|---|
| 665 | R1[2+4*j] = transformA.getBasis()[j].z(); |
|---|
| 666 | R2[2+4*j] = transformB.getBasis()[j].z(); |
|---|
| 667 | |
|---|
| 668 | } |
|---|
| 669 | |
|---|
| 670 | |
|---|
| 671 | |
|---|
| 672 | btVector3 normal; |
|---|
| 673 | btScalar depth; |
|---|
| 674 | int return_code; |
|---|
| 675 | int maxc = 4; |
|---|
| 676 | |
|---|
| 677 | |
|---|
| 678 | dBoxBox2 (transformA.getOrigin(), |
|---|
| 679 | R1, |
|---|
| 680 | 2.f*m_box1->getHalfExtentsWithMargin(), |
|---|
| 681 | transformB.getOrigin(), |
|---|
| 682 | R2, |
|---|
| 683 | 2.f*m_box2->getHalfExtentsWithMargin(), |
|---|
| 684 | normal, &depth, &return_code, |
|---|
| 685 | maxc, contact, skip, |
|---|
| 686 | output |
|---|
| 687 | ); |
|---|
| 688 | |
|---|
| 689 | } |
|---|