Trait AbstractTape 

pub trait AbstractTape<T: PartialEq + Clone> {
    // Required methods
    fn get(&self, offset: TapeAddr) -> T;
    fn set(&mut self, offset: TapeAddr, value: T);
    fn try_get(&self, offset: TapeAddr) -> Result<T, TapeAddrError>;
    fn try_set(
        &mut self,
        offset: TapeAddr,
        value: T,
    ) -> Result<(), TapeAddrError>;
}

A trait implementing a tape for some type. This is used for abstract interpretation in the optimiser.

Required Methods

fn get(&self, offset: TapeAddr) -> T

fn set(&mut self, offset: TapeAddr, value: T)

fn try_get(&self, offset: TapeAddr) -> Result<T, TapeAddrError>

fn try_set(&mut self, offset: TapeAddr, value: T) -> Result<(), TapeAddrError>

Implementors

impl AbstractTape<BfNum> for VecTape