pub enum BoolFailureReason {
OperandTooLarge {
polys_a: usize,
polys_b: usize,
},
EmptyOperand,
DegenerateOperand,
NoBoundsOverlap,
KernelOutputInvalid,
SolidSolidDifferenceSkipped,
PolygonalBoundedHalfSpaceFallback,
CutterUnionUnavailable,
UnknownBooleanOperator(String),
ManifoldOutputDegenerate {
host_tris: usize,
result_tris: usize,
},
KernelError(String),
DifferenceEmptiedHost,
}Expand description
Why a boolean operation failed or was skipped.
Variants§
OperandTooLarge
HISTORICAL: at least one operand exceeded the deleted legacy BSP CSG polygon cap. The pure-Rust exact kernel has no operand cap, so this is no longer emitted by the boolean ops; the variant (and its JSON label) is kept for the frozen diagnostics surface and void-router plumbing.
EmptyOperand
One or both operand meshes were empty before polygon extraction.
DegenerateOperand
Polygon extraction yielded an empty list (degenerate / non-finite vertices).
NoBoundsOverlap
Operand bounding boxes don’t overlap. Informational — host returned unchanged.
KernelOutputInvalid
The CSG kernel returned malformed polygons (NaN / non-finite).
SolidSolidDifferenceSkipped
HISTORICAL: solid-vs-solid IfcBooleanResult.DIFFERENCE was not
attempted because the deleted legacy BSP could stack-overflow on
arbitrary solid combinations. No longer emitted — the exact kernel
always attempts the cut. Variant kept for the frozen label surface.
PolygonalBoundedHalfSpaceFallback
IfcPolygonalBoundedHalfSpace prism-subtraction failed; the kernel
fell back to an unbounded plane clip, silently dropping the polygonal
boundary. The clip is applied but is a strict superset of the
requested cut.
The chained-clip cutter prisms couldn’t be unioned into one watertight solid, so the single batched subtract (issue #960) was skipped and the chain fell back to sequential per-cutter subtraction. The cuts are applied, but abutting cutters may leave zero-thickness seam fins that the batched path would have eliminated.
UnknownBooleanOperator(String)
IfcBooleanResult operator string didn’t match any known op.
ManifoldOutputDegenerate
HISTORICAL: the deleted Manifold C++ kernel’s difference returned
output implausibly small relative to the host (a Linux-x86_64-only
pathology). No longer emitted — the deterministic exact kernel
replaced Manifold. Variant kept for the frozen label surface.
KernelError(String)
Catch-all for kernel-specific errors (free-form string).
DifferenceEmptiedHost
IfcBooleanResult.DIFFERENCE produced an empty mesh from a non-empty
host. Almost always a buggy export — a clip plane authored AT the
wall’s top with AgreementFlag = .T. (issue #821, Revit IFC2x3
TallBuilding.ifc) makes the half-space material region exactly cover
the wall body, so the strict-spec subtract yields nothing. The caller
falls back to the un-cut host (matching what BIMVision and similar
viewers do in practice) and records this so the loss surfaces in
diagnostics rather than as a silently missing element.
Implementations§
Trait Implementations§
Source§impl Clone for BoolFailureReason
impl Clone for BoolFailureReason
Source§fn clone(&self) -> BoolFailureReason
fn clone(&self) -> BoolFailureReason
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Debug for BoolFailureReason
impl Debug for BoolFailureReason
Source§impl Display for BoolFailureReason
impl Display for BoolFailureReason
impl Eq for BoolFailureReason
Source§impl PartialEq for BoolFailureReason
impl PartialEq for BoolFailureReason
Source§fn eq(&self, other: &BoolFailureReason) -> bool
fn eq(&self, other: &BoolFailureReason) -> bool
self and other values to be equal, and is used by ==.impl StructuralPartialEq for BoolFailureReason
Auto Trait Implementations§
impl Freeze for BoolFailureReason
impl RefUnwindSafe for BoolFailureReason
impl Send for BoolFailureReason
impl Sync for BoolFailureReason
impl Unpin for BoolFailureReason
impl UnsafeUnpin for BoolFailureReason
impl UnwindSafe for BoolFailureReason
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
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>
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>
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>
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
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
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
self to the equivalent element of its superset.