Struct IndexedTraceAccess

pub struct IndexedTraceAccess { /* private fields */ }

IndexedTraceAccess is used to represent accessing an element in the execution trace during constraint evaluation. The trace_segment specifies how many trace commitments have preceded the specified segment. col_idx specifies the index of the column within that trace segment, and row_offset specifies the offset from the current row. For example, an element in the “next” row of the “main” trace would be specified by a trace_segment of 0 and a row_offset of 1.

Implementations

impl IndexedTraceAccess

pub fn new( trace_segment: TraceSegment, col_idx: usize, row_offset: usize, ) -> Self

pub fn trace_segment(&self) -> TraceSegment

Gets the trace segment of this IndexedTraceAccess.

pub fn col_idx(&self) -> usize

Gets the column index of this IndexedTraceAccess.

pub fn row_offset(&self) -> usize

Gets the row offset of this IndexedTraceAccess.

Trait Implementations

impl Clone for IndexedTraceAccess

fn clone(&self) -> IndexedTraceAccess

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for IndexedTraceAccess

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

Formats the value using the given formatter.

impl PartialEq for IndexedTraceAccess

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Copy for IndexedTraceAccess

impl Eq for IndexedTraceAccess

impl StructuralPartialEq for IndexedTraceAccess