Enum arrabbiata::columns::Column

pub enum Column {
    Selector(Gadget),
    PublicInput(usize),
    X(usize),
}

Variants

Selector(Gadget)

PublicInput(usize)

X(usize)

Trait Implementations

impl Clone for Column

fn clone(&self) -> Column

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Column

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

Formats the value using the given formatter.

impl FormattedOutput for Column

fn latex(&self, _cache: &mut HashMap<CacheId, Self>) -> String

fn text(&self, _cache: &mut HashMap<CacheId, Self>) -> String

fn ocaml(&self, _cache: &mut HashMap<CacheId, Self>) -> String

fn is_alpha(&self) -> bool

impl From<Column> for usize

Convert a column to a usize. This is used by the library [mvpoly] when we need to compute the cross-terms. For now, only the private inputs and the public inputs are converted, because there might not need to treat the selectors in the polynomial while computing the cross-terms (FIXME: check this later, but pretty sure it’s the case).

Also, the [mvpoly::monomials] implementation of the trait [mvpoly::MVPoly] will be used, and the mapping here is consistent with the one expected by this implementation, i.e. we simply map to an increasing number starting at 0, without any gap.

fn from(val: Column) -> usize

Converts to this type from the input type.

impl PartialEq<Column> for Column

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Copy for Column

impl StructuralPartialEq for Column