Enum DualRowIndicator

pub enum DualRowIndicator {
    CurrentMain(usize),
    CurrentAux(usize),
    NextMain(usize),
    NextAux(usize),
}

The position of a variable in a constraint polynomial that operates on two rows (current and next) of the execution trace.

Variants

CurrentMain(usize)

CurrentAux(usize)

NextMain(usize)

NextAux(usize)

Trait Implementations

impl<'arbitrary> Arbitrary<'arbitrary> for DualRowIndicator

fn arbitrary(u: &mut Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the given unstructured data.

fn arbitrary_take_rest(u: Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the entirety of the given unstructured data.

fn size_hint(depth: usize) -> (usize, Option<usize>)

Get a size hint for how many bytes out of an Unstructured this type needs to construct itself.

fn try_size_hint( depth: usize, ) -> Result<(usize, Option<usize>), MaxRecursionReached>

Get a size hint for how many bytes out of an Unstructured this type needs to construct itself.

impl Clone for DualRowIndicator

fn clone(&self) -> DualRowIndicator

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for DualRowIndicator

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

Formats the value using the given formatter.

impl Display for DualRowIndicator

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

Formats the value using the given formatter.

impl Hash for DualRowIndicator

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 InputIndicator for DualRowIndicator

fn is_main_table_column(&self) -> bool

true iff self refers to a column in the main table.

fn is_current_row(&self) -> bool

true iff self refers to the current row.

fn column(&self) -> usize

The index of the indicated (main or auxiliary) column.

fn main_table_input(index: usize) -> Self

fn aux_table_input(index: usize) -> Self

fn evaluate( &self, main_table: ArrayView2<'_, BFieldElement>, aux_table: ArrayView2<'_, XFieldElement>, ) -> XFieldElement

impl PartialEq for DualRowIndicator

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

fn to_tokens(&self, tokens: &mut TokenStream)

Write self to the given TokenStream.

fn to_token_stream(&self) -> TokenStream

Convert self directly into a TokenStream object.

fn into_token_stream(self) -> TokenStream

where Self: Sized,

Convert self directly into a TokenStream object.

impl Copy for DualRowIndicator

impl Eq for DualRowIndicator

impl StructuralPartialEq for DualRowIndicator