Enum SignalValue 

pub enum SignalValue {
    Bool(bool),
    Int(i64),
    BitVec {
        width: u32,
        value: u64,
    },
    Unknown,
}

Multi-sorted signal value for counterexample traces.

Variants

Bool(bool)

Int(i64)

BitVec

Fields

width: u32

value: u64

Unknown

Implementations

impl SignalValue

pub fn as_bool(&self) -> Option<bool>

Get as bool if this is a boolean value.

pub fn as_int(&self) -> Option<i64>

Get as i64 if this is an integer value.

Trait Implementations

impl Clone for SignalValue

fn clone(&self) -> SignalValue

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SignalValue

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for SignalValue

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for SignalValue

fn eq(&self, other: &SignalValue) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for SignalValue