Skip to main content

SelfIntersectionReport

Struct SelfIntersectionReport 

Source
pub struct SelfIntersectionReport {
Show 16 fields pub certified_pairs: Vec<CertifiedFacePair>, pub skipped_by_certificate: Option<CertificateScope>, pub certificate: Option<&'static str>, pub triangles: usize, pub candidate_pairs: usize, pub confirmed: Vec<FaceCrossing>, pub rejected: usize, pub undecided: usize, pub undecided_pairs: Vec<UndecidedCrossing>, pub resolved_clear: usize, pub same_face_candidates: usize, pub folds: Vec<FaceFold>, pub fold_rejected: usize, pub fold_undecided: usize, pub truncated: bool, pub options: SelfIntersectionOptions,
}
Expand description

Fields§

§certified_pairs: Vec<CertifiedFacePair>§skipped_by_certificate: Option<CertificateScope>§certificate: Option<&'static str>

The whole-body proof that stood in for the scan, when one did: the counters below then read zero because no mesh was built, and this names why, so a caller can still tell a proved-clean body from a scan that never ran.

§triangles: usize§candidate_pairs: usize

Triangle pairs whose boxes overlapped and that survived the welded- vertex skip — the work the exact confirmation was offered.

§confirmed: Vec<FaceCrossing>

Mesh crossings between DISTINCT faces that the exact-surface straddle test confirmed, one entry per face pair (deepest kept).

§rejected: usize

Mesh crossings between distinct faces the straddle test REJECTED — tangent neighbours and chord error. A large number here beside zero confirmations is the detector working, not failing.

§undecided: usize

Mesh crossings whose confirmation could not be evaluated (the witness is not a point both faces own, or a projection or a normal failed) and that the carriers did not settle either when asked again on their exact geometry (resolve.rs). Never counted as either verdict; a caller that accepts a body must not read zero confirmed beside a nonzero count here as clean.

§undecided_pairs: Vec<UndecidedCrossing>

The first MAX_LISTED_UNDECIDED of those, with their faces and cause.

§resolved_clear: usize

Candidates the mesh confirmation left undecided that the carriers then CLEARED: every point of the carriers’ common curve near the crossing lies on an edge both faces share, or outside a trim.

§same_face_candidates: usize

Mesh crossings between two triangles of ONE face: the candidates the fold confirmation was offered. A candidate is not a defect — a sharply curved face’s chords cross each other without the face folding.

§folds: Vec<FaceFold>

Faces confirmed to FOLD THROUGH THEMSELVES in 3D, one entry per FACE (the widest-separated hit kept). The face is the stable unit: a fold region produces as many triangle pairs as the mesh happens to have there, and a denser mesh would rewrite that number without the face being any more or less folded.

§fold_rejected: usize

Same-face candidates the fold confirmation REJECTED — the two feet came back within one tessellation cell of each other (chord error on a tight curve), or their normals were parallel (a pole). A large number here beside zero folds is the confirmation working, not failing.

§fold_undecided: usize

Same-face candidates whose confirmation could not be evaluated: a projection, a normal or a containment query failed, or a corner did not come back onto its own carrier. Never counted as either verdict, and a caller must not read an empty folds beside a large one of these as “no folds”.

§truncated: bool

The mesh exceeded max_triangles and was not scanned.

§options: SelfIntersectionOptions

Implementations§

Source§

impl SelfIntersectionReport

Source

pub fn is_flagged(&self) -> bool

The predicate for a caller that has opted into this check: the solid passes through itself — two faces crossing, or ONE face folded through itself. Both are the same defect to a caller deciding whether to accept a result, so both are in the predicate.

Source

pub fn summary(&self) -> Option<String>

One line naming the worst crossing or fold, or None when nothing was confirmed.

Source

pub fn fold_summary(&self) -> Option<String>

One line naming the worst FOLD, or None when no face folded.

Trait Implementations§

Source§

impl Clone for SelfIntersectionReport

Source§

fn clone(&self) -> Self

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 SelfIntersectionReport

Source§

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

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

impl Serialize for SelfIntersectionReport

Source§

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>
where __S: Serializer,

Serialize this value into the given Serde serializer. Read more

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 = !

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

fn try_from(value: U) -> Result<T, !>

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.
Source§

impl<S, T> Upcast<T> for S
where T: UpcastFrom<S> + ?Sized, S: ?Sized,

Source§

fn upcast(&self) -> &T
where Self: ErasableGeneric, T: Sized + ErasableGeneric<Repr = Self::Repr>,

Perform a zero-cost type-safe upcast to a wider ref type within the Wasm bindgen generics type system. Read more
Source§

fn upcast_into(self) -> T
where Self: Sized + ErasableGeneric, T: Sized + ErasableGeneric<Repr = Self::Repr>,

Perform a zero-cost type-safe upcast to a wider type within the Wasm bindgen generics type system. Read more