Struct AlphaCache 

pub struct AlphaCache { /* private fields */ }

An alpha-equivalence cache for repeated comparisons.

Caches the result of alpha_equiv to avoid redundant traversals.

Implementations

impl AlphaCache

pub fn new() -> Self

Create a new empty cache.

pub fn query(&self, e1: &Expr, e2: &Expr) -> Option<bool>

Check the cache, returning cached result if available.

pub fn alpha_equiv_cached(&mut self, e1: &Expr, e2: &Expr) -> bool

Check alpha equivalence, using and updating the cache.

pub fn num_equiv(&self) -> usize

Return the number of cached equivalences.

pub fn num_non_equiv(&self) -> usize

Return the number of cached non-equivalences.

pub fn clear(&mut self)

Clear the cache.

Trait Implementations

impl Clone for AlphaCache

fn clone(&self) -> AlphaCache

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AlphaCache

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

Formats the value using the given formatter.

impl Default for AlphaCache

fn default() -> AlphaCache

Returns the “default value” for a type.