Struct TransientCellCenteredTransportCapabilities
pub struct TransientCellCenteredTransportCapabilities { /* private fields */ }Description
Explicit execution capability for bounded transient transport profiles.
A generic Field-wise backend capability does not imply that its adapter can execute transient conservative transport. Constructing this witness is the adapter’s explicit claim that the enclosed Field-wise capability also implements each enclosed convection scheme together with the exact backward-difference and orthogonal-TPFA composition admitted by this module. The transport resolver still validates the complete spatial, algebraic, solver, and placement envelope; this type prevents generic axes from silently standing in for method-specific transformations.
Implementations§
§impl TransientCellCenteredTransportCapabilities
impl TransientCellCenteredTransportCapabilities
pub fn new(
fieldwise: RealizationCapabilities,
convection_schemes: impl IntoIterator<Item = CellCenteredConvectionScheme>,
) -> Result<TransientCellCenteredTransportCapabilities, Diagnostic>
pub fn new( fieldwise: RealizationCapabilities, convection_schemes: impl IntoIterator<Item = CellCenteredConvectionScheme>, ) -> Result<TransientCellCenteredTransportCapabilities, Diagnostic>
Claim exact convection treatments over one ordinary Field-wise capability.
§Errors
Returns EQ0807 when the adapter claims no executable treatment.
pub fn with_spatial_periodic_translation(
self,
) -> TransientCellCenteredTransportCapabilities
pub fn with_spatial_periodic_translation( self, ) -> TransientCellCenteredTransportCapabilities
Add the exact Cartesian translation seam implemented by this adapter.
pub const fn fieldwise(&self) -> &RealizationCapabilities
pub const fn fieldwise(&self) -> &RealizationCapabilities
Generic spatial, solver (including scalar), layout, and target capability that remains part of this exact transport execution profile.
pub fn supports_convection(&self, scheme: CellCenteredConvectionScheme) -> bool
pub fn supports_convection(&self, scheme: CellCenteredConvectionScheme) -> bool
Whether the adapter implements one exact convection treatment.
pub const fn supports_spatial_periodic_translation(&self) -> bool
pub const fn supports_spatial_periodic_translation(&self) -> bool
Whether the adapter pairs conforming Cartesian periodic facets and executes them as one conservative coupled-face action.
Trait Implementations§
§impl Clone for TransientCellCenteredTransportCapabilities
impl Clone for TransientCellCenteredTransportCapabilities
§impl Debug for TransientCellCenteredTransportCapabilities
impl Debug for TransientCellCenteredTransportCapabilities
§impl PartialEq for TransientCellCenteredTransportCapabilities
impl PartialEq for TransientCellCenteredTransportCapabilities
§fn eq(&self, other: &TransientCellCenteredTransportCapabilities) -> bool
fn eq(&self, other: &TransientCellCenteredTransportCapabilities) -> bool
self and other values to be equal, and is used by ==.impl Eq for TransientCellCenteredTransportCapabilities
impl StructuralPartialEq for TransientCellCenteredTransportCapabilities
Auto Trait Implementations§
impl Freeze for TransientCellCenteredTransportCapabilities
impl RefUnwindSafe for TransientCellCenteredTransportCapabilities
impl Send for TransientCellCenteredTransportCapabilities
impl Sync for TransientCellCenteredTransportCapabilities
impl Unpin for TransientCellCenteredTransportCapabilities
impl UnsafeUnpin for TransientCellCenteredTransportCapabilities
impl UnwindSafe for TransientCellCenteredTransportCapabilities
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>,
§impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
§impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key and return true if they are equal.§impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Source§impl<T> From<T> for T
impl<T> From<T> for T
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.