Trait snarkvm_gadgets::traits::select::CondSelectGadget [−][src]
pub trait CondSelectGadget<F: Field> where
Self: Sized, { fn conditionally_select<CS: ConstraintSystem<F>>(
cs: CS,
cond: &Boolean,
first: &Self,
second: &Self
) -> Result<Self, SynthesisError>; fn cost() -> usize; }
Expand description
If condition is true, return first; else, select second.