Struct AllocatedBit

pub struct AllocatedBit { /* private fields */ }

Represents a variable in the constraint system which is guaranteed to be either zero or one.

Implementations

impl AllocatedBit

pub fn get_value(&self) -> Option<bool>

pub fn get_variable(&self) -> Variable

pub fn alloc_conditionally<E, CS>( cs: CS, value: Option<bool>, must_be_false: &AllocatedBit, ) -> Result<Self, SynthesisError>

where E: Engine, CS: ConstraintSystem<E>,

Allocate a variable in the constraint system which can only be a boolean value. Further, constrain that the boolean is false unless the condition is false.

pub fn alloc<E, CS>(cs: CS, value: Option<bool>) -> Result<Self, SynthesisError>

where E: Engine, CS: ConstraintSystem<E>,

Allocate a variable in the constraint system which can only be a boolean value.

pub fn xor<E, CS>(cs: CS, a: &Self, b: &Self) -> Result<Self, SynthesisError>

where E: Engine, CS: ConstraintSystem<E>,

Performs an XOR operation over the two operands, returning an AllocatedBit.

pub fn and<E, CS>(cs: CS, a: &Self, b: &Self) -> Result<Self, SynthesisError>

where E: Engine, CS: ConstraintSystem<E>,

Performs an AND operation over the two operands, returning an AllocatedBit.

pub fn and_not<E, CS>( cs: CS, a: &Self, b: &Self, ) -> Result<Self, SynthesisError>

where E: Engine, CS: ConstraintSystem<E>,

Calculates a AND (NOT b).

pub fn nor<E, CS>(cs: CS, a: &Self, b: &Self) -> Result<Self, SynthesisError>

where E: Engine, CS: ConstraintSystem<E>,

Calculates (NOT a) AND (NOT b).

Trait Implementations

impl Clone for AllocatedBit

fn clone(&self) -> AllocatedBit

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl From<AllocatedBit> for Boolean

fn from(b: AllocatedBit) -> Boolean

Converts to this type from the input type.