Trait snarkos_models::gadgets::utilities::arithmetic::neg::Neg

pub trait Neg<F: Field> where
    Self: Sized, {
    type ErrorType;
#[must_use]    fn neg<CS: ConstraintSystem<F>>(
        &self, 
        cs: CS
    ) -> Result<Self, Self::ErrorType>;
}

Returns a negated representation of self in the constraint system.

Associated Types

type ErrorType

Loading content...

Required methods

#[must_use]fn neg<CS: ConstraintSystem<F>>(&self, cs: CS) -> Result<Self, Self::ErrorType>

Loading content...

Implementations on Foreign Types

impl<F: Field> Neg<F> for Vec<Boolean>

type ErrorType = SynthesisError

fn neg<CS: ConstraintSystem<F>>(&self, cs: CS) -> Result<Self, SynthesisError>

Loading content...

Implementors

impl<F: PrimeField> Neg<F> for Int64

type ErrorType = SignedIntegerError

fn neg<CS: ConstraintSystem<F>>(&self, cs: CS) -> Result<Self, Self::ErrorType>

Loading content...