use na::{DVector, RealField, Unit};
use std::ops::Range;
use crate::joint::{unit_constraint, JointConstraint};
use crate::math::{AngularVector, Point, Vector, DIM, SPATIAL_DIM};
use crate::object::{BodyHandle, BodyPartHandle, BodySet};
use crate::solver::helper;
use crate::solver::{
GenericNonlinearConstraint, IntegrationParameters, LinearConstraints,
NonlinearConstraintGenerator,
};
pub struct PrismaticConstraint<N: RealField, Handle: BodyHandle> {
b1: BodyPartHandle<Handle>,
b2: BodyPartHandle<Handle>,
anchor1: Point<N>,
anchor2: Point<N>,
axis1: Unit<Vector<N>>,
lin_impulses: Vector<N>,
ang_impulses: AngularVector<N>,
break_torque_squared: N,
break_force_squared: N,
broken: bool,
limit_impulse: N,
bilateral_ground_rng: Range<usize>,
bilateral_rng: Range<usize>,
min_offset: Option<N>,
max_offset: Option<N>,
}
impl<N: RealField, Handle: BodyHandle> PrismaticConstraint<N, Handle> {
pub fn new(
b1: BodyPartHandle<Handle>,
b2: BodyPartHandle<Handle>,
anchor1: Point<N>,
axis1: Unit<Vector<N>>,
anchor2: Point<N>,
) -> Self {
let min_offset = None;
let max_offset = None;
PrismaticConstraint {
b1,
b2,
anchor1,
anchor2,
axis1,
lin_impulses: Vector::zeros(),
ang_impulses: AngularVector::zeros(),
break_force_squared: N::max_value(),
break_torque_squared: N::max_value(),
broken: false,
limit_impulse: N::zero(),
bilateral_ground_rng: 0..0,
bilateral_rng: 0..0,
min_offset,
max_offset,
}
}
pub fn set_break_force(&mut self, break_force: N) {
self.break_force_squared = break_force * break_force;
}
pub fn set_break_torque(&mut self, break_torque: N) {
self.break_torque_squared = break_torque * break_torque;
}
pub fn min_offset(&self) -> Option<N> {
self.min_offset
}
pub fn max_offset(&self) -> Option<N> {
self.max_offset
}
pub fn disable_min_offset(&mut self) {
self.min_offset = None;
}
pub fn disable_max_offset(&mut self) {
self.max_offset = None;
}
pub fn enable_min_offset(&mut self, limit: N) {
self.min_offset = Some(limit);
self.assert_limits();
}
pub fn enable_max_offset(&mut self, limit: N) {
self.max_offset = Some(limit);
self.assert_limits();
}
fn assert_limits(&self) {
if let (Some(min_offset), Some(max_offset)) = (self.min_offset, self.max_offset) {
assert!(
min_offset <= max_offset,
"RevoluteJoint constraint limits: the min angle must be larger than (or equal to) the max angle.");
}
}
}
impl<N: RealField, Handle: BodyHandle> JointConstraint<N, Handle>
for PrismaticConstraint<N, Handle>
{
fn is_broken(&self) -> bool {
self.broken
}
fn num_velocity_constraints(&self) -> usize {
(SPATIAL_DIM - 1) + 2
}
fn anchors(&self) -> (BodyPartHandle<Handle>, BodyPartHandle<Handle>) {
(self.b1, self.b2)
}
fn velocity_constraints(
&mut self,
_: &IntegrationParameters<N>,
bodies: &dyn BodySet<N, Handle = Handle>,
ext_vels: &DVector<N>,
ground_j_id: &mut usize,
j_id: &mut usize,
jacobians: &mut [N],
constraints: &mut LinearConstraints<N, usize>,
) {
let body1 = try_ret!(bodies.get(self.b1.0));
let body2 = try_ret!(bodies.get(self.b2.0));
let part1 = try_ret!(body1.part(self.b1.1));
let part2 = try_ret!(body2.part(self.b2.1));
let pos1 = body1.position_at_material_point(part1, &self.anchor1);
let pos2 = body2.position_at_material_point(part2, &self.anchor2);
let anchor1 = Point::from(pos1.translation.vector);
let anchor2 = Point::from(pos2.translation.vector);
let assembly_id1 = body1.companion_id();
let assembly_id2 = body2.companion_id();
let first_bilateral_ground = constraints.bilateral_ground.len();
let first_bilateral = constraints.bilateral.len();
let axis = pos1 * self.axis1;
helper::restrict_relative_linear_velocity_to_axis(
body1,
part1,
self.b1,
body2,
part2,
self.b2,
assembly_id1,
assembly_id2,
&anchor1,
&anchor2,
&axis,
ext_vels,
self.lin_impulses.as_slice(),
0,
ground_j_id,
j_id,
jacobians,
constraints,
);
helper::cancel_relative_angular_velocity(
body1,
part1,
self.b1,
body2,
part2,
self.b2,
assembly_id1,
assembly_id2,
&anchor1,
&anchor2,
ext_vels,
&self.ang_impulses,
DIM - 1,
ground_j_id,
j_id,
jacobians,
constraints,
);
unit_constraint::build_linear_limits_velocity_constraint(
body1,
part1,
self.b1,
body2,
part2,
self.b2,
assembly_id1,
assembly_id2,
&anchor1,
&anchor2,
&axis,
self.min_offset,
self.max_offset,
ext_vels,
self.limit_impulse,
SPATIAL_DIM - 1,
ground_j_id,
j_id,
jacobians,
constraints,
);
self.bilateral_ground_rng = first_bilateral_ground..constraints.bilateral_ground.len();
self.bilateral_rng = first_bilateral..constraints.bilateral.len();
}
fn cache_impulses(&mut self, constraints: &LinearConstraints<N, usize>, inv_dt: N) {
for c in &constraints.bilateral_ground[self.bilateral_ground_rng.clone()] {
if c.impulse_id < DIM - 1 {
self.lin_impulses[c.impulse_id] = c.impulse;
} else if c.impulse_id < SPATIAL_DIM - 1 {
self.ang_impulses[c.impulse_id + 1 - DIM] = c.impulse;
} else {
self.limit_impulse = c.impulse
}
}
for c in &constraints.bilateral[self.bilateral_rng.clone()] {
if c.impulse_id < DIM - 1 {
self.lin_impulses[c.impulse_id] = c.impulse;
} else if c.impulse_id < SPATIAL_DIM - 1 {
self.ang_impulses[c.impulse_id + 1 - DIM] = c.impulse;
} else {
self.limit_impulse = c.impulse
}
}
let inv_dt2 = inv_dt * inv_dt;
if self.lin_impulses.norm_squared() * inv_dt2 > self.break_force_squared
|| self.ang_impulses.norm_squared() * inv_dt2 > self.break_torque_squared
{
self.broken = true;
}
}
}
impl<N: RealField, Handle: BodyHandle> NonlinearConstraintGenerator<N, Handle>
for PrismaticConstraint<N, Handle>
{
fn num_position_constraints(&self, bodies: &dyn BodySet<N, Handle = Handle>) -> usize {
if self.is_active(bodies) {
if self.min_offset.is_some() || self.max_offset.is_some() {
3
} else {
2
}
} else {
0
}
}
fn position_constraint(
&self,
parameters: &IntegrationParameters<N>,
i: usize,
bodies: &mut dyn BodySet<N, Handle = Handle>,
jacobians: &mut [N],
) -> Option<GenericNonlinearConstraint<N, Handle>> {
let body1 = bodies.get(self.b1.0)?;
let body2 = bodies.get(self.b2.0)?;
let part1 = body1.part(self.b1.1)?;
let part2 = body2.part(self.b2.1)?;
let pos1 = body1.position_at_material_point(part1, &self.anchor1);
let pos2 = body2.position_at_material_point(part2, &self.anchor2);
let anchor1 = Point::from(pos1.translation.vector);
let anchor2 = Point::from(pos2.translation.vector);
if i == 0 {
return helper::cancel_relative_rotation(
parameters,
body1,
part1,
self.b1,
body2,
part2,
self.b2,
&anchor1,
&anchor2,
&pos1.rotation,
&pos2.rotation,
jacobians,
);
} else if i == 1 {
let axis = pos1 * self.axis1;
return helper::project_anchor_to_axis(
parameters, body1, part1, self.b1, body2, part2, self.b2, &anchor1, &anchor2,
&axis, jacobians,
);
} else if i == 2 {
let axis = pos1 * self.axis1;
return unit_constraint::build_linear_limits_position_constraint(
parameters,
body1,
part1,
self.b1,
body2,
part2,
self.b2,
&anchor1,
&anchor2,
&axis,
self.min_offset,
self.max_offset,
jacobians,
);
}
return None;
}
}