Struct MemoConfig 

pub struct MemoConfig {
    pub max_entries: usize,
    pub min_steps_to_cache: u32,
    pub eviction_threshold: f64,
}

Configuration parameters for a WhnfMemo instance.

Fields

max_entries: usize

Maximum number of entries in the cache before eviction is triggered.

min_steps_to_cache: u32

Minimum number of reduction steps required before a result is cached.

Results achieved in fewer steps are cheap to recompute and not worth the memory overhead.

eviction_threshold: f64

Fraction of max_entries used as the access-count threshold during cold eviction. Entries whose access_count is below floor(max_entries * eviction_threshold) are considered cold and may be removed.

Trait Implementations

impl Clone for MemoConfig

fn clone(&self) -> MemoConfig

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for MemoConfig

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for MemoConfig

fn default() -> Self

Returns the “default value” for a type.