Skip to main content

Module rigid_body

Module rigid_body 

Source
Expand description

2D Rigid Body Physics for Proof Engine.

Full dynamics pipeline:

  • Rigid body integration (semi-implicit Euler)
  • Collision shapes: Circle, Box, Polygon, Capsule
  • AABB broad phase
  • SAT narrow phase for convex polygons
  • Sequential impulse solver with position correction
  • Joint constraints: distance, revolute, prismatic, weld, spring
  • Continuous collision detection (sweep test)
  • Raycasting against all shapes
  • Sleeping bodies for performance

Structs§

Aabb2
BodyId
Ccd
ContactManifold
ContactPoint
ImpulseSolver
JointId
PhysicsMaterial
PhysicsWorld2D
The main physics simulation world.
RayCaster
RayHit
RigidBody2D
Sat
Separating Axis Theorem collision detection.

Enums§

BodyType
Joint
Joint connecting two bodies.
Shape
Collision shape definition.

Constants§

GRAVITY