Struct SimplicialMesh 

pub struct SimplicialMesh { /* private fields */ }

Runtime-dimensional, fixed-connectivity mesh of affine simplex cells.

Topology is stored independently from coordinates. Cell vertex order is retained because it defines the affine map orientation; all lower strata are deduplicated by sorted vertex closure. The constructor rejects duplicate cells, isolated vertices, non-manifold facets, inverted cells, and cells below the requested quality gate.

Implementations

§

impl SimplicialMesh

Signature links:SimplicialMesh

pub fn bisect_marked( &self, chart: OverlapCoordinateChart2d, marked: &[CellId], maximum_cells: usize, ) -> Result<(SimplicialMesh, SimplicialRevisionOverlap2d), Diagnostic>

Signature links:bisect_markedOverlapCoordinateChart2dCellIdusizeResultSimplicialMeshSimplicialRevisionOverlap2dDiagnostic

Bisect selected triangles and close neighboring edges to preserve conformity.

Each stage labels the longest edge of each source triangle, breaking ties by canonical edge identity. Completion marks incident triangles’ reference edges; children use their new midpoint as the newest vertex. Existing vertices remain a prefix, and unchanged cells retain their orientation. Mark order and repeated marks do not change the result.

Returns the accepted target Mesh and the ordinary common-refinement witness. Its cell fragments retain each child’s exact source cell. Use SimplicialRevisionOverlap2d::with_retained_facets to verify a requested semantic boundary relation. Coordinates use binary64 midpoint construction with the same rounding-cell certificates as other revision overlaps.

Errors

Rejects nonplanar meshes, out-of-range cells, an insufficient completion budget, unrepresentable midpoints, a quality-gate failure or incomplete coverage.

§

impl SimplicialMesh

Signature links:SimplicialMesh

pub fn signed_boundary( &self, entity: MeshEntity, ) -> Option<Vec<(MeshEntity, i8)>>

Signature links:signed_boundaryMeshEntityOptionVecMeshEntityi8

Signed codimension-one boundary in this exact mesh’s entity ordering.

A top-dimensional cell retains its supplied vertex orientation; lower entities use the mesh’s canonical vertex ordering. Coefficients are exact integers. Consecutive boundary operators compose to zero, independently of physical coordinates and floating-point differentiation. Transposes give the oriented vertex/edge/face cochain incidence maps.

Returns None for an absent entity. A vertex has an empty boundary.

§

impl SimplicialMesh

Signature links:SimplicialMesh

pub fn new( dimension: usize, vertices: Vec<Vec<f64>>, cells: Vec<Vec<usize>>, quality_gate: MeshQualityGate, ) -> Result<SimplicialMesh, Diagnostic>

Signature links:newusizeVecVecf64VecVecusizeMeshQualityGateResultSimplicialMeshDiagnostic

Validate and construct one full-dimensional affine simplex mesh.

Errors

Returns EQ0803 for invalid dimensions/connectivity, duplicate or non-manifold topology, non-finite coordinates, inverted/degenerate cells, or a quality-gate violation.

pub fn vertices(&self) -> &[Vec<f64>]

Signature links:verticesVecf64

Accepted coordinates in canonical vertex order.

pub fn cells(&self) -> &[Vec<usize>]

Signature links:cellsVecusize

Positively oriented cell closures in cell order.

pub const fn quality_gate(&self) -> MeshQualityGate

Signature links:quality_gateMeshQualityGate

Acceptance policy recorded with this mesh revision.

pub const fn quality_report(&self) -> MeshQualityReport

Signature links:quality_reportMeshQualityReport

Mesh-quality evidence computed before acceptance.

pub fn entity_vertices(&self, entity: MeshEntity) -> Option<Vec<MeshEntity>>

Signature links:entity_verticesMeshEntityOptionVecMeshEntity

Ordered vertex closure of a valid entity.

pub fn is_boundary_entity(&self, entity: MeshEntity) -> Option<bool>

Signature links:is_boundary_entityMeshEntityOptionbool

Whether a valid entity lies in the boundary closure.

pub fn linearized_geometry_map( &self, entity: MeshEntity, vertex_velocities: &[Vec<f64>], ) -> Result<AffineGeometryLinearization, Diagnostic>

Signature links:linearized_geometry_mapMeshEntityVecf64ResultAffineGeometryLinearizationDiagnostic

Linearize one entity map under an accepted vertex-velocity field.

Errors

Returns EQ0803 for an invalid entity/action shape or affine-map failure.

Trait Implementations

§

impl Clone for SimplicialMesh

Signature links:CloneSimplicialMesh

§

fn clone(&self) -> SimplicialMesh

Signature links:cloneSimplicialMesh

Returns a duplicate of the value.

§

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

Signature links:unstableSourceclone_from

Performs copy-assignment from source.

§

impl Debug for SimplicialMesh

Signature links:DebugSimplicialMesh

§

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

Signature links:fmtFormatterResult()Error

Formats the value using the given formatter.

§

impl MeshGeometry for SimplicialMesh

Signature links:MeshGeometrySimplicialMesh

§

type Map<'a> = AffineGeometryMap

Signature links:MapAffineGeometryMap

Concrete map type; implementations may use an enum for mixed cells.

§

fn geometric_dimension(&self) -> usize

Signature links:geometric_dimensionusize

Dimension of embedding physical coordinates.

§

fn geometry_map( &self, entity: MeshEntity, ) -> Option<<SimplicialMesh as MeshGeometry>::Map<'_>>

Signature links:geometry_mapMeshEntityOptionSimplicialMeshMeshGeometryMap

Geometry map for a valid mesh entity.

§

impl MeshTopology for SimplicialMesh

Signature links:MeshTopologySimplicialMesh

§

fn orientation_permutation( &self, code: OrientationCode, arity: usize, ) -> Option<VertexPermutation>

Signature links:orientation_permutationOrientationCodeusizeOptionVertexPermutation

Resolve an orientation code into its exact vertex permutation.

§

fn topological_dimension(&self) -> usize

Signature links:topological_dimensionusize

Topological mesh dimension.

§

fn entity_count(&self, dimension: usize) -> Option<usize>

Signature links:entity_countusizeOptionusize

Entity count in a valid dimension stratum.

§

fn incidence( &self, entity: MeshEntity, target_dimension: usize, ) -> Option<Vec<EntityIncidence>>

Signature links:incidenceMeshEntityusizeOptionVecEntityIncidence

Oriented entities of target_dimension incident to entity in deterministic reference-cell order. Invalid IDs or dimensions return None.

§

impl PartialEq for SimplicialMesh

Signature links:PartialEqSimplicialMesh

§

fn eq(&self, other: &SimplicialMesh) -> bool

Signature links:eqSimplicialMeshbool

Tests for self and other values to be equal, and is used by ==.

§

fn ne(&self, other: &Rhs) -> bool

Signature links:unstableSourcene&Rhsbool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.