Back to Eqiora docs Skip to main content

CartesianMesh

eqiora::meshing

Struct CartesianMesh 

pub struct CartesianMesh { /* private fields */ }
Description

Runtime-dimensional conforming mesh of an axis-aligned Cartesian box.

Every entity is represented by the axes along which it is free and one anchor index on every axis. The same construction therefore generates vertices, edges, facets, and cells without dimension-specific tables. Geometry is kept separate from topology through affine entity maps.

Implementations§

§

impl CartesianMesh

Signature links:§CartesianMesh

pub fn from_axes(axes: Vec<Vec<f64>>) -> Result<CartesianMesh, Diagnostic>

Signature links:from_axesVecVecf64ResultCartesianMeshDiagnostic

Construct a conforming mesh from the vertex coordinates of each axis.

Axis coordinates must be finite and strictly increasing. At least one axis and two vertices per axis are required.

§Errors

Returns EQ0803 for invalid coordinates, shape/count overflow, or a mesh exceeding the inspectable in-memory artifact limits.

pub fn uniform( bounds: &[[f64; 2]], cells_per_axis: &[usize], ) -> Result<CartesianMesh, Diagnostic>

Signature links:uniformf642usizeResultCartesianMeshDiagnostic

Construct an axis-aligned uniform Cartesian mesh.

bounds[axis] and cells_per_axis[axis] describe the same physical axis. Cell counts may differ by axis.

§Errors

Returns EQ0803 for incompatible shapes, invalid bounds/counts, unrepresentable spacing, or artifact resource overflow.

pub fn axis_coordinates(&self, axis: usize) -> Option<&[f64]>

Signature links:axis_coordinatesusizeOptionf64

Vertex coordinates for one physical axis.

pub fn axis_cell_count(&self, axis: usize) -> Option<usize>

Signature links:axis_cell_countusizeOptionusize

Cell count on one physical axis.

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

Signature links:entity_verticesMeshEntityOptionVecMeshEntity

Mesh vertex entities in the canonical local order of entity.

pub fn vertex_coordinates(&self, vertex: MeshEntity) -> Option<Vec<f64>>

Signature links:vertex_coordinatesMeshEntityOptionVecf64

Physical coordinates of a valid vertex entity.

pub fn vertex_multi_index(&self, vertex: MeshEntity) -> Option<&[usize]>

Signature links:vertex_multi_indexMeshEntityOptionusize

Axis-local vertex indices of a valid vertex entity.

pub fn cell_at(&self, cell_indices: &[usize]) -> Option<MeshEntity>

Signature links:cell_atusizeOptionMeshEntity

Top-dimensional cell at one axis-local cell multi-index.

pub fn cell_multi_index(&self, cell: MeshEntity) -> Option<&[usize]>

Signature links:cell_multi_indexMeshEntityOptionusize

Axis-local cell indices of one valid top-dimensional cell entity.

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

Signature links:is_boundary_entityMeshEntityOptionbool

Whether an entity lies in the boundary closure of the Cartesian box.

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

Signature links:entity_centerMeshEntityOptionVecf64

Physical coordinate of an entity center (xi = 0).

pub fn entity_free_axes(&self, entity: MeshEntity) -> Option<&[usize]>

Signature links:entity_free_axesMeshEntityOptionusize

Cartesian axes free within an entity, in physical-axis order.

pub fn maximum_cell_width(&self) -> f64

Signature links:maximum_cell_widthf64

Largest physical side length among all cells and axes.

pub fn axis_bounds(&self, axis: usize) -> Option<[f64; 2]>

Signature links:axis_boundsusizeOptionf642

Current lower/upper coordinate of one physical axis.

pub fn linearize_axis_endpoints( &self, entity: MeshEntity, axis: usize, endpoint_tangents: [f64; 2], ) -> Result<AffineGeometryLinearization, Diagnostic>

Signature links:linearize_axis_endpointsMeshEntityusizef642ResultAffineGeometryLinearizationDiagnostic

Linearize one entity map with respect to its axis endpoints.

endpoint_tangents gives the lower and upper coordinate tangent for axis. Every intermediate axis vertex retains its normalized position between those endpoints. The resulting motion is therefore a global affine pullback that preserves topology and axis alignment without importing Semantic Model boundary vocabulary into the mesh layer.

§Errors

Returns EQ0803 for an invalid entity or axis.

Trait Implementations§

§

impl Clone for CartesianMesh

Signature links:§CloneCartesianMesh
§

fn clone(&self) -> CartesianMesh

Signature links:§cloneCartesianMesh
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Signature links:unstableSource§clone_from
Performs copy-assignment from source. Read more
§

impl Debug for CartesianMesh

Signature links:§DebugCartesianMesh
§

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

Signature links:§fmtFormatterResult()Error
Formats the value using the given formatter. Read more
§

impl MeshGeometry for CartesianMesh

Signature links:§MeshGeometryCartesianMesh
§

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<<CartesianMesh as MeshGeometry>::Map<'_>>

Signature links:§geometry_mapMeshEntityOptionCartesianMeshMeshGeometryMap
Geometry map for a valid mesh entity.
§

impl MeshTopology for CartesianMesh

Signature links:§MeshTopologyCartesianMesh
§

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 CartesianMesh

Signature links:§PartialEqCartesianMesh
§

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

Signature links:§eqCartesianMeshbool
Tests for self and other values to be equal, and is used by ==.
1.0.0 (const: unstable) · Source§

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

Signature links:unstableSource§ne&Rhsbool
Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
§

impl StructuralPartialEq for CartesianMesh

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Signature links:Source§AnySized
Source§

fn type_id(&self) -> TypeId

Signature links:Source§type_idTypeId
Gets the TypeId of self. Read more
§

impl<Src, Scheme> ApproxFrom<Src, Scheme> for Src
where Scheme: ApproxScheme,

Signature links:§
§

type Err = NoError

Signature links:§
The error type produced by a failed conversion.
§

fn approx_from(src: Src) -> Result<Src, <Src as ApproxFrom<Src, Scheme>>::Err>

Signature links:§Result
Convert the given value into an approximately equivalent representation.
§

impl<Dst, Src, Scheme> ApproxInto<Dst, Scheme> for Src
where Dst: ApproxFrom<Src, Scheme>, Scheme: ApproxScheme,

Signature links:§
§

type Err = <Dst as ApproxFrom<Src, Scheme>>::Err

Signature links:§
The error type produced by a failed conversion.
§

fn approx_into(self) -> Result<Dst, <Src as ApproxInto<Dst, Scheme>>::Err>

Signature links:§Result
Convert the subject into an approximately equivalent representation.
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Signature links:Source§BorrowSized
Source§

fn borrow(&self) -> &T

Signature links:Source§borrow&T
Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Signature links:Source§BorrowMutSized
Source§

fn borrow_mut(&mut self) -> &mut T

Signature links:Source§borrow_mut&mut T
Mutably borrows from an owned value. Read more
§

impl<T> ByRef<T> for T

Signature links:§
§

fn by_ref(&self) -> &T

Source§

impl<T> CloneToUninit for T
where T: Clone,

Signature links:Source§CloneToUninitClone
Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

Signature links:Source§clone_to_uninit*mut u8
🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
§

impl<T, Dst> ConvAsUtil<Dst> for T

Signature links:§
§

fn approx(self) -> Result<Dst, Self::Err>
where Self: Sized + ApproxInto<Dst>,

Signature links:§ResultSized
Approximate the subject with the default scheme.
§

fn approx_by<Scheme>(self) -> Result<Dst, Self::Err>
where Self: Sized + ApproxInto<Dst, Scheme>, Scheme: ApproxScheme,

Signature links:§ResultSized
Approximate the subject with a specific scheme.
§

impl<T> ConvUtil for T

Signature links:§
§

fn approx_as<Dst>(self) -> Result<Dst, Self::Err>
where Self: Sized + ApproxInto<Dst>,

Signature links:§ResultSized
Approximate the subject to a given type with the default scheme.
§

fn approx_as_by<Dst, Scheme>(self) -> Result<Dst, Self::Err>
where Self: Sized + ApproxInto<Dst, Scheme>, Scheme: ApproxScheme,

Signature links:§ResultSized
Approximate the subject to a given type with a specific scheme.
§

fn into_as<Dst>(self) -> Dst
where Self: Sized + Into<Dst>,

Signature links:§SizedInto
Convert the subject to a given type.
§

fn try_as<Dst>(self) -> Result<Dst, Self::Err>
where Self: Sized + TryInto<Dst>,

Signature links:§ResultSized
Attempt to convert the subject to a given type.
§

fn value_as<Dst>(self) -> Result<Dst, Self::Err>
where Self: Sized + ValueInto<Dst>,

Signature links:§ResultSized
Attempt a value conversion of the subject to a given type.
§

impl<T> DistributionExt for T
where T: ?Sized,

Signature links:§Sized
§

fn rand<T>(&self, rng: &mut (impl Rng + ?Sized)) -> T
where Self: Distribution<T>,

Source§

impl<T> From<T> for T

Signature links:Source§From
Source§

fn from(t: T) -> T

Signature links:Source§from

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Signature links:Source§IntoFrom
Source§

fn into(self) -> U

Signature links:Source§into

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Signature links:Source§IntoEither
Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Signature links:Source§into_eitherboolEither
Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Signature links:Source§into_either_withEitherFnOncebool
Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
§

impl<T> Pointable for T

Signature links:§
§

const ALIGN: usize

Signature links:§usize
The alignment of pointer.
§

type Init = T

Signature links:§
The type for initializers.
§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Signature links:§usize
Initializes a with the given initializer. Read more
§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Signature links:§usize&'a T
Dereferences the given pointer. Read more
§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Signature links:§usize&'a mut T
Mutably dereferences the given pointer. Read more
§

unsafe fn drop(ptr: usize)

Signature links:§usize
Drops the object pointed to by the given pointer. Read more
Source§

impl<T> Same for T

Signature links:Source§Same
Source§

type Output = T

Signature links:Source§Output
Should always be Self
§

impl<SS, SP> SupersetOf<SS> for SP
where SS: SubsetOf<SP>,

Signature links:§
§

fn to_subset(&self) -> Option<SS>

Signature links:§Option
The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more
§

fn is_in_subset(&self) -> bool

Signature links:§bool
Checks if self is actually part of its subset T (and can be converted to it).
§

fn to_subset_unchecked(&self) -> SS

Signature links:§
Use with care! Same as self.to_subset but without any property checks. Always succeeds.
§

fn from_subset(element: &SS) -> SP

Signature links:§&SS
The inclusion map: converts self to the equivalent element of its superset.
Source§

impl<T> ToOwned for T
where T: Clone,

Signature links:Source§ToOwnedClone
Source§

type Owned = T

Signature links:Source§Owned
The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Signature links:Source§to_owned
Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Signature links:Source§clone_into&mut T
Uses borrowed data to replace owned data, usually by cloning. Read more
§

impl<Src> TryFrom<Src> for Src

Signature links:§
§

type Err = NoError

Signature links:§
The error type produced by a failed conversion.
§

fn try_from(src: Src) -> Result<Src, <Src as TryFrom<Src>>::Err>

Signature links:§Result
Convert the given value into the subject type.
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Signature links:Source§TryFromInto
Source§

type Error = Infallible

Signature links:Source§ErrorInfallible
The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Signature links:Source§try_fromResultTryFromError
Performs the conversion.
§

impl<Src, Dst> TryInto<Dst> for Src
where Dst: TryFrom<Src>,

Signature links:§
§

type Err = <Dst as TryFrom<Src>>::Err

Signature links:§
The error type produced by a failed conversion.
§

fn try_into(self) -> Result<Dst, <Src as TryInto<Dst>>::Err>

Signature links:§Result
Convert the subject into the destination type.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Signature links:Source§TryIntoTryFrom
Source§

type Error = <U as TryFrom<T>>::Error

Signature links:Source§ErrorTryFromError
The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Signature links:Source§try_intoResultTryFromError
Performs the conversion.
§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Signature links:§
§

fn vzip(self) -> V

§

impl<Src> ValueFrom<Src> for Src

Signature links:§
§

type Err = NoError

Signature links:§
The error type produced by a failed conversion.
§

fn value_from(src: Src) -> Result<Src, <Src as ValueFrom<Src>>::Err>

Signature links:§Result
Convert the given value into an exactly equivalent representation.
§

impl<Src, Dst> ValueInto<Dst> for Src
where Dst: ValueFrom<Src>,

Signature links:§
§

type Err = <Dst as ValueFrom<Src>>::Err

Signature links:§
The error type produced by a failed conversion.
§

fn value_into(self) -> Result<Dst, <Src as ValueInto<Dst>>::Err>

Signature links:§Result
Convert the subject into an exactly equivalent representation.
§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

§

impl<T, U> Imply<T> for U
where T: ?Sized, U: ?Sized,

§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T> Scalar for T
where T: 'static + Clone + PartialEq + Debug,