Trait Arena 

pub trait Arena {
    // Required methods
    fn with_capacity(height: usize, width: usize) -> Self;
    fn is_empty(&self) -> bool;

    // Provided method
    fn current_trace_height(&self) -> usize { ... }
}

Required Methods

fn with_capacity(height: usize, width: usize) -> Self

Currently width always refers to the main trace width.

fn is_empty(&self) -> bool

Provided Methods

fn current_trace_height(&self) -> usize

Only used for metric collection purposes. Intended usage is that for a record arena that corresponds to a single trace matrix, this function can extract the current number of used rows of the corresponding trace matrix. This is currently expected to work only for MatrixRecordArena.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl Arena for DenseRecordArena

impl<F: Field> Arena for MatrixRecordArena<F>