Struct hashconsing::HConsign

pub struct HConsign<T: Hash + Eq + Clone, S = RandomState> { /* private fields */ }

The consign storing the actual hash consed elements as HConseds.

Implementations

impl<T: Hash + Eq + Clone> HConsign<T, RandomState>

pub fn empty() -> Self

Creates an empty consign.

pub fn with_capacity(capacity: usize) -> Self

Creates an empty consign with a capacity.

impl<T: Hash + Eq + Clone, S> HConsign<T, S>

pub fn fold<Acc, F>(&self, init: Acc, f: F) -> Accwhere F: FnMut(Acc, HConsed<T>) -> Acc,

Fold on the elements stored in the consign.

pub fn fold_res<Acc, F, E>(&self, init: Acc, f: F) -> Result<Acc, E>where F: FnMut(Acc, HConsed<T>) -> Result<Acc, E>,

Fold on the elements stored in the consign, result version.

pub fn len(&self) -> usize

The number of elements stored, mostly for testing.

pub fn capacity(&self) -> usize

Capacity of the underlying hashtable, mostly for testing.

pub fn is_empty(&self) -> bool

True if the consign is empty.

impl<T: Hash + Eq + Clone, S: BuildHasher> HConsign<T, S>

pub fn with_hasher(build_hasher: S) -> Self

Creates an empty consign with a custom hash

pub fn with_capacity_and_hasher(capacity: usize, build_hasher: S) -> Self

Creates an empty consign with a capacity.

Trait Implementations

impl<T, S> Display for HConsign<T, S>where T: Hash + Display + Eq + Clone,

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

Formats the value using the given formatter.

impl<'a, T: Hash + Eq + Clone, S: BuildHasher> HashConsign<T> for &'a mut HConsign<T, S>

fn mk_is_new(self, elm: T) -> (HConsed<T>, bool)

Hashconses something and returns the hash consed version.

fn collect(self)

Removes dead elements from the consign.

fn shrink_to_fit(self)

Shrinks the capacity of the consign as much as possible.

fn collect_to_fit(self)

Calls collect and shrink_to_fit.

fn reserve(self, additional: usize)

Reserves capacity for at least additional more elements.

fn mk(self, elm: T) -> HConsed<T>

Creates a HConsed element.