Enum moore_svlog::value::ValueKind

pub enum ValueKind<'t> {
    Void,
    Int(BigInt, BitVec, BitVec),
    Time(BigRational),
    StructOrArray(Vec<Value<'t>>),
}

The different forms a value can assume.

Variants

Void

The void value.

Int(BigInt, BitVec, BitVec)

An arbitrary precision integer.

The first field contains the value. The second field indicates the special bits (x or z), and the third indicates the x bits.

Time(BigRational)

An arbitrary precision time interval.

StructOrArray(Vec<Value<'t>>)

A struct.

Trait Implementations

impl<'t> Clone for ValueKind<'t>

fn clone(&self) -> ValueKind<'t>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'t> Debug for ValueKind<'t>

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

Formats the value using the given formatter.

impl<'t> Eq for ValueKind<'t>

impl<'t> Hash for ValueKind<'t>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].

impl<'t> PartialEq<ValueKind<'t>> for ValueKind<'t>

fn eq(&self, other: &ValueKind<'t>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &ValueKind<'t>) -> bool

This method tests for !=.

impl<'t> StructuralEq for ValueKind<'t>

impl<'t> StructuralPartialEq for ValueKind<'t>