Struct BooleanNaming 

pub struct BooleanNaming<S: Scalar> { /* private fields */ }

The naming bookkeeping of one boolean, see the module docs.

Implementations

impl<S: Scalar> BooleanNaming<S>

pub fn new( part: &Part<S>, namer: &Namer, solids: &[SolidId], ) -> GeopResult<Self>

Starts naming a boolean of solids, remembering the names their edges and faces have now as those entities’ origins.

pub fn provisional(&self) -> String

The name for the next entity, until BooleanNaming::finish replaces it. ~ never appears in a final name.

pub fn edge_origin(&self, edge: EdgeId) -> GeopResult<&str>

pub fn face_origin(&self, face: FaceId) -> GeopResult<&str>

pub fn edge_crossing( &mut self, vertex: VertexId, (edge_a, t_a): (EdgeId, S), (edge_b, t_b): (EdgeId, S), ) -> GeopResult<()>

Records that vertex was created where edge edge_a (at parameter t_a) crosses edge edge_b (at t_b).

pub fn piercing( &mut self, vertex: VertexId, edge: EdgeId, t: S, face: FaceId, ) -> GeopResult<()>

Records that vertex was created where edge (at parameter t) pierces face.

pub fn edge_split( &mut self, edge: EdgeId, new_edge: EdgeId, start: VertexId, ) -> GeopResult<()>

Records that new_edge was split off edge at start; it inherits edge’s origin.

pub fn trace( &mut self, edge: EdgeId, face_a: FaceId, face_b: FaceId, ends: [VertexId; 2], ) -> GeopResult<()>

Records that edge was traced along face_a and face_b between ends.

pub fn face_split( &mut self, face: FaceId, edge: EdgeId, new_face: Option<FaceId>, ) -> GeopResult<()>

Records that splicing edge into face split off new_face, if it did; new_face inherits face’s origin.

pub fn finish(self, part: &mut Part<S>) -> GeopResult<()>

Gives every entity created so far its final name, see the module docs. Entities that were created and have since been deleted again (an edge piece merged into a coincident edge, say) are skipped.