Struct AlphaEqCache 

pub struct AlphaEqCache { /* private fields */ }

Alpha-equality cache.

Implementations

impl AlphaEqCache

pub fn new() -> Self

pub fn mark_equal(&mut self, a: u64, b: u64)

pub fn mark_inequal(&mut self, a: u64, b: u64)

pub fn query(&self, a: u64, b: u64) -> Option<bool>

pub fn stats(&self) -> (usize, usize)

Trait Implementations

impl Default for AlphaEqCache

fn default() -> Self

Returns the “default value” for a type.