Struct moore_svlog::value::ValueData

pub struct ValueData<'t> {
    pub ty: Type<'t>,
    pub kind: ValueKind<'t>,
}

The data associated with a value.

Fields

ty: Type<'t>

The type of the value.

kind: ValueKind<'t>

The actual value.

Methods

impl<'t> ValueData<'t>

pub fn is_true(&self) -> bool

Check if this value evaluates to true.

pub fn is_false(&self) -> bool

Check if this value evaluates to false.

pub fn get_int(&self) -> Option<&BigInt>

Convert the value to an integer.

Trait Implementations

impl<'t> Clone for ValueData<'t>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'t> Debug for ValueData<'t>

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

Formats the value using the given formatter.

impl<'t> Eq for ValueData<'t>

impl<'t> Hash for ValueData<'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<ValueData<'t>> for ValueData<'t>

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

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

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

This method tests for !=.

impl<'t> StructuralEq for ValueData<'t>

impl<'t> StructuralPartialEq for ValueData<'t>