pub struct ModelBuilderStats {
pub models_built: u64,
pub vars_assigned: u64,
pub minimizations: u64,
}Expand description
Statistics for model builder.
Fields§
§models_built: u64Models built.
vars_assigned: u64Variables assigned.
minimizations: u64Minimizations performed.
Trait Implementations§
Source§impl Clone for ModelBuilderStats
impl Clone for ModelBuilderStats
Source§fn clone(&self) -> ModelBuilderStats
fn clone(&self) -> ModelBuilderStats
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for ModelBuilderStats
impl Debug for ModelBuilderStats
Source§impl Default for ModelBuilderStats
impl Default for ModelBuilderStats
Source§fn default() -> ModelBuilderStats
fn default() -> ModelBuilderStats
Returns the “default value” for a type. Read more
Auto Trait Implementations§
impl Freeze for ModelBuilderStats
impl RefUnwindSafe for ModelBuilderStats
impl Send for ModelBuilderStats
impl Sync for ModelBuilderStats
impl Unpin for ModelBuilderStats
impl UnwindSafe for ModelBuilderStats
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> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
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 more