Struct DefEqCache 

pub struct DefEqCache { /* private fields */ }

Symmetry-aware cache for definitional equality checks

Implementations

impl DefEqCache

pub fn new(capacity: usize) -> Self

Create a new definitional equality cache

pub fn check_cache( &mut self, expr1: &SimplifiedExpr, expr2: &SimplifiedExpr, ) -> Option<bool>

Check if a definitional equality result is cached (symmetry-aware)

pub fn store_result( &mut self, expr1: &SimplifiedExpr, expr2: &SimplifiedExpr, result: bool, )

Store a definitional equality result (symmetry-aware)

pub fn clear(&mut self)

Clear the cache

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

Get cache statistics

pub fn hit_rate(&self) -> f64

Get hit rate