pub struct QuantRedundancy {
pub duplicates: FxHashMap<Box<[Result<ENodeIdx, TermIdx>]>, Vec<InstIdx>>,
pub sub_duplicates: FxHashMap<Blame, u32>,
}Fields§
§duplicates: FxHashMap<Box<[Result<ENodeIdx, TermIdx>]>, Vec<InstIdx>>§sub_duplicates: FxHashMap<Blame, u32>Implementations§
Source§impl QuantRedundancy
impl QuantRedundancy
pub fn redundant_count(&self) -> u32
pub fn redundant_ratio(&self) -> f64
pub fn unique_count(&self) -> u32
pub fn unique_inputs(&self) -> u32
pub fn input_multiplicativity(&self) -> f64
Trait Implementations§
Source§impl Debug for QuantRedundancy
impl Debug for QuantRedundancy
Source§impl Default for QuantRedundancy
impl Default for QuantRedundancy
Source§fn default() -> QuantRedundancy
fn default() -> QuantRedundancy
Returns the “default value” for a type. Read more
Auto Trait Implementations§
impl Freeze for QuantRedundancy
impl RefUnwindSafe for QuantRedundancy
impl Send for QuantRedundancy
impl Sync for QuantRedundancy
impl Unpin for QuantRedundancy
impl UnwindSafe for QuantRedundancy
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> 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