Trait snarkvm_wasm::prelude::ComparatorGadget [−][src]
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>,