brep_kernel/offset/
offset_shell.rs

1use crate::boolean::{assemble_open_fragments, edge_interior_lies_on, finalize_assembled_solid};
2use crate::classification::{parameter_point_in_face, PolygonClass};
3use crate::face_merge::merge_same_surface_faces_open;
4use crate::fragment::{fragment_solid, FaceFragmentRecord, FragmentEdgeSource};
5use crate::imprint::{
6    EdgeSplitRecord, FaceImprints, FaceKey, FacePcurve, ImprintOptions, ImprintPieceRecord,
7    ImprintResultRecord, ImprintVertex,
8};
9use crate::mass_properties::parameter_space_area;
10use crate::project_point_to_surface;
11use crate::topology::{
12    BrepSolid, CoedgeRecord, EdgeRecord, FaceRecord, LoopRecord, ShellRecord, VertexRecord,
13};
14use crate::{
15    apply_edge_splits, build_imprints, classify_point, offset_face_carrier, DiagnosticSeverity,
16    KernelDiagnostics, KernelOutcome, KernelStage, KernelTolerances, PointClass, Vec2, Vec3,
17};
18use rustc_hash::{FxHashMap as HashMap, FxHashSet as HashSet};
19use serde::Serialize;
20
21const SOURCE_OPERAND: u8 = 250;
22
23/// The smallest |distance| an offset shell answers: at or under it the shell
24/// refuses ("distance must be finite and non-zero"). One constant, because the
25/// revolved-wedge lane runs in FRONT of that refusal and must stand down exactly
26/// where it fires — it once took (−1e-7, 0) as an outward distance and built a
27/// sliver where the shell had always refused.
28const MINIMUM_DISTANCE: f64 = 1e-7;
29
30fn debug_enabled() -> bool {
31    env_read!("BREP_OS_DEBUG").is_some_and(|value| !value.is_empty() && value != "0")
32}
33
34macro_rules! os_debug {
35    ($($arg:tt)*) => {
36        if debug_enabled() {
37            eprintln!($($arg)*);
38        }
39    };
40}
41
42#[derive(Clone, Copy, Debug, Eq, PartialEq, Serialize)]
43#[serde(rename_all = "lowercase")]
44pub enum OffsetFaceRole {
45    Source,
46    Offset,
47    Wall,
48}
49
50#[derive(Clone, Debug, Serialize)]
51pub struct OffsetShellResultRecord {
52    pub solid: BrepSolid,
53    pub face_images: Vec<OffsetShellFaceImageRecord>,
54}
55
56#[derive(Clone, Debug, Serialize)]
57pub struct OffsetShellFaceImageRecord {
58    pub role: OffsetFaceRole,
59    pub source_face_id: u64,
60}
61
62#[derive(Clone)]
63struct Carrier {
64    solid: BrepSolid,
65    source_face_id: u64,
66    kind: OffsetFaceRole,
67}
68
69#[path = "offset_shell/carriers.rs"]
70mod carriers;
71#[path = "offset_shell/smooth_sync.rs"]
72mod smooth_sync;
73#[path = "offset_shell/carrier_rebuild.rs"]
74mod carrier_rebuild;
75#[path = "offset_shell/connectors.rs"]
76mod connectors;
77#[path = "offset_shell/orientation.rs"]
78mod orientation;
79#[path = "offset_shell/rim_welds.rs"]
80mod rim_welds;
81#[path = "offset_shell/rim_round.rs"]
82mod rim_round;
83
84#[path = "offset_shell/revolved_wedge.rs"]
85mod revolved_wedge;
86#[path = "offset_shell/planar_shell.rs"]
87mod planar_shell;
88#[path = "offset_shell/sphere_body.rs"]
89mod sphere_body;
90#[path = "offset_shell/outline_offset.rs"]
91mod outline_offset;
92#[path = "offset_shell/vacated_rim.rs"]
93mod vacated_rim;
94#[path = "offset_shell/pipeline.rs"]
95mod pipeline;
96#[path = "offset_shell/acceptance.rs"]
97mod acceptance;
98#[path = "offset_shell/profile.rs"]
99mod profile;
100#[path = "offset_shell/solid.rs"]
101mod solid;
102#[path = "offset_shell/joint_offset.rs"]
103mod joint_offset;
104#[path = "offset_shell/refusals.rs"]
105mod refusals;
106
107use carrier_rebuild::*;
108use carriers::*;
109use connectors::*;
110use orientation::*;
111use outline_offset::*;
112use vacated_rim::*;
113use rim_welds::*;
114use smooth_sync::*;
115
116pub use pipeline::{offset_shell, offset_shell_with_diagnostics};
117pub use solid::{offset_shell_by_boolean, offset_shell_closed, offset_solid, OffsetCorners};
118pub(crate) use refusals::{is_offset_shell_no_retained_face, is_offset_shell_open_curved_rim};
119pub(crate) use orientation::{flip_all_faces, flip_shell_faces, orient_open_solid_faces};
120
121/// Merge connected shells, preserving the first shell record and face encounter order.
122fn merge_connected_shells(solid: &mut BrepSolid, shell_unions: Vec<(usize, usize)>) {
123    if shell_unions.is_empty() {
124        return;
125    }
126    let mut parent = (0..solid.shells.len()).collect::<Vec<_>>();
127    fn root(parent: &mut [usize], index: usize) -> usize {
128        crate::union_find::find_root(parent, index)
129    }
130    for (first, second) in shell_unions {
131        let first_root = root(&mut parent, first);
132        let second_root = root(&mut parent, second);
133        if first_root != second_root {
134            parent[second_root] = first_root;
135        }
136    }
137    let original = std::mem::take(&mut solid.shells);
138    let mut merged = Vec::<ShellRecord>::new();
139    let mut group_of = HashMap::<usize, usize>::default();
140    for (index, shell) in original.into_iter().enumerate() {
141        let group = root(&mut parent, index);
142        if let Some(target) = group_of.get(&group).copied() {
143            merged[target].faces.extend(shell.faces);
144        } else {
145            group_of.insert(group, merged.len());
146            merged.push(shell);
147        }
148    }
149    solid.shells = merged;
150}
brep_kernel/offset/offset_shell.rs

brep_kernel/offset/
offset_shell.rs
