Struct ScopedDefEqCache 

pub struct ScopedDefEqCache<'call> { /* private fields */ }

DefEqCache branded with the lifetime of ONE outermost kernel call. See DefEqCache::scoped.

Implementations

impl ScopedDefEqCache<'_>

pub fn get(&mut self, a: TermId, b: TermId) -> Option<bool>

What was decided about this pair, in either order.

pub fn insert(&mut self, a: TermId, b: TermId, equal: bool)

Record a decision; two answers for one pair is caught here.

pub fn len(&self) -> usize

How many pairs have been decided.

pub fn is_empty(&self) -> bool

Whether nothing has been decided.

pub fn hits(&self) -> u64

Lookups answered from the cache.

pub fn misses(&self) -> u64

Lookups that had to be decided.