Struct SteadyStokesMiniSolution2d
pub struct SteadyStokesMiniSolution2d { /* private fields */ }Description
Accepted coherent-SI fields and balance evidence for one canonical Stokes solve.
Physical fields are bound to exact Semantic Field identities. The complete dimensionless solution remains available for solver, assembly, and congruence evidence; its values must not be interpreted as SI quantities. Absence of a pressure gauge is retained explicitly: a traction-determined pressure reference never fabricates a zero multiplier.
Implementations§
§impl SteadyStokesMiniSolution2d
impl SteadyStokesMiniSolution2d
pub fn velocity_field(&self) -> Id<Field>
pub fn velocity_field(&self) -> Id<Field>
Exact Semantic velocity Field represented by Self::velocity.
pub fn pressure_field(&self) -> Id<Field>
pub fn pressure_field(&self) -> Id<Field>
Exact Semantic pressure Field represented by Self::pressure.
pub fn force_potential_field(&self) -> Id<Field>
pub fn force_potential_field(&self) -> Id<Field>
Exact retained conservative-force-potential Field.
pub const fn velocity(&self) -> &SimplicialMiniVelocityField2d
pub const fn velocity(&self) -> &SimplicialMiniVelocityField2d
Physical velocity in metres per second on the original mesh.
pub const fn pressure(&self) -> &SimplicialP1Field
pub const fn pressure(&self) -> &SimplicialP1Field
Physical pressure in pascals on the original mesh.
pub const fn pressure_reference(&self) -> SteadyStokesPressureReference2d
pub const fn pressure_reference(&self) -> SteadyStokesPressureReference2d
Exact physical pressure-reference evidence.
pub const fn gauge_multiplier(&self) -> Option<f64>
pub const fn gauge_multiplier(&self) -> Option<f64>
Physical gauge multiplier only when a zero-integral constraint exists.
pub fn boundary_reaction(&self) -> Result<[f64; 2], Diagnostic>
pub fn boundary_reaction(&self) -> Result<[f64; 2], Diagnostic>
Physical boundary reaction per unit out-of-plane thickness, in N/m.
§Errors
Rejects non-finite physical force reconstruction.
pub fn integrated_body_force(&self) -> Result<[f64; 2], Diagnostic>
pub fn integrated_body_force(&self) -> Result<[f64; 2], Diagnostic>
Physical integrated body force per unit out-of-plane thickness, in N/m.
§Errors
Rejects non-finite physical force reconstruction.
pub fn integrated_boundary_traction(&self) -> Result<[f64; 2], Diagnostic>
pub fn integrated_boundary_traction(&self) -> Result<[f64; 2], Diagnostic>
Applied boundary traction per unit out-of-plane thickness, in N/m.
§Errors
Rejects non-finite physical force reconstruction.
pub fn pressure_integral(&self) -> Result<f64, Diagnostic>
pub fn pressure_integral(&self) -> Result<f64, Diagnostic>
Physical pressure integral over the intrinsic 2D Domain, in Pa m².
§Errors
Rejects non-finite physical pressure integration.
pub const fn scales(&self) -> IncompressibleFlowScaleProfile2d
pub const fn scales(&self) -> IncompressibleFlowScaleProfile2d
Exact characteristic scales selected by the Realization.
pub const fn dimensionless_solution(&self) -> &SimplicialMiniStokesSolution2d
pub const fn dimensionless_solution(&self) -> &SimplicialMiniStokesSolution2d
Accepted dimensionless algebra, assembly, and solver evidence.
Trait Implementations§
§impl Clone for SteadyStokesMiniSolution2d
impl Clone for SteadyStokesMiniSolution2d
§impl Debug for SteadyStokesMiniSolution2d
impl Debug for SteadyStokesMiniSolution2d
§impl PartialEq for SteadyStokesMiniSolution2d
impl PartialEq for SteadyStokesMiniSolution2d
§fn eq(&self, other: &SteadyStokesMiniSolution2d) -> bool
fn eq(&self, other: &SteadyStokesMiniSolution2d) -> bool
self and other values to be equal, and is used by ==.impl StructuralPartialEq for SteadyStokesMiniSolution2d
Auto Trait Implementations§
impl Freeze for SteadyStokesMiniSolution2d
impl RefUnwindSafe for SteadyStokesMiniSolution2d
impl Send for SteadyStokesMiniSolution2d
impl Sync for SteadyStokesMiniSolution2d
impl Unpin for SteadyStokesMiniSolution2d
impl UnsafeUnpin for SteadyStokesMiniSolution2d
impl UnwindSafe for SteadyStokesMiniSolution2d
Blanket Implementations§
Source§impl<T> Any for Twhere
T: 'static + ?Sized,
impl<T> Any for Twhere
T: 'static + ?Sized,
§impl<Src, Scheme> ApproxFrom<Src, Scheme> for Srcwhere
Scheme: ApproxScheme,
impl<Src, Scheme> ApproxFrom<Src, Scheme> for Srcwhere
Scheme: ApproxScheme,
§fn approx_from(src: Src) -> Result<Src, <Src as ApproxFrom<Src, Scheme>>::Err>
fn approx_from(src: Src) -> Result<Src, <Src as ApproxFrom<Src, Scheme>>::Err>
§impl<Dst, Src, Scheme> ApproxInto<Dst, Scheme> for Srcwhere
Dst: ApproxFrom<Src, Scheme>,
Scheme: ApproxScheme,
impl<Dst, Src, Scheme> ApproxInto<Dst, Scheme> for Srcwhere
Dst: ApproxFrom<Src, Scheme>,
Scheme: ApproxScheme,
§type Err = <Dst as ApproxFrom<Src, Scheme>>::Err
type Err = <Dst as ApproxFrom<Src, Scheme>>::Err
§fn approx_into(self) -> Result<Dst, <Src as ApproxInto<Dst, Scheme>>::Err>
fn approx_into(self) -> Result<Dst, <Src as ApproxInto<Dst, Scheme>>::Err>
Source§impl<T> Borrow<T> for Twhere
T: ?Sized,
impl<T> Borrow<T> for Twhere
T: ?Sized,
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<T, Dst> ConvAsUtil<Dst> for T
impl<T, Dst> ConvAsUtil<Dst> for T
§fn approx(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst>,
fn approx(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst>,
§impl<T> ConvUtil for T
impl<T> ConvUtil for T
§fn approx_as<Dst>(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst>,
fn approx_as<Dst>(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst>,
§fn approx_as_by<Dst, Scheme>(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst, Scheme>,
Scheme: ApproxScheme,
fn approx_as_by<Dst, Scheme>(self) -> Result<Dst, Self::Err>where
Self: Sized + ApproxInto<Dst, Scheme>,
Scheme: ApproxScheme,
§fn into_as<Dst>(self) -> Dstwhere
Self: Sized + Into<Dst>,
fn into_as<Dst>(self) -> Dstwhere
Self: Sized + Into<Dst>,
§fn try_as<Dst>(self) -> Result<Dst, Self::Err>where
Self: Sized + TryInto<Dst>,
fn try_as<Dst>(self) -> Result<Dst, Self::Err>where
Self: Sized + TryInto<Dst>,
§impl<T> DistributionExt for Twhere
T: ?Sized,
impl<T> DistributionExt for Twhere
T: ?Sized,
fn rand<T>(&self, rng: &mut (impl Rng + ?Sized)) -> Twhere
Self: Distribution<T>,
Source§impl<T> From<T> for T
impl<T> From<T> for T
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T, U> Into<U> for Twhere
U: From<T>,
impl<T, U> Into<U> for Twhere
U: From<T>,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
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 moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where
F: FnOnce(&Self) -> bool,
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where
F: FnOnce(&Self) -> bool,
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
impl<T> Pointable for T
Source§impl<T> Same for T
impl<T> Same for T
§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
self from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
self is actually part of its subset T (and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
self.to_subset but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
self to the equivalent element of its superset.