Enum moore_svlog::ty::IntAtomType

pub enum IntAtomType {
    Byte,
    ShortInt,
    Int,
    LongInt,
    Integer,
    Time,
}

An integer atom type.

These are the builtin multi-bit integer types.

Variants

Byte

A byte.

ShortInt

A shortint.

Int

An int.

LongInt

A longint.

Integer

An integer.

Time

A time.

Implementations

impl IntAtomType

pub fn domain(&self) -> Domain

Get the domain for this type.

pub fn bit_size(&self) -> usize

Compute the size of this type.

pub fn default_sign(&self) -> Sign

Get the default sign for this type.

Trait Implementations

impl Clone for IntAtomType

fn clone(&self) -> IntAtomType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for IntAtomType

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

Formats the value using the given formatter.

impl Display for IntAtomType

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

Formats the value using the given formatter.

impl<'a> From<IntAtomType> for PackedCore<'a>

fn from(inner: IntAtomType) -> Self

Performs the conversion.

impl Hash for IntAtomType

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 PartialEq<IntAtomType> for IntAtomType

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

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

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

This method tests for !=.

impl Copy for IntAtomType

impl Eq for IntAtomType

impl StructuralEq for IntAtomType

impl StructuralPartialEq for IntAtomType