RowMajorMatrixArena

openvm_circuit::arch

Trait RowMajorMatrixArena 

Source 
pub trait RowMajorMatrixArena<F>: Arena {
    // Required methods
    fn set_capacity(&mut self, trace_height: usize);
    fn width(&self) -> usize;
    fn trace_offset(&self) -> usize;
    fn into_matrix(self) -> RowMajorMatrix<F>;
}
Expand description

Helper trait for arenas backed by row-major matrices.

Required Methods§

Source

fn set_capacity(&mut self, trace_height: usize)

Set the arena’s capacity based on the projected trace height.

Source

fn width(&self) -> usize

Source

fn trace_offset(&self) -> usize

Source

fn into_matrix(self) -> RowMajorMatrix<F>

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§