Struct ConnectivityReport 

pub struct ConnectivityReport {
    pub shells: Vec<ShellConnectivity>,
    pub cross_shell_edges: Vec<u64>,
    pub pinch_vertices: Vec<u64>,
    pub pinch_skipped: usize,
}

Outcome of solid_connectivity.

Fields

shells: Vec<ShellConnectivity>

cross_shell_edges: Vec<u64>

Edges used by faces belonging to two DIFFERENT shells. A shell is a closed surface in its own right; sharing an edge across shells means the shell split is fiction.

pinch_vertices: Vec<u64>

Vertices where the incident face corners form more than one fan — two pieces of surface touching at a point and nowhere else. Edge connectivity cannot see this: both pieces are edge-connected, just not through this vertex. Diagnostic, not part of Self::is_disconnected.

pinch_skipped: usize

Vertices the fan scan skipped because a degenerate (pole) edge meets there — a collapsed parameter boundary is not an ordinary fan and the scan would read it as a pinch.

Implementations

impl ConnectivityReport

pub fn is_disconnected(&self) -> bool

The HARD-GATE predicate: the record claims to be one closed surface per shell and it is not. Pinch vertices are deliberately excluded — see the module table.

pub fn summary(&self) -> Option<String>

One line naming what is wrong, or None when the gate predicate is clear. Pinch vertices are appended when present so a caller printing the summary still sees them.

Trait Implementations

impl Clone for ConnectivityReport

fn clone(&self) -> ConnectivityReport

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ConnectivityReport

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Serialize for ConnectivityReport

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.