Enum ExprInner

pub enum ExprInner<C, Column> {
    Constant(C),
    Cell(Variable<Column>),
    VanishesOnZeroKnowledgeAndPreviousRows,
    UnnormalizedLagrangeBasis(RowOffset),
}

Variants

Constant(C)

Cell(Variable<Column>)

VanishesOnZeroKnowledgeAndPreviousRows

UnnormalizedLagrangeBasis(RowOffset)

UnnormalizedLagrangeBasis(i) is (x^n - 1) / (x - omega^i)

Trait Implementations

impl<C: Clone, Column: Clone> Clone for ExprInner<C, Column>

fn clone(&self) -> ExprInner<C, Column>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<C: Debug, Column: Debug> Debug for ExprInner<C, Column>

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

Formats the value using the given formatter.

impl<T: Literal, Column: Clone> Literal for ExprInner<T, Column>

type F = <T as Literal>::F

fn literal(x: Self::F) -> Self

fn to_literal(self) -> Result<Self::F, Self>

fn to_literal_ref(&self) -> Option<&Self::F>

fn as_literal(&self, constants: &Constants<Self::F>) -> Self

Obtains the representation of some constants as a literal. This is useful before converting Kimchi expressions with constants to folding compatible expressions.

impl<C: PartialEq, Column: PartialEq> PartialEq for ExprInner<C, Column>

fn eq(&self, other: &ExprInner<C, Column>) -> 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<C, Column> StructuralPartialEq for ExprInner<C, Column>