Expand description

Non-persistent geometric queries.

General cases

The most general methods provided by this module are:

  • [query::closest_points()] to compute the closest points between two shapes.
  • [query::distance()] to compute the distance between two shapes.
  • [query::contact()] to compute one pair of contact points between two shapes, including penetrating contact.
  • [query::proximity()] to determine if two shapes are intersecting or not.
  • [query::time_of_impact()] to determine when two shapes undergoing translational motions hit for the first time.
  • [query::nonlinear_time_of_impact()] to determine when two shapes undergoing continuous rigid motions hit for the first time.

Ray-casting and point-projection can be achieved by importing traits:

  • [query::RayCast] for ray-casting.
  • [query::PointQuery] for point projection.

Specific cases

All the other functions exported by this module are more specific versions of the ones described above. For example distance_ball_ball computes the distance between two shapes known at compile-time to be balls. They are less convenient to use than the most generic version but will be slightly faster due to the lack of dynamic dispatch. Generally, the specific functions have the form [operation]_[shape1]_[shape2]() where:

  • [operation] can be closest_points, distance, contact, proximity or time_of_impact.
  • [shape1] is the type of the first shape passed to the function, e.g., ball, or plane. Can also identify a trait implemented by supported shapes, e.g., support_map.
  • [shape2] is the type of the second shape passed to the function, e.g., ball, or plane. Can also identify a trait implemented by supported shapes, e.g., support_map.

Modules

Algorithms needed for distance and penetration depth computation.

Visitors for performing geometric queries exploiting spatial partitioning data structures.

Structs

The composition of two dispatchers

Geometric description of a contact.

A contact identifier which is unique within a contact manifold.

Local contact kinematic of a pair of solids around two given points.

A contact manifold.

The prediction parameters for contact determination.

A dispatcher that exposes built-in queries

The approximation of a shape on the neighborhood of a point.

Description of the projection of a point on a shape.

A Ray.

Structure containing the result of a successful ray cast.

The result of a time-of-impact (TOI) computation.

A contact combined with contact kinematic information as well as a persistent identifier.

Error indicating that a query is not supported between certain shapes

Enums

Closest points information.

The technique used for contact tracking.

A shape geometry type at the neighborhood of a point.

Proximity information.

The status of the time-of-impact computation algorithm.

Traits

Pre-process a contact before it is added to a contact manifold.

Trait of objects that can be tested for point inclusion and projection.

Returns shape-specific info in addition to generic projection information

Traits of objects which can be transformed and tested for intersection with a ray.

Dispatcher for time-of-impact queries

Functions

Computes the pair of closest points between two shapes.

Proximity between balls.

Closest points between a composite shape and any other shape.

Closest points between two segments.

Closest points between two lines.

Closest points between two lines with a custom tolerance epsilon.

Closest points between a plane and a support-mapped shape (Cuboid, ConvexHull, etc.)

Closest points between segments.

Closest points between two segments.

Segment-segment closest points computation in an arbitrary dimension.

Segment-segment closest points computation in an arbitrary dimension.

Closest points between a shape and a composite shape.

Closest points between a support-mapped shape (Cuboid, ConvexHull, etc.) and a plane.

Closest points between support-mapped shapes (Cuboid, ConvexHull, etc.)

Closest points between support-mapped shapes (Cuboid, ConvexHull, etc.)

Computes one contact point between two shapes.

Contact between balls.

Contact between a ball and a convex polyhedron.

Best contact between a composite shape (Mesh, Compound) and any other shape.

Contact between a convex polyhedron and a ball.

Contact between a plane and a support-mapped shape (Cuboid, ConvexHull, etc.)

Best contact between a shape and a composite (Mesh, Compound) shape.

Contact between a support-mapped shape (Cuboid, ConvexHull, etc.) and a plane.

Contact between support-mapped shapes (Cuboid, ConvexHull, etc.)

Contact between support-mapped shapes (Cuboid, ConvexHull, etc.)

Computes the minimum distance separating two shapes.

Distance between balls.

Smallest distance between a composite shape and any other shape.

Distance between a plane and a support-mapped shape.

Smallest distance between a shape and a composite shape.

Distance between a support-mapped shape and a plane.

Distance between support-mapped shapes.

Distance between support-mapped shapes.

Computes the toi of an unbounded line with a plane described by its center and normal.

Computes the smallest time of impact of two shapes under translational movement.

Non-linear Time Of Impact of two balls under a rigid motion (translation + rotation).

Time Of Impact of a composite shape with any other shape, under a rigid motion (translation + rotation).

Time Of Impact of any shape with a composite shape, under a rigid motion (translation + rotation).

Time of impacts between two support-mapped shapes under a rigid motion.

Time of impacts between two support-mapped shapes under a rigid motion.

Projects a point on a shape using the GJK algorithm.

Tests whether two shapes are in intersecting or separated by a distance smaller than margin.

Proximity between balls.

Proximity between a composite shape (Mesh, Compound) and any other shape.

Proximity between a plane and a support-mapped shape (Cuboid, ConvexHull, etc.)

Proximity between a shape and a composite (Mesh, Compound) shape.

Proximity between a support-mapped shape (Cuboid, ConvexHull, etc.) and a plane.

Proximity between support-mapped shapes (Cuboid, ConvexHull, etc.)

Proximity between support-mapped shapes (Cuboid, ConvexHull, etc.)

Cast a ray on a shape using the GJK algorithm.

Computes the time of impact of a ray on a ball.

Computes the toi of a ray with a plane described by its center and normal.

Computes the smallest time at with two shapes under translational movement are separated by a distance smaller or equal to distance.

Time Of Impact of two balls under translational movement.

Time Of Impact of a composite shape with any other shape, under translational movement.

Time Of Impact of a plane with a support-mapped shape under translational movement.

Time Of Impact of any shape with a composite shape, under translational movement.

Time Of Impact of a plane with a support-mapped shape under translational movement.

Time of impacts between two support-mapped shapes under translational movement.