Enum folding::expressions::FoldingCompatibleExprInner

pub enum FoldingCompatibleExprInner<C: FoldingConfig> {
    Constant(<C::Curve as AffineRepr>::ScalarField),
    Challenge(C::Challenge),
    Cell(Variable<C::Column>),
    Extensions(ExpExtension<C>),
}

Components to be used to convert multivariate polynomials into “compatible” multivariate polynomials that will be translated to folding expressions.

Variants

Constant(<C::Curve as AffineRepr>::ScalarField)

Challenge(C::Challenge)

Cell(Variable<C::Column>)

Extensions(ExpExtension<C>)

extra nodes created by folding, should not be passed to folding

Trait Implementations

impl<C> Clone for FoldingCompatibleExprInner<C>where C: FoldingConfig,

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<C> Debug for FoldingCompatibleExprInner<C>where C: FoldingConfig,

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

Formats the value using the given formatter.

impl<F, Config: FoldingConfig> From<ConstantExprInner<F, BerkeleyChallengeTerm>> for FoldingCompatibleExprInner<Config>where Config::Curve: AffineRepr<ScalarField = F>, Config::Challenge: From<BerkeleyChallengeTerm>,

fn from(expr: ConstantExprInner<F, BerkeleyChallengeTerm>) -> Self

Converts to this type from the input type.

impl<F, Col, Config: FoldingConfig<Column = Col>> From<ExprInner<ConstantExprInner<F, BerkeleyChallengeTerm>, Col>> for FoldingCompatibleExprInner<Config>where Config::Curve: AffineRepr<ScalarField = F>, Config::Challenge: From<BerkeleyChallengeTerm>,

fn from( expr: ExprInner<ConstantExprInner<F, BerkeleyChallengeTerm>, Col> ) -> Self

Converts to this type from the input type.

impl<C> PartialEq<FoldingCompatibleExprInner<C>> for FoldingCompatibleExprInner<C>where C: FoldingConfig,

fn eq(&self, other: &Self) -> 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.