Struct AssertLessThanIo

#[repr(C)]
pub struct AssertLessThanIo<T> {
    pub x: T,
    pub y: T,
    pub count: T,
}

The IO is typically provided with T = AB::Expr as external context.

Fields

x: T

y: T

count: T

Will only apply constraints when count != 0. Range checks are done with multiplicity count. If count == 0 then no range checks are done. In practice count is always boolean, although this is not enforced by the subair.

N.B.: in fact range checks could always be done, if the aux subrow values are set to 0 when count == 0. This woud slightly simplify the range check interactions, although usually doesn’t change the overall constraint degree. It however leads to the annoyance that you must update the RangeChecker’s multiplicities even on dummy padding rows. To improve quality of life, we currently use this more complex constraint.

Implementations

impl<T> AssertLessThanIo<T>

pub fn new(x: impl Into<T>, y: impl Into<T>, count: impl Into<T>) -> Self

Trait Implementations

impl<T: Clone> Clone for AssertLessThanIo<T>

fn clone(&self) -> AssertLessThanIo<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for AssertLessThanIo<T>

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

Formats the value using the given formatter.

impl<T: Default> Default for AssertLessThanIo<T>

fn default() -> AssertLessThanIo<T>

Returns the “default value” for a type.

impl<T: Copy> Copy for AssertLessThanIo<T>