Module generate

Geometry generation: discrete sweeps plus focused certified trimmed arrangements.

Broad profile/path generators still return explicit meshes. The certified affine surface-pair constructor returns an analytic ExactBRep arrangement with an explicit residual certificate and never substitutes a mesh fallback (ADR 0029).

Modules

boolean_exact

Exact boolean over axis-aligned prisms (#66).

boolean_stepped

Stepped union of two coaxial prisms, as constant-section bands.

bounding

Bounding volumes of 3D point sets (#118): the minimum enclosing sphere and a containing oriented box.

center_line

Centre-line profiles: offset an open path into a closed boundary.

center_line_exact

Exact centre-line offsetting (ADR 0056).

contour_lower

Lower an arbitrary contour profile onto the arc-ring extruder (ADR 0053).

extrude

Linear extrusion of a triangulated profile into a closed solid.

feature

Chamfer and fillet on a straight vertical edge of an exact prism (#68).

fillet_variable

Variable-radius (tapered) fillet blends (ADR 0051).

half_space

Bounding an unbounded half-space against a finite boundary.

hull

Convex hull of a 3D point set, decided by certified predicates (#76).

loft

Lofting a sequence of station rings into a solid.

offset

Constant-distance offset and shelling of planar-faced solids (#78).

polyhedron

Exact boolean over general planar-faced solids (#77).

profile

Profile -> 2D polygon rings, then triangles.

profile_lower

Lower Derived and Composite profiles onto the concrete builders (ADR 0054).

result

Explicit output-model contracts for solid generation.

revolve

Revolution of a profile about an axis.

revolve_contour

General contour revolution (ADR 0059).

revolve_exact

Exact revolution for the profile families exact extrusion already covers.

section_lower

Lower parameterised structural sections into exact contours (ADR 0057).

sweep

The sweep families that place a profile along a path.

trimmed_intersection

Topology-aware integration of certified affine surface intersections.

Structs

CertifiedDualTrimmedSurfacePair3

Validated arrangement for a chord that partitions BOTH patches.

CertifiedSurfacePairSplitOptions

Explicit resource and residual policy for certified topology integration.

CertifiedTrimmedSurfacePair3

Validated analytic B-rep arrangement for one certified finite trace.

Curve2Id

Typed handle into the exact B-rep 2D pcurve catalog.

Curve3Id

Typed handle into the exact B-rep 3D curve catalog.

EmbeddedFaceCurve

A certified edge embedded in a face without pretending it is a closed trim.

ExactBRep

Owned, analytic boundary representation.

ExactBRepBuilder

Mutable assembly state that can only yield an ExactBRep after validation.

SurfaceId

Typed handle into the exact B-rep surface catalog.

TessellationRequest

Explicit tolerance policy for a tessellation request.

Enums

CertifiedSurfacePairSplit3

Certified topology-integration outcome.

ExactBRepError

Why exact B-rep assembly was refused.

GeneratedGeometry

Geometry produced by a generation operation.

GenerationOutput

Coarse output-model classification for capabilities and diagnostics.

GenerationRequest

Requested result model for a generation operation.

SurfacePairMember

Which input surface is partitioned by the certified chord.

SurfacePairSplitUnresolvedReason

Why valid geometry could not be promoted to a closed trimmed arrangement.

Constants

BACKEND_ID

Identity these generators report in diagnostics.

Functions

split_surface_pair_certified

Intersect two supported affine patches and construct a topology-aware trimmed arrangement.

Type Aliases

ExactTopology

Topology whose supports are typed references into ExactBRep catalogs.