Enum ColumnRef 

pub enum ColumnRef {
    Current(Column),
    Next(Column),
}

A row-relative column reference.

AIR constraint expressions use ColumnRef to address values in the current row or the next row. This is the key distinction from plonkish-cat’s absolute Wire references.

Examples

use machine_cat::{Column, ColumnRef};

let curr = ColumnRef::Current(Column::new(0));
let next = ColumnRef::Next(Column::new(1));
assert_eq!(curr.column().index(), 0);
assert_eq!(next.column().index(), 1);

Variants

Current(Column)

The value of a column in the current row.

Next(Column)

The value of a column in the next row.

Implementations

impl ColumnRef

pub fn column(self) -> Column

The referenced column, regardless of row position.

pub fn is_current(self) -> bool

Whether this references the current row.

pub fn is_next(self) -> bool

Whether this references the next row.

Trait Implementations

impl Clone for ColumnRef

fn clone(&self) -> ColumnRef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ColumnRef

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

Formats the value using the given formatter.

impl Display for ColumnRef

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

Formats the value using the given formatter.

impl Hash for ColumnRef

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ColumnRef

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

impl Eq for ColumnRef

impl StructuralPartialEq for ColumnRef