honeycomb_core/cmap/dim3/links/
one.rs

1//! 1D link implementations
2
3use crate::cmap::{CMap3, DartIdType, LinkError, NULL_DART_ID};
4use crate::geometry::CoordsFloat;
5use crate::stm::{Transaction, TransactionClosureResult, abort, atomically_with_err};
6
7/// 1-links
8impl<T: CoordsFloat> CMap3<T> {
9    /// 1-link operation.
10    pub(crate) fn one_link(
11        &self,
12        trans: &mut Transaction,
13        ld: DartIdType,
14        rd: DartIdType,
15    ) -> TransactionClosureResult<(), LinkError> {
16        self.betas.one_link_core(trans, ld, rd)?;
17        let (b3_ld, b3_rd) = (
18            self.beta_transac::<3>(trans, ld)?,
19            self.beta_transac::<3>(trans, rd)?,
20        );
21        if b3_ld != NULL_DART_ID && b3_rd != NULL_DART_ID {
22            self.betas.one_link_core(trans, b3_rd, b3_ld)?;
23        }
24        Ok(())
25    }
26
27    /// 1-link operation.
28    ///
29    /// This variant is equivalent to `one_link`, but internally uses a transaction that will be
30    /// retried until validated.
31    pub(crate) fn force_one_link(&self, ld: DartIdType, rd: DartIdType) -> Result<(), LinkError> {
32        atomically_with_err(|trans| self.one_link(trans, ld, rd))
33    }
34}
35
36/// 1-unlinks
37impl<T: CoordsFloat> CMap3<T> {
38    /// 1-unlink operation.
39    pub(crate) fn one_unlink(
40        &self,
41        trans: &mut Transaction,
42        ld: DartIdType,
43    ) -> TransactionClosureResult<(), LinkError> {
44        let rd = self.beta_transac::<1>(trans, ld)?;
45        self.betas.one_unlink_core(trans, ld)?;
46        let (b3_ld, b3_rd) = (
47            self.beta_transac::<3>(trans, ld)?,
48            self.beta_transac::<3>(trans, rd)?,
49        );
50        if b3_ld != NULL_DART_ID && b3_rd != NULL_DART_ID {
51            if self.beta_transac::<1>(trans, b3_rd)? != b3_ld {
52                // FIXME: add dedicated variant ~LinkError::DivergentStructures ?
53                abort(LinkError::AsymmetricalFaces(ld, rd))?;
54            }
55            self.betas.one_unlink_core(trans, b3_rd)?;
56        }
57        Ok(())
58    }
59
60    /// 1-unlink operation.
61    ///
62    /// This variant is equivalent to `one_unlink`, but internally uses a transaction that will be
63    /// retried until validated.
64    pub(crate) fn force_one_unlink(&self, ld: DartIdType) -> Result<(), LinkError> {
65        atomically_with_err(|trans| self.one_unlink(trans, ld))
66    }
67}
honeycomb_core/cmap/dim3/links/one.rs

honeycomb_core/cmap/dim3/links/
one.rs
