Enum Boolean

pub enum Boolean {
    True = 1,
    False = 0,
}

Variants

True = 1

False = 0

Implementations

impl Boolean

pub fn of_field<F: FieldWitness>(field: F) -> Self

pub fn as_bool(&self) -> bool

pub fn neg(&self) -> Self

pub fn to_field<F: FieldWitness>(self) -> F

fn mul<F: FieldWitness>(&self, other: &Self, w: &mut Witness<F>) -> Self

pub fn and<F: FieldWitness>(&self, other: &Self, w: &mut Witness<F>) -> Self

pub fn const_and(&self, other: &Self) -> Self

Same as Self::and but doesn’t push values to the witness

pub fn or<F: FieldWitness>(&self, other: &Self, w: &mut Witness<F>) -> Self

pub fn const_or(&self, other: &Self) -> Self

Same as Self::or but doesn’t push values to the witness

pub fn all<F: FieldWitness>(x: &[Self], w: &mut Witness<F>) -> Self

pub fn const_all<F: FieldWitness>(x: &[Self]) -> Self

pub fn lxor<F: FieldWitness>(&self, other: &Self, w: &mut Witness<F>) -> Self

pub fn const_lxor(&self, other: &Self) -> Self

pub fn equal<F: FieldWitness>(&self, other: &Self, w: &mut Witness<F>) -> Self

pub fn const_equal(&self, other: &Self) -> Self

pub fn const_any<F: FieldWitness>(x: &[Self]) -> Self

pub fn any<F: FieldWitness>(x: &[Self], w: &mut Witness<F>) -> Self

pub fn assert_non_zero<F: FieldWitness>(v: F, w: &mut Witness<F>)

pub fn assert_any<F: FieldWitness>(bs: &[Self], w: &mut Witness<F>)

pub fn var(&self) -> CircuitVar<Boolean>

pub fn constant(&self) -> CircuitVar<Boolean>

Trait Implementations

impl<F: FieldWitness> Check<F> for Boolean

fn check(&self, _w: &mut Witness<F>)

impl Clone for Boolean

fn clone(&self) -> Boolean

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Boolean

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

Formats the value using the given formatter.

impl PartialEq for Boolean

fn eq(&self, other: &Boolean) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<F: FieldWitness> ToFieldElements<F> for Boolean

fn to_field_elements(&self, fields: &mut Vec<F>)

fn to_field_elements_owned(&self) -> Vec<F>

impl Copy for Boolean

impl Eq for Boolean

impl StructuralPartialEq for Boolean