Enum bellperson::gadgets::boolean::Boolean [−][src]
pub enum Boolean { Is(AllocatedBit), Not(AllocatedBit), Constant(bool), }
Expand description
This is a boolean value which may be either a constant or
an interpretation of an AllocatedBit
.
Variants
Is(AllocatedBit)
Existential view of the boolean variable
Not(AllocatedBit)
Negated view of the boolean variable
Constant(bool)
Constant (not an allocated variable)
Implementations
pub fn enforce_equal<E, CS>(
cs: CS,
a: &Self,
b: &Self
) -> Result<(), SynthesisError> where
E: ScalarEngine,
CS: ConstraintSystem<E>,
[src]pub fn xor<'a, E, CS>(
cs: CS,
a: &'a Self,
b: &'a Self
) -> Result<Self, SynthesisError> where
E: ScalarEngine,
CS: ConstraintSystem<E>,
[src]
pub fn xor<'a, E, CS>(
cs: CS,
a: &'a Self,
b: &'a Self
) -> Result<Self, SynthesisError> where
E: ScalarEngine,
CS: ConstraintSystem<E>,
[src]Perform XOR over two boolean operands
pub fn and<'a, E, CS>(
cs: CS,
a: &'a Self,
b: &'a Self
) -> Result<Self, SynthesisError> where
E: ScalarEngine,
CS: ConstraintSystem<E>,
[src]
pub fn and<'a, E, CS>(
cs: CS,
a: &'a Self,
b: &'a Self
) -> Result<Self, SynthesisError> where
E: ScalarEngine,
CS: ConstraintSystem<E>,
[src]Perform AND over two boolean operands
pub fn sha256_ch<'a, E, CS>(
cs: CS,
a: &'a Self,
b: &'a Self,
c: &'a Self
) -> Result<Self, SynthesisError> where
E: ScalarEngine,
CS: ConstraintSystem<E>,
[src]
pub fn sha256_ch<'a, E, CS>(
cs: CS,
a: &'a Self,
b: &'a Self,
c: &'a Self
) -> Result<Self, SynthesisError> where
E: ScalarEngine,
CS: ConstraintSystem<E>,
[src]Computes (a and b) xor ((not a) and c)
pub fn sha256_maj<'a, E, CS>(
cs: CS,
a: &'a Self,
b: &'a Self,
c: &'a Self
) -> Result<Self, SynthesisError> where
E: ScalarEngine,
CS: ConstraintSystem<E>,
[src]
pub fn sha256_maj<'a, E, CS>(
cs: CS,
a: &'a Self,
b: &'a Self,
c: &'a Self
) -> Result<Self, SynthesisError> where
E: ScalarEngine,
CS: ConstraintSystem<E>,
[src]Computes (a and b) xor (a and c) xor (b and c)
Trait Implementations
Performs the conversion.
Auto Trait Implementations
impl RefUnwindSafe for Boolean
impl UnwindSafe for Boolean
Blanket Implementations
Mutably borrows from an owned value. Read more
type Output = T
type Output = T
Should always be Self
pub fn vzip(self) -> V