Struct InferenceCache 

pub struct InferenceCache { /* private fields */ }

Memoization cache for inference results. Keyed by (goal_term_hash, kb_version) → bindings.

Implementations

impl InferenceCache

pub fn new(max_entries: usize) -> Self

Create a new cache with the given capacity (default 1024).

pub fn get(&mut self, key: &InferenceCacheKey) -> Option<&CachedResult>

Look up a cached result. Records hit/miss statistics.

pub fn insert(&mut self, key: InferenceCacheKey, result: CachedResult)

Insert a result. Evicts the least recently used entry when at capacity.

pub fn invalidate_for_kb_version(&mut self, old_version: u64)

Invalidate all entries that were computed for a specific KB version.

pub fn hit_rate(&self) -> f64

Compute the hit rate as a fraction in [0.0, 1.0].

pub fn stats(&self) -> CacheStats

Return a snapshot of cache statistics.

pub fn len(&self) -> usize

Number of currently stored entries.

pub fn is_empty(&self) -> bool

Whether the cache is empty.

Trait Implementations

impl Default for InferenceCache

fn default() -> Self

Returns the “default value” for a type.