pub struct MaterializationAnalysis {
pub total_solutions: usize,
pub estimated_memory: usize,
pub variable_stats: HashMap<String, VariableStats>,
}Expand description
Analysis of materialized results
Fields§
§total_solutions: usizeTotal number of solutions
estimated_memory: usizeEstimated memory usage
variable_stats: HashMap<String, VariableStats>Statistics per variable
Trait Implementations§
Source§impl Clone for MaterializationAnalysis
impl Clone for MaterializationAnalysis
Source§fn clone(&self) -> MaterializationAnalysis
fn clone(&self) -> MaterializationAnalysis
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 MaterializationAnalysis
impl Debug for MaterializationAnalysis
Source§impl Default for MaterializationAnalysis
impl Default for MaterializationAnalysis
Source§fn default() -> MaterializationAnalysis
fn default() -> MaterializationAnalysis
Returns the “default value” for a type. Read more
Auto Trait Implementations§
impl Freeze for MaterializationAnalysis
impl RefUnwindSafe for MaterializationAnalysis
impl Send for MaterializationAnalysis
impl Sync for MaterializationAnalysis
impl Unpin for MaterializationAnalysis
impl UnsafeUnpin for MaterializationAnalysis
impl UnwindSafe for MaterializationAnalysis
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 moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> PolicyExt for Twhere
T: ?Sized,
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.