Struct air_script_core::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<IndexedTraceAccess> for IndexedTraceAccess

fn eq(&self, other: &IndexedTraceAccess) -> 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 IndexedTraceAccess

impl Eq for IndexedTraceAccess

impl StructuralEq for IndexedTraceAccess

impl StructuralPartialEq for IndexedTraceAccess