Skip to main content

KktVariant

Enum KktVariant 

Source
pub enum KktVariant {
    KOnly,
    WithLPattern,
    WithLValues,
}
Expand description

Payload-detail variant for the kkt dump category.

KOnly (the default) emits only the K matrix and the solve’s RHS/solution. WithLPattern additionally emits the LDLᵀ factor’s strict-lower nonzero pattern (L_irn / L_jcn) and the fill- reducing permutation perm. WithLValues further adds L_vals in the same order as the pattern.

The L fields are emitted in permuted coordinates — the column / row indices reference the permuted system K’ = Pᵀ K P, and the perm array carries the mapping back to original-variable space (perm[k] = original_row for the k-th permuted row).

Backends that don’t expose the factor pattern (e.g. MA57) silently skip the L fields even when this variant requests them.

Variants§

§

KOnly

§

WithLPattern

§

WithLValues

Implementations§

Source§

impl KktVariant

Source

pub fn as_str(self) -> &'static str

Source

pub fn wants_l_pattern(self) -> bool

True if the variant asks for the L pattern (with or without values). Used by the dump site to short-circuit the factor_pattern() call when only K is wanted.

Source

pub fn wants_l_values(self) -> bool

True if the variant asks for the L numerical values.

Trait Implementations§

Source§

impl Clone for KktVariant

Source§

fn clone(&self) -> KktVariant

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl Debug for KktVariant

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl Default for KktVariant

Source§

fn default() -> KktVariant

Returns the “default value” for a type. Read more
Source§

impl PartialEq for KktVariant

Source§

fn eq(&self, other: &KktVariant) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 (const: unstable) · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl Copy for KktVariant

Source§

impl Eq for KktVariant

Source§

impl StructuralPartialEq for KktVariant

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.