Struct SimplificationCache 

pub struct SimplificationCache { /* private fields */ }

Thread-safe cache for expression simplification results.

Caches the result of expensive simplification operations to avoid re-running e-graph saturation for the same expressions.

Implementations

impl SimplificationCache

pub fn new() -> Self

Create a new simplification cache with default size

pub fn with_capacity(max_size: usize) -> Self

Create a new simplification cache with specified maximum size

pub fn get_or_simplify<F>(&self, expr: &Expression, simplify: F) -> Expression

where F: FnOnce() -> Expression,

Get or compute a simplified expression

pub fn clear(&self)

Clear the cache

pub fn len(&self) -> usize

Get the number of cached entries

pub fn is_empty(&self) -> bool

Check if the cache is empty

pub fn stats(&self) -> CacheStats

Get cache statistics

Trait Implementations

impl Default for SimplificationCache

fn default() -> Self

Returns the “default value” for a type.