Struct StaticIndex 

pub struct StaticIndex {
    pub dense: DenseMask,
    pub sparse: TransitionMatrix,
    pub num_constraints: usize,
}

Combined STATIC index: dense mask for the first d layers, sparse CSR matrix for all deeper layers.

Fields

dense: DenseMask

Bit-packed dense mask covering the first d trie levels.

sparse: TransitionMatrix

CSR transition matrix for levels d..L.

num_constraints: usize

Total number of constraints |C|.

Implementations

impl StaticIndex

pub fn new( dense: DenseMask, sparse: TransitionMatrix, num_constraints: usize, ) -> Self

pub fn check_invariants(&self) -> Result<(), String>

Quick sanity check delegating to both sub-structures.

Trait Implementations

impl Clone for StaticIndex

fn clone(&self) -> StaticIndex

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StaticIndex

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

Formats the value using the given formatter.

impl Display for StaticIndex

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

Formats the value using the given formatter.