Trait evmil::util::Concretizable
source · pub trait Concretizable {
type Item;
fn is_constant(&self) -> bool;
fn constant(&self) -> Self::Item;
}
Expand description
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§
Required Methods§
sourcefn is_constant(&self) -> bool
fn is_constant(&self) -> bool
Determine whether this abstract value is a constant or not.