Struct miden_processor::TraceLenSummary

pub struct TraceLenSummary { /* private fields */ }

Contains the data about lengths of the trace parts.

• main_trace_len contains the length of the main trace.
• range_trace_len contains the length of the range checker trace.
• chiplets_trace_len contains the trace lengths of the all chiplets (hash, bitwise, memory, kernel ROM)

Implementations

impl TraceLenSummary

pub fn new( main_trace_len: usize, range_trace_len: usize, chiplets_trace_len: ChipletsLengths ) -> Self

pub fn main_trace_len(&self) -> usize

Returns length of the main trace

pub fn range_trace_len(&self) -> usize

Returns length of the range table

pub fn chiplets_trace_len(&self) -> ChipletsLengths

Returns ChipletsLengths which contains trace lengths of all chilplets.

pub fn trace_len(&self) -> usize

Returns the maximum of all component lengths.

pub fn padded_trace_len(&self) -> usize

Returns trace_len rounded up to the next power of two.

Trait Implementations

impl Clone for TraceLenSummary

fn clone(&self) -> TraceLenSummary

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TraceLenSummary

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

Formats the value using the given formatter.

impl Default for TraceLenSummary

fn default() -> TraceLenSummary

Returns the “default value” for a type.

impl PartialEq for TraceLenSummary

fn eq(&self, other: &TraceLenSummary) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for TraceLenSummary

impl Eq for TraceLenSummary

impl StructuralEq for TraceLenSummary

impl StructuralPartialEq for TraceLenSummary