pub struct CutAwareMetrics {
pub searches_performed: AtomicU64,
pub cut_gates_triggered: AtomicU64,
pub expansions_pruned: AtomicU64,
pub avg_search_depth: AtomicU64,
pub cut_recomputations: AtomicU64,
pub zone_boundary_crossings: AtomicU64,
}Expand description
Performance metrics for cut-aware operations
Fields§
§searches_performed: AtomicU64§cut_gates_triggered: AtomicU64§expansions_pruned: AtomicU64§avg_search_depth: AtomicU64§cut_recomputations: AtomicU64§zone_boundary_crossings: AtomicU64Implementations§
Trait Implementations§
Source§impl Debug for CutAwareMetrics
impl Debug for CutAwareMetrics
Source§impl Default for CutAwareMetrics
impl Default for CutAwareMetrics
Source§fn default() -> CutAwareMetrics
fn default() -> CutAwareMetrics
Returns the “default value” for a type. Read more
Auto Trait Implementations§
impl !Freeze for CutAwareMetrics
impl RefUnwindSafe for CutAwareMetrics
impl Send for CutAwareMetrics
impl Sync for CutAwareMetrics
impl Unpin for CutAwareMetrics
impl UnwindSafe for CutAwareMetrics
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> 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