Struct bellperson::multiexp::DensityTracker

pub struct DensityTracker {
    pub bv: BitVec,
    pub total_density: usize,
}

Fields

bv: BitVec

total_density: usize

Implementations

impl DensityTracker

pub fn new() -> DensityTracker

pub fn add_element(&mut self)

pub fn inc(&mut self, idx: usize)

pub fn get_total_density(&self) -> usize

pub fn extend(&mut self, other: Self, is_input_density: bool)

Extend by concatenating other. If is_input_density is true, then we are tracking an input density, and other may contain a redundant input for the One element. Coalesce those as needed and track the result.

Trait Implementations

impl Clone for DensityTracker

pub fn clone(&self) -> DensityTracker

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DensityTracker

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for DensityTracker

impl PartialEq<DensityTracker> for DensityTracker

pub fn eq(&self, other: &DensityTracker) -> bool

This method tests for self and other values to be equal, and is used by ==.

pub fn ne(&self, other: &DensityTracker) -> bool

This method tests for !=.

impl<'a> QueryDensity for &'a DensityTracker

type Iter = Iter<'a>

Returns whether the base exists.

pub fn iter(self) -> Self::Iter

pub fn get_query_size(self) -> Option<usize>

impl StructuralEq for DensityTracker

impl StructuralPartialEq for DensityTracker