pub struct IntegrationStats {
pub rhs_evaluations: usize,
pub accepted_steps: usize,
pub rejected_steps: usize,
}Expand description
Work counters reported by a completed propagation.
Fields§
§rhs_evaluations: usizeRight-hand-side evaluations.
accepted_steps: usizeAccepted integration steps.
rejected_steps: usizeRejected integration steps.
Trait Implementations§
Source§impl Clone for IntegrationStats
impl Clone for IntegrationStats
Source§fn clone(&self) -> IntegrationStats
fn clone(&self) -> IntegrationStats
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreimpl Copy for IntegrationStats
Source§impl Debug for IntegrationStats
impl Debug for IntegrationStats
Source§impl Default for IntegrationStats
impl Default for IntegrationStats
Source§fn default() -> IntegrationStats
fn default() -> IntegrationStats
Returns the “default value” for a type. Read more
impl Eq for IntegrationStats
Source§impl PartialEq for IntegrationStats
impl PartialEq for IntegrationStats
impl StructuralPartialEq for IntegrationStats
Auto Trait Implementations§
impl Freeze for IntegrationStats
impl RefUnwindSafe for IntegrationStats
impl Send for IntegrationStats
impl Sync for IntegrationStats
impl Unpin for IntegrationStats
impl UnsafeUnpin for IntegrationStats
impl UnwindSafe for IntegrationStats
Blanket Implementations§
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
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
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>
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 moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
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 moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.