pub struct AssertLtWhenTransitionAir(pub AssertLtSubAir);
Expand description
The same subair as AssertLtSubAir 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: AssertLtSubAir
Trait Implementations§
Source§impl Clone for AssertLtWhenTransitionAir
impl Clone for AssertLtWhenTransitionAir
Source§fn clone(&self) -> AssertLtWhenTransitionAir
fn clone(&self) -> AssertLtWhenTransitionAir
Returns a copy of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreSource§impl Debug for AssertLtWhenTransitionAir
impl Debug for AssertLtWhenTransitionAir
Source§impl<AB: InteractionBuilder> SubAir<AB> for AssertLtWhenTransitionAir
impl<AB: InteractionBuilder> SubAir<AB> for AssertLtWhenTransitionAir
Source§fn eval<'a>(
&'a self,
builder: &'a mut AB,
(io, lower_decomp): (AssertLessThanIo<AB::Expr>, &'a [AB::Var]),
)
fn eval<'a>( &'a self, builder: &'a mut AB, (io, lower_decomp): (AssertLessThanIo<AB::Expr>, &'a [AB::Var]), )
Imposes the non-interaction constraints on all except the last row. This is
intended for use when the comparators x, y
are on adjacent rows.
This function does also enable the interaction constraints on every row.
The eval_interactions
performs range checks on lower_decomp
on every row, even
though in this AIR the lower_decomp is not used on the last row.
This simply means the trace generation must fill in the last row with numbers in
range (e.g., with zeros)
Source§type AirContext<'a> = (AssertLessThanIo<<AB as AirBuilder>::Expr>, &'a [<AB as AirBuilder>::Var])
where
AB::Expr: 'a,
AB::Var: 'a,
AB: 'a
type AirContext<'a> = (AssertLessThanIo<<AB as AirBuilder>::Expr>, &'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.impl Copy for AssertLtWhenTransitionAir
Auto Trait Implementations§
impl Freeze for AssertLtWhenTransitionAir
impl RefUnwindSafe for AssertLtWhenTransitionAir
impl Send for AssertLtWhenTransitionAir
impl Sync for AssertLtWhenTransitionAir
impl Unpin for AssertLtWhenTransitionAir
impl UnwindSafe for AssertLtWhenTransitionAir
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more