pub struct FdeSppOptions {
pub fde: FdeOptions,
pub validation: SolutionValidationOptions,
}Expand description
Options for fde_spp: the RAIM-gated exclusion loop plus the per-iteration
solution-validation gates applied to each candidate solve.
Fields§
§fde: FdeOptionsFDE loop options: the RAIM configuration and the exclusion budget.
validation: SolutionValidationOptionsPer-iteration solution-validation gates (PDOP ceiling and plausibility band) applied to each candidate solution.
Trait Implementations§
Source§impl Clone for FdeSppOptions
impl Clone for FdeSppOptions
Source§fn clone(&self) -> FdeSppOptions
fn clone(&self) -> FdeSppOptions
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 moreSource§impl Debug for FdeSppOptions
impl Debug for FdeSppOptions
Source§impl PartialEq for FdeSppOptions
impl PartialEq for FdeSppOptions
Source§fn eq(&self, other: &FdeSppOptions) -> bool
fn eq(&self, other: &FdeSppOptions) -> bool
Tests for
self and other values to be equal, and is used by ==.impl StructuralPartialEq for FdeSppOptions
Auto Trait Implementations§
impl Freeze for FdeSppOptions
impl RefUnwindSafe for FdeSppOptions
impl Send for FdeSppOptions
impl Sync for FdeSppOptions
impl Unpin for FdeSppOptions
impl UnsafeUnpin for FdeSppOptions
impl UnwindSafe for FdeSppOptions
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> 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
impl<T> Scalar 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.