Struct WhnfCache 

pub struct WhnfCache { /* private fields */ }

Cache for weak head normal form (WHNF) reduction results

Implementations

impl WhnfCache

pub fn new(capacity: usize, transparency_mode: bool) -> Self

Create a new WHNF cache

pub fn lookup(&mut self, expr: &SimplifiedExpr) -> Option<SimplifiedExpr>

Look up an expression’s WHNF in the cache

pub fn store(&mut self, expr: &SimplifiedExpr, whnf: SimplifiedExpr)

Store an expression and its WHNF in the cache

pub fn clear(&mut self)

Clear the WHNF cache

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

Get cache statistics

pub fn hit_rate(&self) -> f64

Get hit rate

pub fn set_transparency(&mut self, mode: bool)

Set transparency mode

pub fn is_transparent(&self) -> bool

Get current transparency mode