Trait SymbolicModelLookup 

pub(crate) trait SymbolicModelLookup {
    // Required method
    fn value(&self, name: Symbol) -> Option<U256>;

    // Provided method
    fn contains_name(&self, name: Symbol) -> bool { ... }
}

Required Methods

fn value(&self, name: Symbol) -> Option<U256>

Provided Methods

fn contains_name(&self, name: Symbol) -> bool

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl SymbolicModelLookup for HashMap<Symbol, U256>

fn value(&self, name: Symbol) -> Option<U256>

Implementors

impl SymbolicModelLookup for NoopModel