Trait kimchi::circuits::expr::FormattedOutput

pub trait FormattedOutput: Sized {
    // Required methods
    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;
}

Required Methods

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

Implementors

impl FormattedOutput for Column

impl FormattedOutput for ChallengeTerm

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

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

impl<T: FormattedOutput + Clone> FormattedOutput for Operations<T>