Struct r1cs::bits::BooleanExpression

pub struct BooleanExpression { /* fields omitted */ }

An Expression whose value is known to be binary.

Methods

impl BooleanExpression

pub fn new_unsafe(expression: Expression) -> Self

Create a new bit. This is unsafe in the sense that a "equals 0 or 1" assertion will not be added automatically. You can use this method if you already know that a quantity will equal 0 or 1, for example if you computed 1 - b where b is a Bit.

pub fn _false() -> Self

pub fn _true() -> Self

pub fn expression(&self) -> &Expression

pub fn dependencies(&self) -> Vec<Wire>

pub fn evaluate(&self, values: &WireValues) -> bool

Trait Implementations

impl From<BooleanWire> for BooleanExpression

fn from(wire: BooleanWire) -> Self

Performs the conversion.

impl Clone for BooleanExpression

fn clone(&self) -> BooleanExpression

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BooleanExpression

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

Formats the value using the given formatter.