Enum kimchi::circuits::expr::ConstantExprInner

pub enum ConstantExprInner<F> {
    Challenge(ChallengeTerm),
    Constant(ConstantTerm<F>),
}

Variants

Challenge(ChallengeTerm)

Constant(ConstantTerm<F>)

Trait Implementations

impl<F: Clone> Clone for ConstantExprInner<F>

fn clone(&self) -> ConstantExprInner<F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug> Debug for ConstantExprInner<F>

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

Formats the value using the given formatter.

impl<F: PrimeField> FormattedOutput for ConstantExprInner<F>

fn is_alpha(&self) -> bool

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

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

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

impl<F> From<ChallengeTerm> for ConstantExprInner<F>

fn from(x: ChallengeTerm) -> Self

Converts to this type from the input type.

impl<F> From<ConstantTerm<F>> for ConstantExprInner<F>

fn from(x: ConstantTerm<F>) -> Self

Converts to this type from the input type.

impl<F: Clone> Literal for ConstantExprInner<F>

type F = 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<F: PartialEq> PartialEq<ConstantExprInner<F>> for ConstantExprInner<F>

fn eq(&self, other: &ConstantExprInner<F>) -> 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<F: Copy, Column> ToPolish<F, Column> for ConstantExprInner<F>

fn to_polish( &self, _cache: &mut HashMap<CacheId, usize>, res: &mut Vec<PolishToken<F, Column>> )

impl<F> StructuralPartialEq for ConstantExprInner<F>