Back to Eqiora docs Skip to main content

CadAuthoredGraph

Struct CadAuthoredGraph 

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

Common immutable owner of the admitted authored-CAD operation histories.

Persisted v1 and v2 schemas remain closed private variants. Existing v1 bytes and digests are reproduced exactly while callers use one feature- neutral Rust surface before Python and Studio projection.

Implementations§

§

impl CadAuthoredGraph

pub fn new( sketch: ConstrainedRectangleV1, extrusion_depth_m: f64, requested_modeling_tolerance_m: f64, ) -> Result<CadAuthoredGraph, Diagnostic>

Construct the frozen rectangle → face → positive-z extrusion history.

The requested modeling tolerance is identity-only. It is never used as a coordinate offset, classification tolerance, or repair policy.

§Errors

Returns EQ0901 for a non-positive/non-finite depth or tolerance, a non-finite derived extent, or unexpected canonical serialization.

pub fn circular_through_cut( &self, center_m: [f64; 2], radius_m: f64, requested_boolean_tolerance_m: f64, ) -> Result<CadAuthoredGraph, Diagnostic>

Append the one admitted circular through-all difference operation.

The cut starts on the predecessor end cap and proceeds through all in negative z. Signed inward side clearance must exceed the requested Boolean tolerance; no tolerance substitution or healing is available.

§Errors

Returns EQ0901 unless the predecessor is the closed v1 history and the finite positive circle lies strictly inside every rectangle side by more than the requested Boolean tolerance.

pub fn through_cut( &self, sketch: &CadAuthoredSketch, requested_boolean_tolerance_m: f64, ) -> Result<CadAuthoredGraph, Diagnostic>

Apply the one admitted circular through-cut to its exact predecessor.

§Errors

Returns EQ0901 unless this is a v1 rectangle-extrusion graph, the sketch is a circle bound to this graph’s canonical end-cap, and the existing finite positive tolerance and strict signed-clearance predicates are satisfied.

pub fn planar_circular_section( &self, classification_tolerance_m: f64, region: &str, x_lower: &str, x_upper: &str, y_lower: &str, y_upper: &str, hole: &str, ) -> Result<CanonicalGeometryV1, Diagnostic>

Derive one exact planar section from the admitted through-cut history.

The section is the rectangle-minus-circle profile shared by every transverse plane of the through-cut body. Extrusion depth, sketch-plane placement, and modeling tolerance therefore do not enter its exact planar identity. Geometry classification tolerance remains a separate caller-owned value and is revalidated by the existing exact planar owner rather than copied from either authored CAD tolerance.

§Errors

Returns EQ0901 unless this graph contains the admitted circular through-cut, or when the independently supplied planar tolerance or semantic role names fail exact Geometry admission.

pub fn decode_canonical(bytes: &[u8]) -> Result<CadAuthoredGraph, Diagnostic>

Decode either closed schema and reconstruct its one canonical byte form.

Object-member order and equivalent numeric spellings are nonsemantic; duplicate/unknown members and unsupported dependencies reject.

§Errors

Returns EQ0901 for excess bytes or a malformed/unsupported graph.

pub const fn sketch(&self) -> ConstrainedRectangleV1

Fully constrained rectangle owned by the graph.

pub const fn extrusion_depth_m(&self) -> f64

Positive-z extrusion depth in metres.

pub const fn requested_modeling_tolerance_m(&self) -> f64

Identity-bearing base modeling tolerance in metres.

pub const fn requested_boolean_tolerance_m(&self) -> Option<f64>

Requested Boolean tolerance, absent from the rectangle-only history.

pub const fn cut_center_m(&self) -> Option<[f64; 2]>

Circular cut centre, absent from the rectangle-only history.

pub const fn cut_radius_m(&self) -> Option<f64>

Circular cut radius, absent from the rectangle-only history.

pub const fn output(&self) -> AxisAlignedBox3

Exact outer analytic bounds; the through-cut does not change them.

pub const fn repair_disposition(&self) -> CadRepairDispositionV1

Neither admitted history performs healing or topology repair.

pub fn canonical_bytes(&self) -> &[u8]

Exact compact canonical JSON bytes for the graph’s closed wire variant.

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

Complete domain-separated authored-graph identity.

pub fn vertices_m(&self) -> [[f64; 3]; 8]

Outer rectangle-extrusion corners in lower-then-upper order.

pub const fn vertex_count(&self) -> Option<usize>

Exact vertex count only where the analytic representation is closed.

pub const fn edge_count(&self) -> Option<usize>

Exact edge count only where the analytic representation is closed.

pub const fn face_count(&self) -> usize

Exact face count.

pub const fn closed_shell_count(&self) -> usize

Number of connected closed shells.

pub const fn body_count(&self) -> usize

Number of solid bodies.

pub const fn genus(&self) -> usize

Exact body genus.

pub fn volume_m3(&self) -> f64

Exact analytic body volume in cubic metres.

pub fn surface_area_m2(&self) -> f64

Exact analytic total surface area in square metres.

pub fn face_handles(&self) -> Result<Vec<CadAuthoredFaceHandle>, Diagnostic>

Every admitted graph-bound face handle in canonical provenance order.

§Errors

Returns EQ0901 only for an unexpected canonical handle serialization failure.

pub fn face_handle( &self, provenance_key: &str, ) -> Result<CadAuthoredFaceHandle, Diagnostic>

Bind one stable provenance key to this exact graph identity.

§Errors

Returns EQ0901 for an unknown or inadmissible provenance key or an unexpected canonical handle serialization failure.

pub fn resolve_face( &self, handle: &CadAuthoredFaceHandle, ) -> Result<&'static str, Diagnostic>

Validate one graph-bound handle, then reveal its stable provenance key.

§Errors

Returns EQ0901 before lookup for any foreign/stale graph digest or handle schema, then rejects a face outside this graph inventory.

pub fn face_area_m2( &self, handle: &CadAuthoredFaceHandle, ) -> Result<f64, Diagnostic>

Exact face area after validating the graph-bound handle.

pub fn face_boundary_loop_count( &self, handle: &CadAuthoredFaceHandle, ) -> Result<usize, Diagnostic>

Exact number of analytic boundary loops on the selected face.

pub fn rectangular_face_vertices_m( &self, handle: &CadAuthoredFaceHandle, ) -> Result<Option<[[f64; 3]; 4]>, Diagnostic>

Four outward-oriented vertices for a rectangular face, when applicable.

pub fn rectangular_face_centroid_m( &self, handle: &CadAuthoredFaceHandle, ) -> Result<Option<[f64; 3]>, Diagnostic>

Centroid of a rectangular selected face, when applicable.

pub fn planar_face_outward_normal( &self, handle: &CadAuthoredFaceHandle, ) -> Result<Option<[f64; 3]>, Diagnostic>

Constant outward unit normal for a planar selected face.

pub fn build_analytic(&self) -> Result<CadAuthoredBuild, Diagnostic>

Execute the bounded built-in analytic profile and close its receipt.

§Errors

Returns EQ0901 only if graph-bound lineage handles cannot be formed.

Trait Implementations§

§

impl Clone for CadAuthoredGraph

§

fn clone(&self) -> CadAuthoredGraph

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 CadAuthoredGraph

§

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

Formats the value using the given formatter. Read more
§

impl PartialEq for CadAuthoredGraph

§

fn eq(&self, other: &CadAuthoredGraph) -> 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 CadAuthoredGraph

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,