Trait sp1_recursion_compiler::ir::MemVariable

pub trait MemVariable<C: Config>: Variable<C> {
    // Required methods
    fn size_of() -> usize;
    fn load(
        &self,
        ptr: Ptr<C::N>,
        index: MemIndex<C::N>,
        builder: &mut Builder<C>,
    );
    fn store(
        &self,
        ptr: Ptr<C::N>,
        index: MemIndex<C::N>,
        builder: &mut Builder<C>,
    );
}

Required Methods

fn size_of() -> usize

fn load(&self, ptr: Ptr<C::N>, index: MemIndex<C::N>, builder: &mut Builder<C>)

Loads the variable from the heap.

fn store(&self, ptr: Ptr<C::N>, index: MemIndex<C::N>, builder: &mut Builder<C>)

Stores the variable to the heap.

Object Safety

This trait is not object safe.

Implementors

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

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

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

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

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

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