Trait snarkvm_wasm::EvaluateLtGadget

pub trait EvaluateLtGadget<F> where
    F: Field, {
    fn less_than<CS>(
        &self, 
        cs: CS, 
        other: &Self
    ) -> Result<Boolean, SynthesisError>
    where
        CS: ConstraintSystem<F>;
}

Required methods

fn less_than<CS>(&self, cs: CS, other: &Self) -> Result<Boolean, SynthesisError> where
    CS: ConstraintSystem<F>, 

Implementors

impl<F> EvaluateLtGadget<F> for Int8 where
    F: PrimeField, 

pub fn less_than<CS>(
    &self,
    cs: CS,
    other: &Int8
) -> Result<Boolean, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> EvaluateLtGadget<F> for Int16 where
    F: PrimeField, 

pub fn less_than<CS>(
    &self,
    cs: CS,
    other: &Int16
) -> Result<Boolean, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> EvaluateLtGadget<F> for Int32 where
    F: PrimeField, 

pub fn less_than<CS>(
    &self,
    cs: CS,
    other: &Int32
) -> Result<Boolean, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> EvaluateLtGadget<F> for Int64 where
    F: PrimeField, 

pub fn less_than<CS>(
    &self,
    cs: CS,
    other: &Int64
) -> Result<Boolean, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> EvaluateLtGadget<F> for Int128 where
    F: PrimeField, 

pub fn less_than<CS>(
    &self,
    cs: CS,
    other: &Int128
) -> Result<Boolean, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> EvaluateLtGadget<F> for UInt8 where
    F: Field + PrimeField, 

pub fn less_than<CS>(
    &self,
    cs: CS,
    other: &UInt8
) -> Result<Boolean, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> EvaluateLtGadget<F> for UInt16 where
    F: Field + PrimeField, 

pub fn less_than<CS>(
    &self,
    cs: CS,
    other: &UInt16
) -> Result<Boolean, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> EvaluateLtGadget<F> for UInt32 where
    F: Field + PrimeField, 

pub fn less_than<CS>(
    &self,
    cs: CS,
    other: &UInt32
) -> Result<Boolean, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> EvaluateLtGadget<F> for UInt64 where
    F: Field + PrimeField, 

pub fn less_than<CS>(
    &self,
    cs: CS,
    other: &UInt64
) -> Result<Boolean, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl<F> EvaluateLtGadget<F> for UInt128 where
    F: Field + PrimeField, 

pub fn less_than<CS>(
    &self,
    cs: CS,
    other: &UInt128
) -> Result<Boolean, SynthesisError> where
    CS: ConstraintSystem<F>,