pub struct LiftProjectCut {
pub pi: Vec<f64>,
pub pi0: f64,
pub source_var: usize,
pub source_row: usize,
pub violation: f64,
}Expand description
A single lift-and-project cut of the form π · x ≥ π₀.
The cut is a valid inequality for the integer hull of the feasible region that is violated by the current LP relaxation solution x̄.
Fields§
§pi: Vec<f64>Cut coefficient vector π ∈ ℝⁿ.
pi0: f64Cut right-hand side π₀ ∈ ℝ. The cut is: π · x ≥ π₀.
source_var: usizeIndex of the fractional variable this cut was generated for.
source_row: usizeIndex of the constraint row used to derive this cut (may refer to an augmented bound row).
violation: f64Violation at the LP solution x̄: positive means x̄ violates the cut.
Trait Implementations§
Source§impl Clone for LiftProjectCut
impl Clone for LiftProjectCut
Source§fn clone(&self) -> LiftProjectCut
fn clone(&self) -> LiftProjectCut
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl Freeze for LiftProjectCut
impl RefUnwindSafe for LiftProjectCut
impl Send for LiftProjectCut
impl Sync for LiftProjectCut
impl Unpin for LiftProjectCut
impl UnsafeUnpin for LiftProjectCut
impl UnwindSafe for LiftProjectCut
Blanket Implementations§
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
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
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>
Converts
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>
Converts
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
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>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
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
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.