Trait snarkvm_wasm::EqGadget[−][src]

pub trait EqGadget<F>: Eq + ConditionalEqGadget<F> where
    F: Field, {
    fn is_eq<CS>(
        &self, 
        _cs: CS, 
        _other: &Self
    ) -> Result<Boolean, SynthesisError>
    where
        CS: ConstraintSystem<F>,
    { ... }

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

    fn cost() -> usize { ... }
}

Provided methods

Output a Boolean value representing whether self.value() == other.value().

Implementations on Foreign Types

Implementors