Struct IsLessThanIo

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

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

Fields

x: T

y: T

out: T

The boolean output, constrained to equal (x < y) when count != 0.

count: T

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> IsLessThanIo<T>

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

Trait Implementations

impl<T: Clone> Clone for IsLessThanIo<T>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for IsLessThanIo<T>

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

Formats the value using the given formatter.

impl<T: Default> Default for IsLessThanIo<T>

fn default() -> IsLessThanIo<T>

Returns the “default value” for a type.

impl<T: Copy> Copy for IsLessThanIo<T>