Enum MeshIntersectionError

Source
pub enum MeshIntersectionError {
    MissingTopology,
    MissingPseudoNormals,
    TriTriError,
    DuplicateVertices,
    TriangulationError,
    TriMeshBuilderError(TriMeshBuilderError),
}
Expand description

Errors that can occur when computing the boolean intersection of two triangle meshes.

The intersect_meshes function computes the geometric intersection of two triangle meshes, producing a new mesh that represents their overlapping volume. This operation requires both input meshes to have certain properties and can fail for various reasons.

§Prerequisites for Mesh Intersection

Both input meshes must have:

  1. Topology information: Half-edge data structure for adjacency information
  2. Pseudo-normals: For robust inside/outside testing

These are enabled by setting the TriMeshFlags::ORIENTED flag when creating the mesh.

Variants§

§

MissingTopology

One or both meshes are missing topology information.

Mesh intersection requires half-edge topology data to determine adjacency relationships between triangles. This information is automatically computed when you create a mesh with the TriMeshFlags::ORIENTED flag.

§How to Fix

// Instead of:
// let mesh = TriMesh::new(vertices, indices)?;

// Use ORIENTED flag:
let mesh = TriMesh::with_flags(
    vertices,
    indices,
    TriMeshFlags::ORIENTED
).unwrap();

§Alternative

You can also add topology to an existing mesh:

let mut mesh = TriMesh::new(vertices, indices).unwrap();
mesh.set_flags(TriMeshFlags::ORIENTED).unwrap();
§

MissingPseudoNormals

One or both meshes are missing pseudo-normal information.

Pseudo-normals are weighted normals used for robust point-in-mesh testing, which is essential for determining which parts of the meshes are inside or outside each other during intersection. They are computed when using the TriMeshFlags::ORIENTED flag.

§Background

Mesh intersection needs to determine which triangles from each mesh are inside, outside, or intersecting the other mesh. This requires reliable point containment tests, which use pseudo-normals as described in:

“Signed distance computation using the angle weighted pseudonormal” by Baerentzen et al., DOI: 10.1109/TVCG.2005.49

§How to Fix

Use the same solution as MissingTopology - create your meshes with TriMeshFlags::ORIENTED.

§

TriTriError

Internal failure while computing the intersection between two triangles.

This error occurs when the triangle-triangle intersection algorithm encounters a case it cannot handle, typically due to:

  • Degenerate triangles (zero area, collinear vertices)
  • Numerical precision issues with nearly-parallel triangles
  • Edge cases in the intersection geometry

§What to Try

§

DuplicateVertices

Internal failure while merging vertices from triangle intersections.

After computing triangle-triangle intersections, the algorithm merges nearby vertices to create a clean mesh. This error occurs when the merging process detects inconsistencies, usually caused by:

  • Numerical precision issues causing vertices to appear in wrong positions
  • Complex intersection patterns that create ambiguous vertex relationships

§What to Try

  • Use intersect_meshes_with_tolerances with larger tolerances
  • Simplify your input meshes if they have very high triangle counts
  • Check for and remove nearly-degenerate triangles
§

TriangulationError

Internal failure while triangulating an intersection face.

The intersection of two meshes can create non-triangular polygonal faces that must be triangulated. This error occurs when the triangulation algorithm fails, typically due to:

  • Self-intersecting intersection polygons
  • Numerical issues creating invalid polygon geometry
  • Very complex intersection patterns

This often happens with grazing intersections or when meshes have very different triangle sizes at the intersection boundary.

§

TriMeshBuilderError(TriMeshBuilderError)

The resulting intersection mesh could not be constructed.

After computing all triangle intersections and creating the intersection geometry, the final mesh construction failed. This wraps errors from TriMeshBuilderError and typically indicates:

  • The intersection resulted in invalid mesh topology
  • No triangles in the intersection (meshes don’t overlap)
  • Topology violations in the computed intersection

See TriMeshBuilderError for details on the specific failure.

Trait Implementations§

Source§

impl Clone for MeshIntersectionError

Source§

fn clone(&self) -> MeshIntersectionError

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for MeshIntersectionError

Source§

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

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

impl Display for MeshIntersectionError

Source§

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

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

impl Error for MeshIntersectionError

1.30.0 · Source§

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any. Read more
1.0.0 · Source§

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()
1.0.0 · Source§

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting
Source§

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)
Provides type-based access to context intended for error reports. Read more
Source§

impl From<TriMeshBuilderError> for MeshIntersectionError

Source§

fn from(value: TriMeshBuilderError) -> Self

Converts to this type from the input type.
Source§

impl PartialEq for MeshIntersectionError

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · 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 MeshIntersectionError

Source§

impl Eq for MeshIntersectionError

Source§

impl StructuralPartialEq for MeshIntersectionError

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> Downcast for T
where T: Any,

Source§

fn into_any(self: Box<T>) -> Box<dyn Any>

Converts Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>, which can then be downcast into Box<dyn ConcreteType> where ConcreteType implements Trait.
Source§

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>

Converts Rc<Trait> (where Trait: Downcast) to Rc<Any>, which can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.
Source§

fn as_any(&self) -> &(dyn Any + 'static)

Converts &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.
Source§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Converts &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.
Source§

impl<T> DowncastSend for T
where T: Any + Send,

Source§

fn into_any_send(self: Box<T>) -> Box<dyn Any + Send>

Converts Box<Trait> (where Trait: DowncastSend) to Box<dyn Any + Send>, which can then be downcast into Box<ConcreteType> where ConcreteType implements Trait.
Source§

impl<T> DowncastSync for T
where T: Any + Send + Sync,

Source§

fn into_any_sync(self: Box<T>) -> Box<dyn Any + Sync + Send>

Converts Box<Trait> (where Trait: DowncastSync) to Box<dyn Any + Send + Sync>, which can then be downcast into Box<ConcreteType> where ConcreteType implements Trait.
Source§

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Sync + Send>

Converts Arc<Trait> (where Trait: DowncastSync) to Arc<Any>, which can then be downcast into Arc<ConcreteType> where ConcreteType implements Trait.
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
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> IntoEither for T

Source§

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

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

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

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<SS, SP> SupersetOf<SS> for SP
where SS: SubsetOf<SP>,

Source§

fn to_subset(&self) -> Option<SS>

The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more
Source§

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

Use with care! Same as self.to_subset but without any property checks. Always succeeds.
Source§

fn from_subset(element: &SS) -> SP

The inclusion map: converts self to the equivalent element of its superset.
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> ToString for T
where T: Display + ?Sized,

Source§

fn to_string(&self) -> String

Converts the given value to a String. 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.
Source§

impl<T> Scalar for T
where T: 'static + Clone + PartialEq + Debug,