Enum Val 

pub enum Val {
    Int(i128),
    Real(f64),
    Str(String),
    List(Vec<Val>),
    Unknown,
    Pat {
        bits: u128,
        care: u128,
    },
}

A value crossing the model/design boundary.

Variants

Int(i128)

A two-state integral value (sign-extended to i128).

Real(f64)

Str(String)

List(Vec<Val>)

An array-valued expression (a set_covergroup_expression).

Unknown

An integral value with an x or z bit. Never matches a non-wildcard bin.

Pat

A wildcard bin value: care has a 1 in every bit position that is a known 0/1 in bits; the other positions were x, z or ?.

Fields

bits: u128

care: u128

Trait Implementations

impl Clone for Val

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Val

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

Formats the value using the given formatter.

impl PartialEq for Val

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Val