Trait snarkvm_gadgets::traits::bits::comparator::ComparatorGadget [−][src]
pub trait ComparatorGadget<F: Field> where
Self: EvaluateLtGadget<F>, { fn greater_than<CS: ConstraintSystem<F>>(
&self,
cs: CS,
other: &Self
) -> Result<Boolean, SynthesisError> { ... } fn less_than_or_equal<CS: ConstraintSystem<F>>(
&self,
cs: CS,
other: &Self
) -> Result<Boolean, SynthesisError> { ... } fn greater_than_or_equal<CS: ConstraintSystem<F>>(
&self,
cs: CS,
other: &Self
) -> Result<Boolean, SynthesisError> { ... } }