pub struct Uncertified {
pub past: f64,
pub at: Point,
pub found: bool,
}Expand description
What kept a face from being proved within its region.
Fields§
§past: f64How far past the region: the height at at where found, else the
bound over the rectangle the proof could not clear.
at: PointA point of the face standing past outside, or the centre of the
rectangle the proof could not clear.
found: boolWhether at is a point of the face found standing past the fit, as
against one the proof ran out of halvings over.
Trait Implementations§
Source§impl Clone for Uncertified
impl Clone for Uncertified
impl Copy for Uncertified
Source§impl Debug for Uncertified
impl Debug for Uncertified
Source§impl PartialEq for Uncertified
impl PartialEq for Uncertified
impl StructuralPartialEq for Uncertified
Auto Trait Implementations§
impl Freeze for Uncertified
impl RefUnwindSafe for Uncertified
impl Send for Uncertified
impl Sync for Uncertified
impl Unpin for Uncertified
impl UnsafeUnpin for Uncertified
impl UnwindSafe for Uncertified
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> Scalar for T
§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§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 more§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).§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.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.