pub struct NotProven {
pub stationarity_rel: f64,
pub primal_residual_rel: f64,
pub bound_violation: f64,
pub complementarity_rel: f64,
pub dual_sign_violation: f64,
pub duality_gap_rel: f64,
pub tol: f64,
pub failing_conditions: Vec<&'static str>,
}Expand description
Reason why crate::qp::certificate::prove_optimal failed to issue an OptimalCertificate.
Contains the observed residuals and the names of the conditions that exceeded tol.
Fields§
§stationarity_rel: f64Stationarity residual observed.
primal_residual_rel: f64Primal residual observed.
bound_violation: f64Bound violation observed.
complementarity_rel: f64Complementarity residual observed.
dual_sign_violation: f64Dual-sign violation observed.
duality_gap_rel: f64Duality-gap residual observed.
tol: f64Tolerance against which residuals were compared.
failing_conditions: Vec<&'static str>Names of conditions that exceeded tol.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for NotProven
impl RefUnwindSafe for NotProven
impl Send for NotProven
impl Sync for NotProven
impl Unpin for NotProven
impl UnsafeUnpin for NotProven
impl UnwindSafe for NotProven
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> DistributionExt for Twhere
T: ?Sized,
impl<T> DistributionExt for Twhere
T: ?Sized,
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 more