Struct IsLtArrayWhenTransitionAir

pub struct IsLtArrayWhenTransitionAir<const NUM: usize>(pub IsLtArraySubAir<NUM>);

The same subair as IsLtArraySubAir except that non-range check constraints are not imposed on the last row. Intended use case is for asserting less than between entries in adjacent rows.

Tuple Fields

0: IsLtArraySubAir<NUM>

Trait Implementations

impl<const NUM: usize> Clone for IsLtArrayWhenTransitionAir<NUM>

fn clone(&self) -> IsLtArrayWhenTransitionAir<NUM>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<const NUM: usize> Debug for IsLtArrayWhenTransitionAir<NUM>

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

Formats the value using the given formatter.

impl<AB: InteractionBuilder, const NUM: usize> SubAir<AB> for IsLtArrayWhenTransitionAir<NUM>

type AirContext<'a> = (IsLtArrayIo<<AB as AirBuilder>::Expr, NUM>, IsLtArrayAuxColsRef<'a, <AB as AirBuilder>::Var>) where AB::Expr: 'a, AB::Var: 'a, AB: 'a

Type to define the context, typically in terms of AB::Expr that are needed to define the SubAir’s constraints.

fn eval<'a>( &'a self, builder: &'a mut AB, (io, aux): (IsLtArrayIo<AB::Expr, NUM>, IsLtArrayAuxColsRef<'a, AB::Var>), )

where AB::Var: 'a, AB::Expr: 'a,

impl<const NUM: usize> Copy for IsLtArrayWhenTransitionAir<NUM>