pub enum StationarityClass {
S,
W,
None,
NotSearched,
}Expand description
The stationarity class a point was shown to satisfy; see certify.
Variants§
S
Strong stationarity: a KKT point of the tightened NLP, B-stationary under MPCC-LICQ. The strongest first-order statement there is.
W
Weak stationarity only: multipliers reproduce ∇f, but every
admissible choice puts a negative sign on some biactive pair, so the
point admits a first-order descent direction along a branch.
None
No multipliers reproduce ∇f to the tolerance: not a stationary
point of the model (or a pair is not complementary at all).
NotSearched
Not determined; nothing is claimed. The multipliers are not unique
and the set is too large to search: more than MAX_DENSE_ENTRIES
entries in the system, or more than MAX_SEARCHED_COLUMNS
sign-constrained columns. Also reported if the sparse factorization
fails outright.
Trait Implementations§
Source§impl Clone for StationarityClass
impl Clone for StationarityClass
impl Copy for StationarityClass
Source§impl Debug for StationarityClass
impl Debug for StationarityClass
impl Eq for StationarityClass
Source§impl PartialEq for StationarityClass
impl PartialEq for StationarityClass
impl StructuralPartialEq for StationarityClass
Auto Trait Implementations§
impl Freeze for StationarityClass
impl RefUnwindSafe for StationarityClass
impl Send for StationarityClass
impl Sync for StationarityClass
impl Unpin for StationarityClass
impl UnsafeUnpin for StationarityClass
impl UnwindSafe for StationarityClass
Blanket Implementations§
impl<T> Boilerplate 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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T, U> Imply<T> for U
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> ⓘ
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 more