implicit-predicates-core 0.0.1

Arithmetic building blocks for exact geometric predicates: the no_std core of implicit-predicates
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

//! The output buffer the expansion functions write their results to.

/// The output buffer of an operation, filled from the start with the nonzero
/// components pushed to it.
pub(super) struct Output<'a> {
    buffer: &'a mut [f64],
    len: usize,
}

impl<'a> Output<'a> {
    /// Wraps `buffer`, checking in debug builds that it holds `capacity`
    /// components.
    pub(super) fn new(buffer: &'a mut [f64], capacity: usize) -> Self {
        debug_assert!(
            buffer.len() >= capacity,
            "output buffer holds {} components but the capacity required is {capacity}",
            buffer.len()
        );
        Output { buffer, len: 0 }
    }

    /// Appends `component` unless it is zero (zero elimination). Panics if
    /// the buffer is full.
    pub(super) fn push(&mut self, component: f64) {
        if component != 0.0 {
            self.buffer[self.len] = component;
            self.len += 1;
        }
    }

    /// The number of components written.
    pub(super) fn finish(self) -> usize {
        self.len
    }
}