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    std::env::var("BREP_OS_DEBUG").is_ok_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/revolved_wedge.rs"]
82mod revolved_wedge;
83#[path = "offset_shell/outline_offset.rs"]
84mod outline_offset;
85#[path = "offset_shell/vacated_rim.rs"]
86mod vacated_rim;
87#[path = "offset_shell/pipeline.rs"]
88mod pipeline;
89#[path = "offset_shell/acceptance.rs"]
90mod acceptance;
91#[path = "offset_shell/profile.rs"]
92mod profile;
93#[path = "offset_shell/solid.rs"]
94mod solid;
95#[path = "offset_shell/joint_offset.rs"]
96mod joint_offset;
97#[path = "offset_shell/refusals.rs"]
98mod refusals;
99
100use carrier_rebuild::*;
101use carriers::*;
102use connectors::*;
103use orientation::*;
104use outline_offset::*;
105use vacated_rim::*;
106use rim_welds::*;
107use smooth_sync::*;
108
109pub use pipeline::{offset_shell, offset_shell_with_diagnostics};
110pub use solid::{offset_shell_by_boolean, offset_solid, OffsetCorners};
111pub(crate) use refusals::{is_offset_shell_no_retained_face, is_offset_shell_open_curved_rim};
112pub(crate) use orientation::{flip_all_faces, flip_shell_faces, orient_open_solid_faces};
113
114/// Merge connected shells, preserving the first shell record and face encounter order.
115fn merge_connected_shells(solid: &mut BrepSolid, shell_unions: Vec<(usize, usize)>) {
116    if shell_unions.is_empty() {
117        return;
118    }
119    let mut parent = (0..solid.shells.len()).collect::<Vec<_>>();
120    fn root(parent: &mut [usize], index: usize) -> usize {
121        if parent[index] != index {
122            parent[index] = root(parent, parent[index]);
123        }
124        parent[index]
125    }
126    for (first, second) in shell_unions {
127        let first_root = root(&mut parent, first);
128        let second_root = root(&mut parent, second);
129        if first_root != second_root {
130            parent[second_root] = first_root;
131        }
132    }
133    let original = std::mem::take(&mut solid.shells);
134    let mut merged = Vec::<ShellRecord>::new();
135    let mut group_of = HashMap::<usize, usize>::default();
136    for (index, shell) in original.into_iter().enumerate() {
137        let group = root(&mut parent, index);
138        if let Some(target) = group_of.get(&group).copied() {
139            merged[target].faces.extend(shell.faces);
140        } else {
141            group_of.insert(group, merged.len());
142            merged.push(shell);
143        }
144    }
145    solid.shells = merged;
146}
brep_kernel/offset/offset_shell.rs

brep_kernel/offset/
offset_shell.rs
