Trait baa::IndexToRef

pub trait IndexToRef<I, O> {
    // Required method
    fn get_ref(self, index: I) -> O;
}

Implemented by a value stores to convert indices into value references.

Required Methods

fn get_ref(self, index: I) -> O

Implementations on Foreign Types

impl<'a, I> IndexToRef<(I, I), (BitVecValueRef<'a>, BitVecValueRef<'a>)> for &'a [Word]

where I: Borrow<BitVecValueIndex>,

fn get_ref(self, (a, b): (I, I)) -> (BitVecValueRef<'a>, BitVecValueRef<'a>)

impl<'a, I> IndexToRef<I, ArrayValueRef<'a>> for &'a [Word]

where I: Borrow<ArrayValueIndex>,

fn get_ref(self, index: I) -> ArrayValueRef<'a>

impl<'a, I> IndexToRef<I, BitVecValueRef<'a>> for &'a [Word]

where I: Borrow<BitVecValueIndex>,

fn get_ref(self, index: I) -> BitVecValueRef<'a>

Implementors