pub struct MinimizeOutcome {
pub x_hat: Vec<f64>,
pub steps: usize,
pub claim: MinimizeClaim,
pub subopt: f64,
}Expand description
One settled, certified quadratic minimization.
Fields§
§x_hat: Vec<f64>§steps: usize§claim: MinimizeClaimThe theorem-checked claim (proof::relax_replay::check_minimize_claim).
subopt: f64f64 view of the exact suboptimality bound.
Trait Implementations§
Source§impl Clone for MinimizeOutcome
impl Clone for MinimizeOutcome
Source§fn clone(&self) -> MinimizeOutcome
fn clone(&self) -> MinimizeOutcome
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for MinimizeOutcome
impl Debug for MinimizeOutcome
Source§impl PartialEq for MinimizeOutcome
impl PartialEq for MinimizeOutcome
impl StructuralPartialEq for MinimizeOutcome
Auto Trait Implementations§
impl Freeze for MinimizeOutcome
impl RefUnwindSafe for MinimizeOutcome
impl Send for MinimizeOutcome
impl Sync for MinimizeOutcome
impl Unpin for MinimizeOutcome
impl UnsafeUnpin for MinimizeOutcome
impl UnwindSafe for MinimizeOutcome
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,
§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Convert
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can
then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Convert
Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be
further downcast into Rc<ConcreteType> where ConcreteType implements Trait.§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Convert
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Convert
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.