Classes | |
struct | ContactPoint |
struct | EPA |
class for EPA algorithm More... | |
struct | GJK |
class for GJK algorithm More... | |
struct | MinkowskiDiff |
Minkowski difference class of two shapes. More... | |
Functions | |
Vec3f | getSupport (const ShapeBase *shape, const Vec3f &dir, bool dirIsNormalized) |
the support function for shape More... | |
static void | lineSegmentPointClosestToPoint (const Vec3f &p, const Vec3f &s1, const Vec3f &s2, Vec3f &sp) |
bool | sphereCapsuleIntersect (const Sphere &s1, const Transform3f &tf1, const Capsule &s2, const Transform3f &tf2, FCL_REAL &distance, Vec3f *contact_points, Vec3f *normal_) |
bool | sphereCapsuleDistance (const Sphere &s1, const Transform3f &tf1, const Capsule &s2, const Transform3f &tf2, FCL_REAL &dist, Vec3f &p1, Vec3f &p2, Vec3f &normal) |
bool | sphereCylinderDistance (const Sphere &s1, const Transform3f &tf1, const Cylinder &s2, const Transform3f &tf2, FCL_REAL &dist, Vec3f &p1, Vec3f &p2, Vec3f &normal) |
bool | sphereSphereIntersect (const Sphere &s1, const Transform3f &tf1, const Sphere &s2, const Transform3f &tf2, FCL_REAL &distance, Vec3f *contact_points, Vec3f *normal) |
bool | sphereSphereDistance (const Sphere &s1, const Transform3f &tf1, const Sphere &s2, const Transform3f &tf2, FCL_REAL &dist, Vec3f &p1, Vec3f &p2, Vec3f &normal) |
FCL_REAL | segmentSqrDistance (const Vec3f &from, const Vec3f &to, const Vec3f &p, Vec3f &nearest) |
the minimum distance from a point to a line More... | |
bool | projectInTriangle (const Vec3f &p1, const Vec3f &p2, const Vec3f &p3, const Vec3f &normal, const Vec3f &p) |
Whether a point's projection is in a triangle. More... | |
bool | sphereTriangleIntersect (const Sphere &s, const Transform3f &tf1, const Vec3f &P1, const Vec3f &P2, const Vec3f &P3, FCL_REAL &distance, Vec3f &p1, Vec3f &p2, Vec3f &normal_) |
bool | sphereTriangleDistance (const Sphere &sp, const Transform3f &tf, const Vec3f &P1, const Vec3f &P2, const Vec3f &P3, FCL_REAL *dist) |
bool | sphereTriangleDistance (const Sphere &sp, const Transform3f &tf, const Vec3f &P1, const Vec3f &P2, const Vec3f &P3, FCL_REAL *dist, Vec3f *p1, Vec3f *p2) |
bool | sphereTriangleDistance (const Sphere &sp, const Transform3f &tf1, const Vec3f &P1, const Vec3f &P2, const Vec3f &P3, const Transform3f &tf2, FCL_REAL *dist, Vec3f *p1, Vec3f *p2) |
static void | lineClosestApproach (const Vec3f &pa, const Vec3f &ua, const Vec3f &pb, const Vec3f &ub, FCL_REAL *alpha, FCL_REAL *beta) |
static int | intersectRectQuad2 (FCL_REAL h[2], FCL_REAL p[8], FCL_REAL ret[16]) |
static void | cullPoints2 (int n, FCL_REAL p[], int m, int i0, int iret[]) |
int | boxBox2 (const Vec3f &halfSide1, const Matrix3f &R1, const Vec3f &T1, const Vec3f &halfSide2, const Matrix3f &R2, const Vec3f &T2, Vec3f &normal, FCL_REAL *depth, int *return_code, int maxc, std::vector< ContactPoint > &contacts) |
bool | compareContactPoints (const ContactPoint &c1, const ContactPoint &c2) |
bool | boxBoxIntersect (const Box &s1, const Transform3f &tf1, const Box &s2, const Transform3f &tf2, Vec3f *contact_points, FCL_REAL *penetration_depth_, Vec3f *normal_) |
template<typename T > | |
T | halfspaceIntersectTolerance () |
template<> | |
float | halfspaceIntersectTolerance () |
template<> | |
double | halfspaceIntersectTolerance () |
bool | sphereHalfspaceIntersect (const Sphere &s1, const Transform3f &tf1, const Halfspace &s2, const Transform3f &tf2, FCL_REAL &distance, Vec3f &p1, Vec3f &p2, Vec3f &normal) |
bool | boxHalfspaceIntersect (const Box &s1, const Transform3f &tf1, const Halfspace &s2, const Transform3f &tf2) |
box half space, a, b, c = +/- edge size n^T * (R(o + a v1 + b v2 + c v3) + T) <= d so (R^T n) (a v1 + b v2 + c v3) + n * T <= d check whether d - n * T - (R^T n) (a v1 + b v2 + c v3) >= 0 for some a, b, c the max value of left side is d - n * T + |(R^T n) (a v1 + b v2 + c v3)|, check that is enough More... | |
bool | boxHalfspaceIntersect (const Box &s1, const Transform3f &tf1, const Halfspace &s2, const Transform3f &tf2, FCL_REAL &distance, Vec3f &p1, Vec3f &p2, Vec3f &normal) |
bool | capsuleHalfspaceIntersect (const Capsule &s1, const Transform3f &tf1, const Halfspace &s2, const Transform3f &tf2, FCL_REAL &distance, Vec3f &p1, Vec3f &p2, Vec3f &normal) |
bool | cylinderHalfspaceIntersect (const Cylinder &s1, const Transform3f &tf1, const Halfspace &s2, const Transform3f &tf2, FCL_REAL &distance, Vec3f &p1, Vec3f &p2, Vec3f &normal) |
bool | coneHalfspaceIntersect (const Cone &s1, const Transform3f &tf1, const Halfspace &s2, const Transform3f &tf2, FCL_REAL &distance, Vec3f &p1, Vec3f &p2, Vec3f &normal) |
bool | convexHalfspaceIntersect (const ConvexBase &s1, const Transform3f &tf1, const Halfspace &s2, const Transform3f &tf2, Vec3f *contact_points, FCL_REAL *penetration_depth, Vec3f *normal) |
bool | halfspaceTriangleIntersect (const Halfspace &s1, const Transform3f &tf1, const Vec3f &P1, const Vec3f &P2, const Vec3f &P3, const Transform3f &tf2, FCL_REAL &distance, Vec3f &p1, Vec3f &p2, Vec3f &normal) |
bool | planeHalfspaceIntersect (const Plane &s1, const Transform3f &tf1, const Halfspace &s2, const Transform3f &tf2, Plane &pl, Vec3f &p, Vec3f &d, FCL_REAL &penetration_depth, int &ret) |
return whether plane collides with halfspace if the separation plane of the halfspace is parallel with the plane return code 1, if the plane's normal is the same with halfspace's normal and plane is inside halfspace, also return plane in pl return code 2, if the plane's normal is oppositie to the halfspace's normal and plane is inside halfspace, also return plane in pl plane is outside halfspace, collision-free if not parallel return the intersection ray, return code 3. More... | |
bool | halfspaceIntersect (const Halfspace &s1, const Transform3f &tf1, const Halfspace &s2, const Transform3f &tf2, Vec3f &p, Vec3f &d, Halfspace &s, FCL_REAL &penetration_depth, int &ret) |
@ brief return whether two halfspace intersect if the separation planes of the two halfspaces are parallel return code 1, if two halfspaces' normal are same and s1 is in s2, also return s1 in s; return code 2, if two halfspaces' normal are same and s2 is in s1, also return s2 in s; return code 3, if two halfspaces' normal are opposite and s1 and s2 are into each other; collision free, if two halfspaces' are separate; if the separation planes of the two halfspaces are not parallel, return intersection ray, return code 4. More... | |
template<typename T > | |
T | planeIntersectTolerance () |
template<> | |
double | planeIntersectTolerance< double > () |
template<> | |
float | planeIntersectTolerance< float > () |
bool | spherePlaneIntersect (const Sphere &s1, const Transform3f &tf1, const Plane &s2, const Transform3f &tf2, FCL_REAL &distance, Vec3f &p1, Vec3f &p2, Vec3f &normal) |
bool | boxPlaneIntersect (const Box &s1, const Transform3f &tf1, const Plane &s2, const Transform3f &tf2, FCL_REAL &distance, Vec3f &p1, Vec3f &p2, Vec3f &normal) |
box half space, a, b, c = +/- edge size n^T * (R(o + a v1 + b v2 + c v3) + T) ~ d so (R^T n) (a v1 + b v2 + c v3) + n * T ~ d check whether d - n * T - (R^T n) (a v1 + b v2 + c v3) >= 0 for some a, b, c and <=0 for some a, b, c so need to check whether |d - n * T| <= |(R^T n)(a v1 + b v2 + c v3)|, the reason is as follows: (R^T n) (a v1 + b v2 + c v3) can get |(R^T n) (a v1 + b v2 + c v3)| for one a, b, c. More... | |
bool | boxSphereDistance (const Box &b, const Transform3f &tfb, const Sphere &s, const Transform3f &tfs, FCL_REAL &dist, Vec3f &pb, Vec3f &ps, Vec3f &normal) |
Taken from book Real Time Collision Detection, from Christer Ericson. More... | |
bool | capsulePlaneIntersect (const Capsule &s1, const Transform3f &tf1, const Plane &s2, const Transform3f &tf2, FCL_REAL &distance, Vec3f &p1, Vec3f &p2, Vec3f &normal) |
bool | cylinderPlaneIntersect (const Cylinder &s1, const Transform3f &tf1, const Plane &s2, const Transform3f &tf2, FCL_REAL &distance, Vec3f &p1, Vec3f &p2, Vec3f &normal) |
cylinder-plane intersect n^T (R (r * cosa * v1 + r * sina * v2 + h * v3) + T) ~ d need one point to be positive and one to be negative (n^T * v3) * h + n * T -d + r * (cosa * (n^T * R * v1) + sina * (n^T * R * v2)) ~ 0 (n^T * v3) * h + r * (cosa * (n^T * R * v1) + sina * (n^T * R * v2)) + n * T - d ~ 0 More... | |
bool | conePlaneIntersect (const Cone &s1, const Transform3f &tf1, const Plane &s2, const Transform3f &tf2, FCL_REAL &distance, Vec3f &p1, Vec3f &p2, Vec3f &normal) |
bool | convexPlaneIntersect (const ConvexBase &s1, const Transform3f &tf1, const Plane &s2, const Transform3f &tf2, Vec3f *contact_points, FCL_REAL *penetration_depth, Vec3f *normal) |
bool | planeTriangleIntersect (const Plane &s1, const Transform3f &tf1, const Vec3f &P1, const Vec3f &P2, const Vec3f &P3, const Transform3f &tf2, FCL_REAL &distance, Vec3f &p1, Vec3f &p2, Vec3f &normal) |
bool | halfspacePlaneIntersect (const Halfspace &s1, const Transform3f &tf1, const Plane &s2, const Transform3f &tf2, Plane &pl, Vec3f &p, Vec3f &d, FCL_REAL &penetration_depth, int &ret) |
bool | planeIntersect (const Plane &s1, const Transform3f &tf1, const Plane &s2, const Transform3f &tf2, Vec3f *, FCL_REAL *, Vec3f *) |
FCL_REAL | computePenetration (const Vec3f &P1, const Vec3f &P2, const Vec3f &P3, const Vec3f &Q1, const Vec3f &Q2, const Vec3f &Q3, Vec3f &normal) |
See the prototype below. More... | |
FCL_REAL | computePenetration (const Vec3f &P1, const Vec3f &P2, const Vec3f &P3, const Vec3f &Q1, const Vec3f &Q2, const Vec3f &Q3, const Transform3f &tf1, const Transform3f &tf2, Vec3f &normal) |
Variables | |
static const size_t | EPA_MAX_FACES = 128 |
static const size_t | EPA_MAX_VERTICES = 64 |
static const FCL_REAL | EPA_EPS = 0.000001 |
static const size_t | EPA_MAX_ITERATIONS = 255 |
|
inline |
|
inline |
box half space, a, b, c = +/- edge size n^T * (R(o + a v1 + b v2 + c v3) + T) <= d so (R^T n) (a v1 + b v2 + c v3) + n * T <= d check whether d - n * T - (R^T n) (a v1 + b v2 + c v3) >= 0 for some a, b, c the max value of left side is d - n * T + |(R^T n) (a v1 + b v2 + c v3)|, check that is enough
References hpp::fcl::details::ContactPoint::depth, hpp::fcl::Transform3f::getRotation(), hpp::fcl::Transform3f::getTranslation(), hpp::fcl::Box::halfSide, hpp::fcl::Halfspace::n, hpp::fcl::Halfspace::signedDistance(), and hpp::fcl::transform().
Referenced by sphereHalfspaceIntersect().
|
inline |
find deepest point
compute the contact point from the deepest point
References capsuleHalfspaceIntersect(), hpp::fcl::Transform3f::getRotation(), hpp::fcl::Transform3f::getTranslation(), hpp::fcl::Box::halfSide, hpp::fcl::Halfspace::n, hpp::fcl::Halfspace::signedDistance(), and hpp::fcl::transform().
|
inline |
box half space, a, b, c = +/- edge size n^T * (R(o + a v1 + b v2 + c v3) + T) ~ d so (R^T n) (a v1 + b v2 + c v3) + n * T ~ d check whether d - n * T - (R^T n) (a v1 + b v2 + c v3) >= 0 for some a, b, c and <=0 for some a, b, c so need to check whether |d - n * T| <= |(R^T n)(a v1 + b v2 + c v3)|, the reason is as follows: (R^T n) (a v1 + b v2 + c v3) can get |(R^T n) (a v1 + b v2 + c v3)| for one a, b, c.
if |d - n * T| <= |(R^T n)(a v1 + b v2 + c v3)| then can get both positive and negative value on the right side.
References hpp::fcl::distance(), hpp::fcl::Plane::distance(), hpp::fcl::Transform3f::getRotation(), hpp::fcl::Transform3f::getTranslation(), hpp::fcl::Box::halfSide, hpp::fcl::Plane::n, hpp::fcl::Plane::signedDistance(), and hpp::fcl::transform().
|
inline |
Taken from book Real Time Collision Detection, from Christer Ericson.
pb | the closest point to the sphere center on the box surface |
ps | when colliding, matches pb, which is inside the sphere. when not colliding, the closest point on the sphere |
normal | direction of motion of the box |
References capsulePlaneIntersect(), hpp::fcl::Transform3f::getRotation(), hpp::fcl::Transform3f::getTranslation(), hpp::fcl::Box::halfSide, hpp::fcl::details::ContactPoint::normal, and hpp::fcl::Sphere::radius.
|
inline |
References cylinderHalfspaceIntersect(), hpp::fcl::distance(), hpp::fcl::Transform3f::getRotation(), hpp::fcl::Transform3f::getTranslation(), hpp::fcl::Capsule::halfLength, hpp::fcl::Halfspace::n, hpp::fcl::Capsule::radius, hpp::fcl::Halfspace::signedDistance(), and hpp::fcl::transform().
Referenced by boxHalfspaceIntersect().
|
inline |
References cylinderPlaneIntersect(), hpp::fcl::Transform3f::getRotation(), hpp::fcl::Transform3f::getTranslation(), hpp::fcl::Capsule::halfLength, hpp::fcl::Plane::n, hpp::fcl::details::ContactPoint::normal, hpp::fcl::Capsule::radius, hpp::fcl::Plane::signedDistance(), and hpp::fcl::transform().
Referenced by boxSphereDistance().
|
inline |
References hpp::fcl::details::ContactPoint::depth.
Referenced by boxBox2(), and boxBoxIntersect().
|
inline |
See the prototype below.
Referenced by computePenetration(), and planeIntersect().
|
inline |
References computePenetration(), and hpp::fcl::Transform3f::transform().
|
inline |
References convexHalfspaceIntersect(), hpp::fcl::distance(), hpp::fcl::Transform3f::getRotation(), hpp::fcl::Transform3f::getTranslation(), hpp::fcl::Cone::halfLength, hpp::fcl::Halfspace::n, hpp::fcl::Cone::radius, hpp::fcl::Halfspace::signedDistance(), and hpp::fcl::transform().
Referenced by cylinderHalfspaceIntersect().
|
inline |
|
inline |
References hpp::fcl::details::ContactPoint::depth, halfspaceTriangleIntersect(), hpp::fcl::Halfspace::n, hpp::fcl::ConvexBase::num_points, hpp::fcl::ConvexBase::points, hpp::fcl::Halfspace::signedDistance(), hpp::fcl::Transform3f::transform(), and hpp::fcl::transform().
Referenced by coneHalfspaceIntersect().
|
inline |
|
inlinestatic |
Referenced by boxBox2().
|
inline |
References coneHalfspaceIntersect(), hpp::fcl::distance(), hpp::fcl::Transform3f::getRotation(), hpp::fcl::Transform3f::getTranslation(), hpp::fcl::Cylinder::halfLength, hpp::fcl::Halfspace::n, hpp::fcl::Cylinder::radius, hpp::fcl::Halfspace::signedDistance(), and hpp::fcl::transform().
Referenced by capsuleHalfspaceIntersect().
|
inline |
cylinder-plane intersect n^T (R (r * cosa * v1 + r * sina * v2 + h * v3) + T) ~ d need one point to be positive and one to be negative (n^T * v3) * h + n * T -d + r * (cosa * (n^T * R * v1) + sina * (n^T * R * v2)) ~ 0 (n^T * v3) * h + r * (cosa * (n^T * R * v1) + sina * (n^T * R * v2)) + n * T - d ~ 0
References conePlaneIntersect(), hpp::fcl::Transform3f::getRotation(), hpp::fcl::Transform3f::getTranslation(), hpp::fcl::Cylinder::halfLength, hpp::fcl::Plane::n, hpp::fcl::Cylinder::radius, hpp::fcl::Plane::signedDistance(), and hpp::fcl::transform().
Referenced by capsulePlaneIntersect().
Vec3f hpp::fcl::details::getSupport | ( | const ShapeBase * | shape, |
const Vec3f & | dir, | ||
bool | dirIsNormalized | ||
) |
the support function for shape
Referenced by hpp::fcl::details::MinkowskiDiff::support0(), and hpp::fcl::details::MinkowskiDiff::support1().
|
inline |
@ brief return whether two halfspace intersect if the separation planes of the two halfspaces are parallel return code 1, if two halfspaces' normal are same and s1 is in s2, also return s1 in s; return code 2, if two halfspaces' normal are same and s2 is in s1, also return s2 in s; return code 3, if two halfspaces' normal are opposite and s1 and s2 are into each other; collision free, if two halfspaces' are separate; if the separation planes of the two halfspaces are not parallel, return intersection ray, return code 4.
ray origin is p and direction is d collision free return code 0
References hpp::fcl::Halfspace::d, hpp::fcl::Halfspace::n, and hpp::fcl::transform().
|
inline |
|
inline |
|
inline |
References sphereHalfspaceIntersect().
|
inline |
References planeHalfspaceIntersect(), and planeIntersect().
Referenced by planeTriangleIntersect().
|
inline |
|
static |
Referenced by boxBox2().
|
inlinestatic |
Referenced by boxBox2().
|
inlinestatic |
References sphereCapsuleIntersect().
Referenced by sphereCapsuleDistance(), and sphereCapsuleIntersect().
|
inline |
return whether plane collides with halfspace if the separation plane of the halfspace is parallel with the plane return code 1, if the plane's normal is the same with halfspace's normal and plane is inside halfspace, also return plane in pl return code 2, if the plane's normal is oppositie to the halfspace's normal and plane is inside halfspace, also return plane in pl plane is outside halfspace, collision-free if not parallel return the intersection ray, return code 3.
ray origin is p and direction is d
References hpp::fcl::Halfspace::d, hpp::fcl::Plane::d, hpp::fcl::Halfspace::n, hpp::fcl::Plane::n, and hpp::fcl::transform().
Referenced by halfspacePlaneIntersect(), and halfspaceTriangleIntersect().
|
inline |
References computePenetration(), hpp::fcl::Plane::d, hpp::fcl::Plane::n, and hpp::fcl::transform().
Referenced by halfspacePlaneIntersect().
|
inline |
|
inline |
|
inline |
References spherePlaneIntersect().
|
inline |
References halfspacePlaneIntersect(), hpp::fcl::Plane::n, hpp::fcl::Plane::signedDistance(), hpp::fcl::Transform3f::transform(), and hpp::fcl::transform().
Referenced by convexPlaneIntersect().
|
inline |
Whether a point's projection is in a triangle.
References sphereTriangleIntersect().
Referenced by sphereTriangleIntersect().
|
inline |
the minimum distance from a point to a line
Referenced by sphereSphereDistance(), and sphereTriangleIntersect().
|
inline |
|
inline |
|
inline |
References hpp::fcl::Transform3f::getRotation(), hpp::fcl::Transform3f::getTranslation(), hpp::fcl::Cylinder::halfLength, hpp::fcl::Sphere::radius, hpp::fcl::Cylinder::radius, sphereSphereIntersect(), and hpp::fcl::Transform3f::transform().
Referenced by sphereCapsuleDistance().
|
inline |
|
inline |
|
inline |
|
inline |
References hpp::fcl::Transform3f::getTranslation(), and hpp::fcl::Sphere::radius.
Referenced by sphereCylinderDistance().
|
inline |
References hpp::fcl::Transform3f::getTranslation(), and hpp::fcl::Sphere::radius.
Referenced by sphereTriangleDistance(), and sphereTriangleIntersect().
|
inline |
References sphereTriangleDistance(), and hpp::fcl::Transform3f::transform().
|
inline |
References hpp::fcl::Transform3f::getTranslation(), projectInTriangle(), hpp::fcl::Sphere::radius, segmentSqrDistance(), and sphereTriangleDistance().
Referenced by projectInTriangle().
|
static |
|
static |
|
static |
|
static |