Struct ReferenceExactCompiler 

pub struct ReferenceExactCompiler;

Scalar reference implementation of the exact-compilation capability.

Implementations

impl ReferenceExactCompiler

pub const ID: BackendId

Stable identity of this backend.

pub const fn new() -> Self

Construct the reference exact compiler.

pub fn compile_exact_with_report( &self, graph: &GeometryGraph, root: NodeId, options: &ExecutionOptions, ) -> GeomResult<(ExactBRep, BooleanReport)>

ExactCompiler::compile_exact, with the within-tolerance decisions the body’s booleans took (#236), merged over every boolean in its graph (each kind once, with its worst magnitude).

An exact report (BooleanReport::is_exact) means no boolean read anything within the tolerance: the body is the exact boolean of its operands as given, and may be cited as exact. Otherwise it is the exact result of operands moved by at most BooleanReport::linear and turned by at most BooleanReport::angular, and a consumer must widen distances by that much. Bodies without booleans, and the integer-exact prism path, always report exact.

Either way, constructed points closer than BooleanReport::rounding_floor count as one point and are not reported, so a consumer widens distances by that floor too (#244). The merged floor is the largest floor of any boolean or clip beneath the body; an instance is rigid and keeps its source’s floor, in model units, unchanged. Zero means no general boolean or clip ran.

Errors

As ExactCompiler::compile_exact.

pub fn compile_exact_batch_with_reports( &self, graph: &GeometryGraph, roots: &[NodeId], options: &ExecutionOptions, ) -> GeomResult<Vec<(ExactBRep, BooleanReport)>>

Self::compile_exact_with_report for several roots in one compilation, sharing its cache, in root order.

Errors

As ExactCompiler::compile_exact_batch_into.

Trait Implementations

impl Backend for ReferenceExactCompiler

fn descriptor(&self) -> BackendDescriptor

Runtime descriptor and capability inventory.

impl Clone for ReferenceExactCompiler

fn clone(&self) -> ReferenceExactCompiler

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ReferenceExactCompiler

impl Debug for ReferenceExactCompiler

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

Formats the value using the given formatter.

impl Default for ReferenceExactCompiler

fn default() -> ReferenceExactCompiler

Returns the “default value” for a type.

impl ExactCompiler for ReferenceExactCompiler

fn compile_exact( &self, graph: &GeometryGraph, root: NodeId, options: &ExecutionOptions, ) -> GeomResult<ExactBRep>

Compile one root to an exact B-rep, or refuse.

fn compile_exact_batch_into( &self, graph: &GeometryGraph, roots: &[NodeId], options: &ExecutionOptions, destination: &mut Vec<ExactBRep>, ) -> GeomResult<()>

Compile roots into a caller-provided buffer.

fn scratch_requirement(&self) -> ScratchRequirement

Scratch needed beyond the graph and the produced results.

fn output_bound(&self) -> OutputBound

Outputs produced per requested root.

fn compile_exact_batch( &self, graph: &GeometryGraph, roots: &[NodeId], options: &ExecutionOptions, ) -> Result<Vec<ExactBRep>, GeomError>

Compile roots as an ordered exact-result batch.