Trait snarkvm_wasm::traits::utilities::bits::ComparatorGadget[−][src]

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

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

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

Provided methods

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

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

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

Loading content...

Implementors

impl<F> ComparatorGadget<F> for Int8 where
    F: PrimeField, [src]

impl<F> ComparatorGadget<F> for Int16 where
    F: PrimeField, [src]

impl<F> ComparatorGadget<F> for Int32 where
    F: PrimeField, [src]

impl<F> ComparatorGadget<F> for Int64 where
    F: PrimeField, [src]

impl<F> ComparatorGadget<F> for Int128 where
    F: PrimeField, [src]

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

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

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

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

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

Loading content...