Enum moore_svlog::ty::Domain

pub enum Domain {
    TwoValued,
    FourValued,
}

The number of values each bit of a type can assume.

Variants

TwoValued

Two-valued types such as bit or int.

FourValued

Four-valued types such as logic or integer.

Implementations

impl Domain

pub fn bit_type(&self) -> IntVecType

Return the single-bit type for this domain (bit or logic).

Trait Implementations

impl Clone for Domain

pub fn clone(&self) -> Domain

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for Domain

impl Debug for Domain

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

Formats the value using the given formatter.

impl Eq for Domain

impl Hash for Domain

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

Feeds this value into the given Hasher.

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

Feeds a slice of this type into the given Hasher.

impl PartialEq<Domain> for Domain

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

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

#[must_use]pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl StructuralEq for Domain

impl StructuralPartialEq for Domain

impl<'a> WalkVisitor<'a> for Domain

pub fn walk(&'a self, _visitor: &mut dyn Visitor<'a>)

Walk a visitor over self.