pub struct ActiveRowDependence {
pub active_pos: usize,
pub coeff: f64,
}Expand description
One dependent row of the WORKING SET expressed against its representative:
a_dep ≈ coeff · a_rep.
Recorded ONLY for exactly-parallel (positively-aligned scalar-multiple) dependents; a general-position dependent is dropped from the working set with NO entry and re-enters via the next feasibility scan (it never receives a distributed/phantom multiplier).
active_pos is an ACTIVE-SET POSITION: an index into the caller’s active
slice, so the original constraint id is active[active_pos] (see
[compress_active_working_set], which seeds groups with exactly these
positions). It is NOT a constraint-row id and NOT a coefficient index. The
reduced-face op reports its dependents in constraint-row space instead and
therefore uses its own ConstraintRowDependence — the two must not be
interchanged.
Fields§
§active_pos: usize§coeff: f64Trait Implementations§
Source§impl Clone for ActiveRowDependence
impl Clone for ActiveRowDependence
Source§fn clone(&self) -> ActiveRowDependence
fn clone(&self) -> ActiveRowDependence
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreimpl Copy for ActiveRowDependence
Auto Trait Implementations§
impl Freeze for ActiveRowDependence
impl RefUnwindSafe for ActiveRowDependence
impl Send for ActiveRowDependence
impl Sync for ActiveRowDependence
impl Unpin for ActiveRowDependence
impl UnsafeUnpin for ActiveRowDependence
impl UnwindSafe for ActiveRowDependence
Blanket Implementations§
impl<T> Allocation for T
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> DistributionExt for Twhere
T: ?Sized,
impl<T> DistributionExt for Twhere
T: ?Sized,
impl<T, U> Imply<T> for U
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
impl<T> Read<Exclusive, BecauseExclusive> for Twhere
T: ?Sized,
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
self to the equivalent element of its superset.