Struct air_ir::TraceAccess

pub struct TraceAccess {
    pub segment: TraceSegmentId,
    pub column: TraceColumnIndex,
    pub row_offset: usize,
}

TraceAccess is like [SymbolAccess], but is used to describe an access to a specific trace column or columns.

Fields

segment: TraceSegmentId

The trace segment being accessed

column: TraceColumnIndex

The index of the first column at which the access begins

row_offset: usize

The offset from the current row.

Defaults to 0, which indicates no offset/the current row.

For example, if accessing a trace column with a', where a is bound to a single column, the row offset would be 1, as the ' modifier indicates the “next” row.

Implementations

impl TraceAccess

pub const fn new( segment: TraceSegmentId, column: TraceColumnIndex, row_offset: usize ) -> Self

Creates a new TraceAccess.

pub fn clone_with_offsets(&self, offsets: &[Vec<usize>]) -> Self

Creates a new TraceAccess with a new column index that is updated according to the provided offsets. All other data is left unchanged.

Trait Implementations

impl Clone for TraceAccess

fn clone(&self) -> TraceAccess

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TraceAccess

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

Formats the value using the given formatter.

impl PartialEq<TraceAccess> for TraceAccess

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

impl Eq for TraceAccess

impl StructuralEq for TraceAccess

impl StructuralPartialEq for TraceAccess