pub fn boolean_arc_prisms_exact(
subject: &ArcPrism,
tool: &ArcPrism,
operator: BooleanOperator,
tolerance: Tolerance,
) -> GeomResult<ExactBRep>Expand description
Exact boolean of two coaxial prisms whose sections may contain arcs.
§What is exact here
The height reduction is identical to boolean_prisms_exact: a
coaxial boolean is the planar boolean of the sections crossed with the
boolean of the height intervals. Arc edges survive as arcs, so a
cylindrical wall stays a Cylinder face rather than becoming a fan of
planar strips.
The planar part is the exact arc overlay (ADR 0070): every
topological decision is exact for the given input, and crossing points
of two curves are rounded to f64 once, in the output. Results may
carry holes (through-openings) and may start above z = 0.
§Refused
A result with several disconnected regions (one ExactBRep is one
solid; boolean_arc_prisms_exact_solids returns every piece). A
cavity comes back as a void shell of the solid. Other stepped spans are
built as in boolean_prisms_exact, with cylindrical walls split at
the step heights.