Trait sp1_recursion_compiler::ir::Variable

pub trait Variable<C: Config>: Clone {
    type Expression: From<Self>;

    // Required methods
    fn uninit(builder: &mut Builder<C>) -> Self;
    fn assign(&self, src: Self::Expression, builder: &mut Builder<C>);
    fn assert_eq(
        lhs: impl Into<Self::Expression>,
        rhs: impl Into<Self::Expression>,
        builder: &mut Builder<C>,
    );
    fn assert_ne(
        lhs: impl Into<Self::Expression>,
        rhs: impl Into<Self::Expression>,
        builder: &mut Builder<C>,
    );
}

Required Associated Types

type Expression: From<Self>

Required Methods

fn uninit(builder: &mut Builder<C>) -> Self

fn assign(&self, src: Self::Expression, builder: &mut Builder<C>)

fn assert_eq( lhs: impl Into<Self::Expression>, rhs: impl Into<Self::Expression>, builder: &mut Builder<C>, )

fn assert_ne( lhs: impl Into<Self::Expression>, rhs: impl Into<Self::Expression>, builder: &mut Builder<C>, )

Object Safety

This trait is not object safe.

Implementors

impl<C: Config> Variable<C> for Usize<C::N>

type Expression = SymbolicUsize<<C as Config>::N>

impl<C: Config> Variable<C> for Ext<C::F, C::EF>

type Expression = SymbolicExt<<C as Config>::F, <C as Config>::EF>

impl<C: Config> Variable<C> for Felt<C::F>

type Expression = SymbolicFelt<<C as Config>::F>

impl<C: Config> Variable<C> for FriFoldInput<C>

type Expression = FriFoldInput<C>

impl<C: Config> Variable<C> for Ptr<C::N>

type Expression = SymbolicPtr<<C as Config>::N>

impl<C: Config> Variable<C> for Var<C::N>

type Expression = SymbolicVar<<C as Config>::N>

impl<C: Config, T: MemVariable<C>> Variable<C> for Array<C, T>

type Expression = Array<C, T>