Struct AndConstraint

pub struct AndConstraint {
    pub a: Operand,
    pub b: Operand,
    pub c: Operand,
}

AND constraint: A & B = C.

This constraint verifies that the bitwise AND of operands A and B equals operand C. Each operand is computed as the XOR of multiple shifted values from the value vector.

Fields

a: Operand

Operand A.

b: Operand

Operand B.

c: Operand

Operand C.

Implementations

impl AndConstraint

pub fn plain_abc( a: impl IntoIterator<Item = ValueIndex>, b: impl IntoIterator<Item = ValueIndex>, c: impl IntoIterator<Item = ValueIndex>, ) -> AndConstraint

Creates a new AND constraint from XOR combinations of the given unshifted values.

pub fn abc( a: impl IntoIterator<Item = ShiftedValueIndex>, b: impl IntoIterator<Item = ShiftedValueIndex>, c: impl IntoIterator<Item = ShiftedValueIndex>, ) -> AndConstraint

Creates a new AND constraint from XOR combinations of the given shifted values.

Trait Implementations

impl Clone for AndConstraint

fn clone(&self) -> AndConstraint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AndConstraint

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for AndConstraint

fn default() -> AndConstraint

Returns the “default value” for a type.

impl DeserializeBytes for AndConstraint

fn deserialize(read_buf: impl Buf) -> Result<Self, SerializationError>

where Self: Sized,

impl SerializeBytes for AndConstraint

fn serialize(&self, write_buf: impl BufMut) -> Result<(), SerializationError>