Trait snarkvm_wasm::traits::ConditionalOrEqualsGadget [−][src]
pub trait ConditionalOrEqualsGadget<F> where
F: Field, { fn conditional_enforce_equal_or<CS>(
cs: CS,
cond: &Boolean,
var: &Self,
first: &Self,
second: &Self,
should_enforce: &Boolean
) -> Result<(), SynthesisError>
where
CS: ConstraintSystem<F>; fn cost() -> usize; }
Required methods
fn conditional_enforce_equal_or<CS>(
cs: CS,
cond: &Boolean,
var: &Self,
first: &Self,
second: &Self,
should_enforce: &Boolean
) -> Result<(), SynthesisError> where
CS: ConstraintSystem<F>,
Implementors
impl<F, T> ConditionalOrEqualsGadget<F> for T where
T: ConditionalEqGadget<F> + CondSelectGadget<F>,
F: Field,