Trait evmil::util::Concretizable

pub trait Concretizable {
    type Item;

    // Required methods
    fn is_constant(&self) -> bool;
    fn constant(&self) -> Self::Item;
}

A trait which allows (when possible) an abstract value to be extracted into a concrete value. This makes sense only when that abstract value represents a single concrete value.

Required Associated Types

type Item

Required Methods

fn is_constant(&self) -> bool

Determine whether this abstract value is a constant or not.

fn constant(&self) -> Self::Item

Extract constant value.

Implementors

impl Concretizable for aw256

type Item = Uint<256, 4>

impl Concretizable for cw256

type Item = Uint<256, 4>

impl<T: Copy + Ord> Concretizable for Interval<T>

type Item = T