Struct moore_svlog::ty::SbvType

pub struct SbvType {
    pub domain: Domain,
    pub used_atom: bool,
    pub sign: Sign,
    pub sign_explicit: bool,
    pub size: usize,
    pub size_explicit: bool,
}

A simple bit vector type.

Fields

domain: Domain

The domain, which dictates whether this is a bit or logic vector.

used_atom: bool

Whether the type used an integer atom like int in the source text.

sign: Sign

The sign.

sign_explicit: bool

Whether the sign was explicit in the source text.

size: usize

The size of the vector.

size_explicit: bool

Whether the single-bit vector had an explicit range in the source text. Essentially whether it was bit or bit[a:a].

Implementations

impl SbvType

pub fn new(domain: Domain, sign: Sign, size: usize) -> Self

Create a new SBVT which expands exactly to <domain> <sign> [<size>-1:0].

pub fn nice(domain: Domain, sign: Sign, size: usize) -> Self

Create a new SBVT which expands to most terse representation possible.

For example, creating a signed, two-value, 32 bit SBVT will expand to int.

pub fn to_packed<'a>(&self, cx: &impl TypeContext<'a>) -> &'a PackedType<'a>

Convert the SBVT to a packed type.

pub fn to_unpacked<'a>(&self, cx: &impl TypeContext<'a>) -> &'a UnpackedType<'a>

Convert the SBVT to an unpacked type.

pub fn is_unsigned(&self) -> bool

Check whether the type is unsigned.

pub fn is_signed(&self) -> bool

Check whether the type is signed.

pub fn range(&self) -> Range

Get the range of the type.

pub fn change_size(&self, size: usize) -> SbvType

Change the size of the type.

pub fn change_domain(&self, domain: Domain) -> SbvType

Change the domain of the type.

pub fn change_sign(&self, sign: Sign) -> SbvType

Change the sign of the type.

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

Check whether this type is identical to another one.

pub fn forget(&self) -> SbvType

Return a new SBVT that strictly converts to an IntVecType with one dimension.

Trait Implementations

impl Clone for SbvType

fn clone(&self) -> SbvType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SbvType

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

Formats the value using the given formatter.

impl Display for SbvType

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

Formats the value using the given formatter.

impl Hash for SbvType

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<SbvType> for SbvType

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

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

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

This method tests for !=.

impl Copy for SbvType

impl Eq for SbvType

impl StructuralEq for SbvType

impl StructuralPartialEq for SbvType