Back to Eqiora docs Skip to main content

CadAuthoredFaceMesh

Struct CadAuthoredFaceMesh 

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

One graph-bound rectangular face realized as an affine-triangle mesh.

This value has no durable wire. It keeps the exact authored source binding, the independently supplied Geometry classification tolerance and sizing request, the face placement, and the accepted intrinsic region and mesh in one owner. Artifact envelopes remain the durable Geometry and Mesh outputs.

Implementations§

§

impl CadAuthoredFaceMesh

pub fn from_face( graph: &CadAuthoredGraph, source_face: &CadAuthoredFaceHandle, geometry_classification_tolerance_m: f64, target_maximum_edge_length_m: f64, maximum_triangles: usize, quality_gate: MeshQualityGate, ) -> Result<CadAuthoredFaceMesh, Diagnostic>

Realize one admitted rectangular face under a bounded local request.

Per-axis subdivision is the least positive integer n whose generated endpoint-snapped binary64 coordinates have maximum adjacent gap D satisfying D.hypot(D) <= target. The Geometry classification tolerance rejects degenerate face axes and becomes part of the intrinsic region identity; it never changes sizing. This reference path admits only the current provider’s exactly closed, exactly orthogonal rectangle cycles. Approximate or arbitrarily rotated CAD frames remain unsupported.

§Errors

Returns EQ0901 before topology allocation for a stale or foreign handle, a non-rectangular face, an invalid scalar or work limit, an unrepresentable frame, or a resolved mesh exceeding the caller budget. Accepted topology is then subject to the unchanged SimplicialMesh EQ0803 orientation and quality gate.

pub const fn source_graph_digest_bytes(&self) -> [u8; 32]

Exact authored graph revision supplying the selected face.

pub const fn source_face(&self) -> &CadAuthoredFaceHandle

Graph-bound authored face supplying this surface realization.

pub const fn geometry_classification_tolerance_m(&self) -> f64

Continuous-Geometry classification tolerance in metres.

pub const fn target_maximum_edge_length_m(&self) -> f64

Caller-requested maximum triangle-edge length in metres.

pub const fn maximum_triangles(&self) -> usize

Caller-supplied triangle work limit retained with the realization.

pub const fn origin_m(&self) -> [f64; 3]

Selected face-cycle origin in the authored graph’s 3D coordinates.

pub const fn u_hat(&self) -> [f64; 3]

Unit direction of increasing intrinsic u.

pub const fn v_hat(&self) -> [f64; 3]

Unit direction of increasing intrinsic v.

pub const fn parent_outward_normal(&self) -> [f64; 3]

Parent-relative outward unit normal of the selected authored face.

pub const fn u_length_m(&self) -> f64

Exact selected-face extent along intrinsic u, in metres.

pub const fn v_length_m(&self) -> f64

Exact selected-face extent along intrinsic v, in metres.

pub const fn u_divisions(&self) -> usize

Least accepted subdivision count along intrinsic u.

pub const fn v_divisions(&self) -> usize

Least accepted subdivision count along intrinsic v.

pub const fn u_maximum_realized_gap_m(&self) -> f64

Maximum realized adjacent u-coordinate gap, in metres.

This is the measured spacing used by the acceptance predicate. It can exceed the nominal generator parameter by rounding ulps because the final coordinate is snapped to the exact authored endpoint.

pub const fn v_maximum_realized_gap_m(&self) -> f64

Maximum realized adjacent v-coordinate gap, in metres.

This is the measured spacing used by the acceptance predicate. It can exceed the nominal generator parameter by rounding ulps because the final coordinate is snapped to the exact authored endpoint.

pub fn lift_intrinsic_point_m(&self, point_m: [f64; 2]) -> [f64; 3]

Lift an intrinsic point to the exact retained 3D face placement.

pub const fn region(&self) -> &PlanarRegion

Canonical straight-edged intrinsic Geometry.

pub const fn mesh(&self) -> &SimplicialMesh

Accepted intrinsic affine-triangle mesh.

Trait Implementations§

§

impl Clone for CadAuthoredFaceMesh

§

fn clone(&self) -> CadAuthoredFaceMesh

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

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

Performs copy-assignment from source. Read more
§

impl Debug for CadAuthoredFaceMesh

§

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

Formats the value using the given formatter. Read more
§

impl PartialEq for CadAuthoredFaceMesh

§

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

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

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

impl StructuralPartialEq for CadAuthoredFaceMesh

Auto Trait Implementations§

Blanket Implementations§

Source§

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

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
§

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

§

type Err = NoError

The error type produced by a failed conversion.
§

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

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,

§

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

The error type produced by a failed conversion.
§

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

Convert the subject into an approximately equivalent representation.
Source§

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

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
§

impl<T> ByRef<T> for T

§

fn by_ref(&self) -> &T

Source§

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

Source§

unsafe fn clone_to_uninit(&self, dest: *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

§

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

Approximate the subject with the default scheme.
§

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

Approximate the subject with a specific scheme.
§

impl<T> ConvUtil for T

§

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

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,

Approximate the subject to a given type with a specific scheme.
§

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

Convert the subject to a given type.
§

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

Attempt to convert the subject to a given type.
§

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

Attempt a value conversion of the subject to a given type.
§

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

§

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

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

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

Source§

fn into(self) -> U

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

Source§

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

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,

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

§

const ALIGN: usize

The alignment of pointer.
§

type Init = T

The type for initializers.
§

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

Initializes a with the given initializer. Read more
§

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

Dereferences the given pointer. Read more
§

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

Mutably dereferences the given pointer. Read more
§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
§

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

§

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

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

fn is_in_subset(&self) -> bool

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

fn to_subset_unchecked(&self) -> SS

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

fn from_subset(element: &SS) -> SP

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

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

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

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

Uses borrowed data to replace owned data, usually by cloning. Read more
§

impl<Src> TryFrom<Src> for Src

§

type Err = NoError

The error type produced by a failed conversion.
§

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

Convert the given value into the subject type.
Source§

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

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
§

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

§

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

The error type produced by a failed conversion.
§

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

Convert the subject into the destination type.
Source§

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

Source§

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

The type returned in the event of a conversion error.
Source§

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

Performs the conversion.
§

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

§

fn vzip(self) -> V

§

impl<Src> ValueFrom<Src> for Src

§

type Err = NoError

The error type produced by a failed conversion.
§

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

Convert the given value into an exactly equivalent representation.
§

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

§

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

The error type produced by a failed conversion.
§

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

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,