changeset
Add truncate
Sat, 24 Jan 2026 19:24:29 -0500
- author
- Tuomo Valkonen <tuomov@iki.fi>
- date
- Sat, 24 Jan 2026 19:24:29 -0500
- changeset 5
- e781c543e228
- parent 4
- f248f9848c87
- child 6
- aefacd832408
Add truncate
| src/discrete.rs | file | annotate | diff | comparison | revisions |
--- a/src/discrete.rs Fri Jan 16 14:09:45 2026 -0500 +++ b/src/discrete.rs Sat Jan 24 19:24:29 2026 -0500 @@ -137,6 +137,12 @@ // self.spikes.iter_mut().zip(iter).for_each(|(δ, v)| δ.set_mass(g(δ.get_mass(), v))); // } + /// Truncate to `len`. + #[inline] + pub fn truncate(&mut self, len: usize) { + self.spikes.truncate(len); + } + /// Prune all spikes with zero mass. #[inline] pub fn prune(&mut self) {
