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
90use carrier_rebuild::*;
91use carriers::*;
92use connectors::*;
93use orientation::*;
94use outline_offset::*;
95use vacated_rim::*;
96use rim_welds::*;
97use smooth_sync::*;
98
99pub use pipeline::{offset_shell, offset_shell_with_diagnostics};
100pub(crate) use orientation::{flip_all_faces, flip_shell_faces, orient_open_solid_faces};
101
102/// Merge connected shells, preserving the first shell record and face encounter order.
103fn merge_connected_shells(solid: &mut BrepSolid, shell_unions: Vec<(usize, usize)>) {
104    if shell_unions.is_empty() {
105        return;
106    }
107    let mut parent = (0..solid.shells.len()).collect::<Vec<_>>();
108    fn root(parent: &mut [usize], index: usize) -> usize {
109        if parent[index] != index {
110            parent[index] = root(parent, parent[index]);
111        }
112        parent[index]
113    }
114    for (first, second) in shell_unions {
115        let first_root = root(&mut parent, first);
116        let second_root = root(&mut parent, second);
117        if first_root != second_root {
118            parent[second_root] = first_root;
119        }
120    }
121    let original = std::mem::take(&mut solid.shells);
122    let mut merged = Vec::<ShellRecord>::new();
123    let mut group_of = HashMap::<usize, usize>::default();
124    for (index, shell) in original.into_iter().enumerate() {
125        let group = root(&mut parent, index);
126        if let Some(target) = group_of.get(&group).copied() {
127            merged[target].faces.extend(shell.faces);
128        } else {
129            group_of.insert(group, merged.len());
130            merged.push(shell);
131        }
132    }
133    solid.shells = merged;
134}
brep_kernel/offset/offset_shell.rs

brep_kernel/offset/
offset_shell.rs
