[−][src]Trait gf::ai::state::MultiConstSpaceState

pub trait MultiConstSpaceState<'a, A, V: Bottom> {
    fn load(&mut self, elt: SpaceElt<'a, A>) -> (V, V);

    fn load_result(&mut self, elt: SpaceElt<'a, A>) -> Result<V, V> { ... }
}

🟢 An abstract state of multiple constant (i.e. read-only) address spaces with A for addresses and V for values.

Required methods

fn load(&mut self, elt: SpaceElt<'a, A>) -> (V, V)

Load from a space.

This method returns a tuple where the first item is the successful load state, and the second one is the error context state.

Loading content...

Provided methods

fn load_result(&mut self, elt: SpaceElt<'a, A>) -> Result<V, V>

Load from a space returning a Result.

This returns Ok when the error context state is ⊥, and otherwise the error context state wrapped in Err.

Loading content...

Implementors

impl<'a, A, V, S> MultiConstSpaceState<'a, A, V> for SpaceStateMap<'a, A, V, S> where
    V: Bottom,
    S: ConstSpaceState<A, V>, [src]

Loading content...