Struct hashconsing::HashConsign

pub struct HashConsign<T: Hash + Eq + Clone> { /* fields omitted */ }

The consign storing the actual hash consed elements as HConseds.

Methods

impl<T: Hash + Eq + Clone> HashConsign<T>

fn empty() -> Self

Creates an empty consign.

fn with_capacity(capacity: usize) -> Self

Creates an empty consign with a capacity.

fn fold<Acc, F>(&self, f: F, init: Acc) -> Acc where F: Fn(Acc, HConsed<T>) -> Acc

Fold on the elements stored in the consign.

fn len(&self) -> usize

The number of elements stored, mostly for testing.

Trait Implementations

impl<T: Hash + Eq + Clone> Display for HashConsign<T> where T: Hash + Display

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

Formats the value using the given formatter.

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

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

Hash conses something and returns the hash consed version.