Enum evmil::dfa::AbstractValue
source · pub enum AbstractValue {
Known(usize),
Unknown,
}
Expand description
An abstract value is either a known constant, or an unknown (i.e. arbitrary value).
Variants§
Implementations§
source§impl AbstractValue
impl AbstractValue
pub fn merge(self, other: AbstractValue) -> AbstractValue
pub fn is_known(&self) -> bool
pub fn unwrap(&self) -> usize
Trait Implementations§
source§impl Clone for AbstractValue
impl Clone for AbstractValue
source§fn clone(&self) -> AbstractValue
fn clone(&self) -> AbstractValue
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for AbstractValue
impl Debug for AbstractValue
source§impl Display for AbstractValue
impl Display for AbstractValue
source§impl PartialEq<AbstractValue> for AbstractValue
impl PartialEq<AbstractValue> for AbstractValue
source§fn eq(&self, other: &AbstractValue) -> bool
fn eq(&self, other: &AbstractValue) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.