Struct SparseMemoryStats 

pub struct SparseMemoryStats {
    pub include_data: usize,
    pub include_offsets: usize,
    pub negated_data: usize,
    pub negated_offsets: usize,
    pub weights: usize,
    pub polarities: usize,
    pub total_literals: usize,
    pub n_clauses: usize,
    pub n_features: usize,
}

Memory usage breakdown for sparse clause bank.

Provides detailed statistics for memory analysis and optimization decisions.

Fields

include_data: usize

Size of include indices array in bytes.

include_offsets: usize

Size of include offsets array in bytes.

negated_data: usize

Size of negated indices array in bytes.

negated_offsets: usize

Size of negated offsets array in bytes.

weights: usize

Size of weights array in bytes.

polarities: usize

Size of polarities array in bytes.

total_literals: usize

Total number of active literals across all clauses.

n_clauses: usize

Number of clauses.

n_features: usize

Number of features.

Implementations

impl SparseMemoryStats

pub const fn total(&self) -> usize

Returns total memory usage in bytes.

pub fn avg_literals_per_clause(&self) -> f32

Returns average literals per clause.

pub fn compression_ratio(&self, n_features: usize) -> f32

Returns compression ratio compared to dense storage.

Arguments

• n_features - Number of features (for dense size calculation)

pub fn sparsity(&self) -> f32

Returns sparsity ratio (fraction of literals that are active).

Trait Implementations

impl Clone for SparseMemoryStats

fn clone(&self) -> SparseMemoryStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SparseMemoryStats

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

Formats the value using the given formatter.

impl Copy for SparseMemoryStats