Struct MemoryOptimizer 

pub struct MemoryOptimizer { /* private fields */ }

Memory optimizer with size-class pools

Implementations

impl MemoryOptimizer

pub fn new() -> Self

Create a new memory optimizer

pub fn set_prefetch(&mut self, enable: bool)

Enable or disable prefetching

pub fn stats(&self) -> &MemoryOptStats

Get statistics

pub fn reset_stats(&mut self)

Reset statistics

pub fn allocate(&mut self, num_literals: usize) -> Vec<u8>

Allocate memory for a clause of given size

pub fn free(&mut self, buffer: Vec<u8>, num_literals: usize)

Free memory for a clause

pub fn prefetch<T>(&self, _ptr: *const T)

Prefetch memory location (hint to CPU)

pub fn compact(&mut self)

Compact memory pools (release unused blocks)

pub fn clear_pools(&mut self)

Clear all pools

pub fn usage_by_size_class(&self) -> HashMap<SizeClass, usize>

Get memory usage by size class

pub fn is_memory_pressure_high(&self) -> bool

Check if memory pressure is high

pub fn recommend_action(&self) -> MemoryAction

Get recommended action based on memory pressure

Trait Implementations

impl Debug for MemoryOptimizer

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

Formats the value using the given formatter.

impl Default for MemoryOptimizer

fn default() -> Self

Returns the “default value” for a type.