Trait snarkvm_wasm::ComparatorGadget

pub trait ComparatorGadget<F>: EvaluateLtGadget<F> where
    F: Field, {
    fn greater_than<CS>(
        &self, 
        cs: CS, 
        other: &Self
    ) -> Result<Boolean, SynthesisError>
    where
        CS: ConstraintSystem<F>,
    { ... }
    fn less_than_or_equal<CS>(
        &self, 
        cs: CS, 
        other: &Self
    ) -> Result<Boolean, SynthesisError>
    where
        CS: ConstraintSystem<F>,
    { ... }
    fn greater_than_or_equal<CS>(
        &self, 
        cs: CS, 
        other: &Self
    ) -> Result<Boolean, SynthesisError>
    where
        CS: ConstraintSystem<F>,
    { ... }
}

Provided methods

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

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

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

Implementors

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

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

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

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

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

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

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

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

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

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