Struct WaveSignal 

pub struct WaveSignal {
    pub name: String,
    pub width: u32,
    pub values: Vec<Option<u64>>,
}

One signal’s value over time in a counterexample waveform. width is the bit width (1 = a boolean control bit); each values[t] is the (reconstructed) register value at timestep t, or None if unconstrained there.

Fields

name: String

width: u32

values: Vec<Option<u64>>

Trait Implementations

impl Clone for WaveSignal

fn clone(&self) -> WaveSignal

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WaveSignal

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

Formats the value using the given formatter.

impl PartialEq for WaveSignal

fn eq(&self, other: &WaveSignal) -> 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 Eq for WaveSignal

impl StructuralPartialEq for WaveSignal